Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain
| Autor: | Cornejo Olivares, Oscar Eduardo, Pastore, Fabrizio, Briand, Lionel |
|---|---|
| Přispěvatelé: | European Space Agency - ESA [sponsor], European Research Council - ERC [sponsor], NSERC Discovery [sponsor], Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) [research center] |
| Rok vydání: | 2022 |
| Předmět: |
FOS: Computer and information sciences
Computer science [C05] [Engineering computing & technology] mutation testing business.industry Computer science Software development Cyber-physical system embedded software 020207 software engineering 02 engineering and technology cyber-physical systems Sciences informatiques [C05] [Ingénierie informatique & technologie] Software Engineering (cs.SE) Computer Science - Software Engineering Embedded software Software Software quality assurance 0202 electrical engineering electronic engineering information engineering Test suite space software Software verification and validation Software system business Software engineering |
| Zdroj: | info:eu-repo/grantAgreement/EC/H2020/694277 IEEE Transactions on Software Engineering |
| ISSN: | 2326-3881 0098-5589 |
| DOI: | 10.1109/tse.2021.3107680 |
| Popis: | On-board embedded software developed for spaceflight systems (space software) must adhere to stringent software quality assurance procedures. For example, verification and validation activities are typically performed and assessed by third party organizations. To further minimize the risk of human mistakes, space agencies, such as the European Space Agency (ESA), are looking for automated solutions for the assessment of software testing activities, which play a crucial role in this context. Over the years, mutation analysis has shown to be a promising solution for the automated assessment of test suites; it consists of measuring the quality of a test suite in terms of the percentage of injected faults leading to a test failure. A number of optimization techniques, addressing scalability and accuracy problems, have been proposed to facilitate the industrial adoption of mutation analysis. However, to date, two major problems prevent space agencies from enforcing mutation analysis in space software development. In this paper, we enhance mutation analysis optimization techniques to enable their applicability to embedded software and propose a pipeline that successfully integrates them to address scalability and accuracy issues in this context, as described above. Further, we report on the largest study involving embedded software systems in the mutation analysis literature. Our research is part of a research project funded by ESA ESTEC involving private companies (GomSpace Luxembourg and LuxSpace) in the space sector. These industry partners provided the case studies reported in this paper; they include an on-board software system managing a microsatellite currently on-orbit, a set of libraries used in deployed cubesats, and a mathematical library certified by ESA. Accepted for publication on IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|