Abstract | ||
---|---|---|
Air Traffic Control (ATC) systems are typical software-intensive mission-critical systems with stringent dependability requirements. The major providers of ATC systems are system integrators that address such requirements at the cost of a very expensive testing effort. They envisage Model Driven Testing (MDT) as a promising approach to reduce this effort while achieving better product quality. Within the context of a public-private partnership for software innovation in the ATC domain, we address the problem of integrating MDT into a software development process based on Model Driven Architecture. Specifically, we propose a solution to the integration of MDT into a V-model, focusing on a parallel MDA-MDT flow in a real industrial software process. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/ISSREW.2012.87 | Software Reliability Engineering Workshops |
Keywords | Field | DocType |
atc system,model driven architecture,real industrial software process,better product quality,software innovation,air traffic control domain,expensive testing effort,atc domain,software development process,industrial process,model driven testing,integrating mdt,air traffic control,software architecture,formal verification | System integration testing,Systems engineering,Computer science,Software system,Software reliability testing,Software development process,Software quality,Software construction,Goal-Driven Software Development Process,Reliability engineering,Software development | Conference |
ISSN | ISBN | Citations |
1071-9458 | 978-1-4673-5048-8 | 4 |
PageRank | References | Authors |
0.42 | 1 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gabriella Carrozza | 1 | 84 | 11.39 |
Mauro Faella | 2 | 14 | 1.34 |
Francesco Fucci | 3 | 31 | 2.96 |
Roberto Pietrantuono | 4 | 357 | 30.48 |
Stefano Russo | 5 | 728 | 78.07 |