Objectif
The MaTeLo project aims at developing a statistical testing suite able to manage optimal test campaigns for software validation. The suite will include:
- an automatic generator of test cases (derived from a Markov chain) based on stochastic methods;
- Test execution modules, results analysers to generate quality reports;
- Metrics to accurately evaluate software reliability and performance.
End-users from automobile, telecoms and aeronautics will integrate the testing tools for validation. They expect from MaTeLo:
- to increase and to manage software reliability;
- to better control the schedule, to reduce the time to market;
- to globally decrease development costs.
Objectives:
The project aims at developing a statistical testing suite able to manage optimal test campaigns for software validation. This is particularly relevant for the design of embedded systems (automobile, aeronautics, telecommunications):
- Investigations on standard formal specification languages for the different industries specifications simulation methods and associated tools;
- Development of an automatic generator of test cases (derived from of Markov usage model) based on stochastic methods;
- Test execution in heterogeneous environments, test results analysis and quality reports generation for regular follow-up during the development;
- Development of metrics to accurately evaluate software reliability and performance, all along the development process;
- Integration of the testing tools in real development environments for industrial validation.
Work description:
To achieve its objectives, this 30-month project has been divided in 9 work packages:
- Technical Specifications : requirements from the end-users, preliminary investigations;
- Markov model generation : investigations of methodologies to automatically generate a Markov model from various input FDTs (SDL, MSC), tool development, Markov chain editor, semi-automatic settings of probabilities on the model;
- Test cases generation: from a Markov model, development of an automatic generator of test cases;
- Formal Description Techniques simulation: FDTs need to be simulated in order to complete the input test sequences generated by the MaTeLo kernel. Extensions to existing FDTs must be investigated;
- Test execution modules: TTCN-based test execution tools will be investigated to complete the MaTeLo testing suite;
- Testing suite integration : integration of the different modules, addition of quality computation & analysis modules, first validation by research partners;
- Industrial validation : validation by the end-users of the technology. Important investigations must be led to choose suitable FDTs;
- Dissemination & exploitation: to ensure a full exploitation of the project results;
- Project Management: 8 complementary partners (4 technological suppliers, 4 end-users) joined their complentary expertise to lead this project at a European level.
Milestones:
The test automation & optimisation, as foreseen in MaTeLo, should lead to a global reduction by at least 30% of the testing cost. Metrics related to software reliability, performance and quality, test campaingns management, schedule and cost of developments, should also help the industrials to increase reliability, to shorten release time, to better control schedule and resources allocation.
Main milestones:
t0+9 : first validation of modules by end-users
t0+18 : beta-version.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
- sciences naturelles informatique et science de l'information logiciel
- sciences sociales sociologie relations industrielles automatisation
- ingénierie et technologie génie mécanique génie automobile génie aérospatial ingénierie aéronautique
- ingénierie et technologie génie électrique, génie électronique, génie de l’information ingénierie de l’information télécommunication
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Nous sommes désolés... Une erreur inattendue s’est produite.
Vous devez être authentifié. Votre session a peut-être expiré.
Merci pour votre retour d'information. Vous recevrez bientôt un courriel confirmant la soumission. Si vous avez choisi d'être informé de l'état de la déclaration, vous serez également contacté lorsque celui-ci évoluera.
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Données non disponibles
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Coordinateur
53000 LAVAL
France
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.