Research Projects









Methods and Tools for Continuous Quality Assurance in Complex Software Systems
Romanian Education And Research Ministry, IDEI PN–II–ID–PCE–2007–1, Grant 357/01.10.2007, October 2007 - October 2010
Team: Marius Minea, Radu Marinescu, Petru F. Mihancea, Cristina Marinescu, Mihai Balint

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: (1) 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; (2) 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; (3) transform design assessment from a standalone activity in a continuous (agile) process, perfectly integrated in the development process; (4) bridge the gap between design flaw detection and complex restructurings by means of correction plans; (5) integrate techniques related to design and coding flaw detection;(6) 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.
Quality Assurance for Distributed Software Systems
CNCSIS, Project type TD, 2006 - 2007
Team: Cristina Marinescu

Our society, profoundly affected by the globalization process, becomes more and more dependent on distributed software systems. Consequently, there is an imperative need for these systems to evolve, in order to make possible a quick adaptation to new requirements. But the evolution of software systems in general, and of distributed systems in particular, is possible only if the systems have a certain quality standard concerning their design and implementation. Nowadays, most distributed software systems are implemented using object-oriented programming languages. Yet, compared with classical object-oriented systems, the design of distributed systems has a series of particularities that reduces the usability of the techniques used to asses the quality of an object-oriented design. Thus, in order to evaluate and improve the design quality of distributed systems we need to use specific methodologies and tools. The current project aims to define a new methodology and to build an adequate software tool for the assessment of design quality of distributed software systems. More specific, the project sets the following goals: (1) Define specific quality assessment analyses for distributed system. A first set of analyses will enlarge the set of QA analyses applicable in general to object-oriented systems. In the same time, another set of analyses, aimed to be defined during this project, will replace or adapt those QA analyses, which are inspired from the principles of object-oriented design, but which do not apply in the case of designing a distributed system. (2) Automate the defined analyses, by designing and implementing a software tool, dedicated for the distributed systems. Additionally, we aim to integrate the developed tool with further existing QA tools. (3) Validate the defined analyses, by a comprehensive suite of case studies, including real-world systems, from the local software industry.
Distributed Environment for the Control and Optimization of Software Evolution
Romanian Education And Research Ministry, CEEX Project for Young Researchers, Grant 5880/18.09.2006, September 2006 - August 2008
Team: Radu Marinescu, Ioana Sora, Petru F. Mihancea, Cristina Marinescu, Dan Cosma

In an information technology society that is increasingly relying on software, software productivity and quality continue to fall short of expectations:software systems suffer from signs of aging as they are adapted to changing requirements. The main reason for this problem is that the relevance of activities for the control and optimization of software maintenance and evolution are still undervaluated in traditional software development processes. The only way to overcome or avoid the negative effects of aging in legacy software systems and to facilitate their smooth evolution is by providing engineers with a fully automated and integrated support for controlling the entire evolution process. Yet, controlling and optimizing the process of software evolution is a complex task which requires multiple techniques and models. Moreover, the past few years have shown that to come up with a working solution for industrial systems, single persons and even single groups are not enough to tackle all problems such as parsing, modeling, data mining, or visualization. In this context, the goal of this project is to provide a comprehensive and extensible support for complex, full-fledged software evolution activities applicable on real-world systems. Specifically, we want to address these issues by building a distributed environment for the control of software evolution which would support the collaboration of the various techniques and models defined in the past by different european research teams. Next, we want to use this environment to integrate different primary analysis techniques into more complex techniques for supporting evolution control. Eventually, we will validate based on large-scale experiments the feasibility of the approach. Thus, the project consists of the following tracks: 1. Creating a distributed environment for software evolution 2. Enabling complex (distributed) activities related to evolution 3. Performing large-scale experiments on controlling evolution
NOREX - Network of Reengineering Expertise
Swiss National Science Foundation (SNF), SCOPES Project, November 2005 - October 2007
Team: Radu Marinescu, Cristina Marinescu, Petru F. Mihancea, Dan Cosma, Mihai Balint, Michele Lanza, Mircea Lungu, Marco D'Ambros, Oscar Nierstrasz, Doru Girba, Orla Greevy

