MASS: A tool for Mutation Analysis of Space CPS

Oscar Cornejo, Fabrizio Pastore, Lionel Briand

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

We present MASS, a mutation analysis tool for embedded software in cyber-physical systems (CPS). We target space CPS (e.g., satellites) and other CPS with similar characteristics (e.g., UAV).Mutation analysis measures the quality of test suites in terms of the percentage of detected artificial faults. There are many mutation analysis tools available but they are inapplicable to CPS because of scalability and accuracy challenges.To overcome such limitations, MASS implements a set of optimization techniques that enable the applicability of mutation analysis and address scalability and accuracy in the CPS context. MASS has been successfully evaluated on a large study involving embedded software systems provided by industry partners; the study includes an on-board software system managing a microsatellite currently on-orbit, a set of libraries used in deployed cubesats, and a mathematical library provided by the European Space Agency. A demo video of MASS is available at https://www.youtube.com/watch?v=gC1x9cU0-tU.

Original languageEnglish
Title of host publicationProceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering
Subtitle of host publicationCompanion Proceedings, ICSE-Companion 2022
PublisherIEEE Computer Society
Pages134-138
Number of pages5
ISBN (Electronic)9781665495981
DOIs
Publication statusPublished - 2022
Externally publishedYes
Event44th ACM/IEEE International Conference on Software Engineering: Companion, ICSE-Companion 2022 - Pittsburgh, United States
Duration: 22 May 202227 May 2022

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257

Conference

Conference44th ACM/IEEE International Conference on Software Engineering: Companion, ICSE-Companion 2022
Country/TerritoryUnited States
CityPittsburgh
Period22/05/2227/05/22

Keywords

  • Software and its engineering
  • Software verification and validation

Fingerprint

Dive into the research topics of 'MASS: A tool for Mutation Analysis of Space CPS'. Together they form a unique fingerprint.

Cite this