Limba romana  


Project presentation

* Paper accepted at IEEE/ACM International Symposium on Empirical Software Engineering and Measurement, ESEM 2010 , Italy.
* Paper accepted at IEEE/ACM International Conference on Automated Software Engineering, ASE 2010 , Belgium.
* PATROOLS, a CoDePro module will be demoed during ICPC 2010, in Portugal.
* We have decided to release the CoDePro infrastructure under the open-source MIT license. Several Eclipse plugins based on CoDePro will be available for download as soon as possible.
* The publications section has been updated with several new papers.
The ever increasing impact of software systems and the high degree of societal dependence with respect to them, especially for infrastructure make it extremely important for software to evolve, in order to adapt to the new social and economic needs. To make software evolution possible, a superior quality of its design and implementation process must be ensured. for this reason, existing software must be continuously supported by automated systems for analysis, diagnose and improvement of code and design.

The project proposes an agile (continuous) approach to quality assurance for complex software systems, at the level of code (by means of static analysis and testing) and design (by means of metrics-based detection and correction of design flaws). The proposed approach aims to:
  • Develop new demand-driven,fast local analyses for object-oriented code,and increase the precision of analyses by exploiting advances in decision procedures and invariant detection;
  • Integrate automated test generation techniques with dynamic invariant generation and static checking into an iterative process which generates test suites together with expected correct results, while minimizing user input;
  • Transform design assessment from a standalone activity in a continuous (agile) process, perfectly integrated in the development process;
  • Bridge the gap between design flaw detection and complex restructurings by means of correction plans;
  • Integrate techniques related to design and coding flaw detection;
  • Support the analysis of industrial-size software systems implemented in the main currently used programming languages (C++, Java, C#).

Building such a system will allow the automation of analyses for large-scale software systems, the precise identification of functional and design flaws through the possibility of applying multiple analyses in a uniform fashion, and to obtain superior results by correlating various analysis types.

Last Update: 11 May, 2010