Objective
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.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences computer and information sciences software
- social sciences sociology industrial relations automation
- engineering and technology mechanical engineering vehicle engineering aerospace engineering aeronautical engineering
- engineering and technology electrical engineering, electronic engineering, information engineering information engineering telecommunications
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Coordinator
53000 LAVAL
France
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.