This line deals with the research activity related to the methodology of software production, emphasizing the testing processes. The main areas of interest are:

• Methodology to improve the testing process. The aim is to develop, validate, and spread a methodology to improve the testing process based in a model to measure the level of a testing process maturity.
• Automatic generation of testing cases.
• Composition of distributed components based on mutual exclusion. This line of research consists of developing and applying a formal theory of composition.
• Methodology for software engineering and management. This line of action tries to define a set of processes that influence the construction of software products and characterize their interactions over their life-cycle.
• Methodology for software product certification. This innovative line pursues the development of a model that makes it possible to certificate software products by carrying out a number of defined requirements.

Back to R&D&I lines