The goal of of this joint research project is to provide a comprehensive and extensible support for complex, full-fledged reengineering activities applicable on real-world systems. Specifically, we want to address these issues by building a distributed reengineering environment which is able to make all the techniques and models defined and implemented by each of the three research teams to complement each other. Then we want to use this environment to integrate different reengineering techniques to support complex reengineering techniques and validate based on large-scale experiments the feasibility of the approach.
Design Quality Assurance for Enterprise Software Systems
Romanian Education And Research Ministry, CEEX Project for Young Researchers, Grant 3147/2005, November 2005 - October 2007
Team: Radu Marinescu, Cristina Marinescu, Petru F. Mihancea, Dan Pescaru, Calin Jebelean, Ioana Sora

Nowadays our society fundamentally depends on complex, enterprise software systems.Therefore, as society evoles, these systems must be able to evolve too, being prepared to face the imminent changes implied by new requirements. Unfortunately, the software industry is currentely confronted with an increasing number of enterprise software systems, which have a poor quality of the design and implementation; therefore, the evolution of such systems is economically unfeasible and oftentimes technically impossible. In order to address this issue we need methodologies and tools to asses and improve the design and implementation quality of enterprise applications. The research efforts towards the assurance of design and implementation quality for large-scale object-oriented systems are not new. Yet, due to the intrinsic heterogeneity of enterprise software systems(e.g. various implementation languages and technologies, multiple programming paradigms) a novel layer of dedicate quality assurance techniques is needed in order to address properly the multiple aspects of heterogenity. The goal of this project is to define methodologies and tools that address the issue of quality assurance in enterprise applications. In this context we plan to: --define a novel set of specialized analyses for detecting design flaws in enterprise systems, taking into account their particularities over object-oriented ones. --extend the set of object-oriented structural flaws currently detectable, by employing novel analysis techniques(e.g. data-flow analysis). --define a novel methodology for estimating the effort/cost impact of removing the various design flaws. The methodology aims to support an efficient quality improvement (recovery) process --automatize the defined techniques by means of a feasible tool support.
Integrated Evolutive Environment for Software Quality Assesment
CNCSIS, Project type A, Grant 27688/2005, CNCSIS Code 710, 2005 - 2006
Team: Radu Marinescu, Marius Minea, Ioana Sora, Cristina Marinescu, Petru F. Mihancea, Dan Pescaru, Richard Wettel

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 socio-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 supported by automated systems for analysis, diagnose and design improvement, at a high level as well as at a level close to design. The project proposes to build an integrated environment for quality analysis of software systems, with the following characteristics: - to ensure integrating a large number of structural and semantic analysis tools and methods, both existing and newly developed, allowing the combined application of analyses and the construction of new analyses, of higher complexity. - to allow the evolution of analyses and of the mechanisms to process and visualize the gathered experimental data. - to support the analysis of industrial-size software systems implemented in the main currently used programming languages (C++, Java, C), both from a structural and semantic point of view. Building such a system will allow the automation of analyses for large-scale software systems (> 500 kloc), 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.
PROWEST - Promovarea Activitatii de Cercetare in Informatica in Vestul Romaniei
Romanian Education And Research Ministry, CEEX Project, Module 3, Type P-INT-VIZ
Team: Dana Petcu, Marius Minea, Radu Marinescu, Cristina Marinescu, Petru F. Mihancea, Ioana Sora, Dan Pescaru, Dan Cosma, Doru Todinca


Modeling, analysis and verification of software systems
CNCSIS, Project type AT, 2004
Team: Marius Minea, Radu Marinescu, Cristina Marinescu, Dan Pescaru, Ioana Sora

The project has as main goal the development of a set of methods and techniques for handling the problems raised by software development, from specification and modeling to verification and maintenance. The rapid complexity growth of software systems creates significant hurdles in the way of their implementation, reaching the limits of traditional development processes and raising hard problems related to cost, on-time delivery, reliability and maintenance of software. It is acknowledged that solving these problems requires a rigorous underpinning of the software development process, by using high-level modeling capabilities and powerful, automated analysis techniques. The project proposes to bring both theoretical and practically demonstrated contributions to the improvement of the entire software development process, and thus, to the quality, cost, reliability and maintainability of the final software product, starting from key aspects and integrating the individual expertise of team members. To this effect, in the modeling phase we will use a mechanism based on composable components, with a description language that allows automatic structuring into components starting from descriptions of components and requirements. Following this, the gap between model and implementation will be reduced by using a modeling language and environment based on a meta-description of the application which incorporates the description of the language it was created in. For the implementation, we propose to devise and systematize a method for quality assurance based on software metrics and detection strategies for design defects. This is completed by developing techniques for detecting functional errors using a combination of static analysis and formal verification. By addressing these topics jointly, the project constitutes a step towards the integration of the proposed methods into a uniform development environment.