Reference : MASS: A tool for Mutation Analysis of Space CPS

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Security, Reliability and Trust
	To cite this reference:	http://hdl.handle.net/10993/50092

Title :	MASS: A tool for Mutation Analysis of Space CPS
Language :	English
Author, co-author :	Cornejo Olivares, Oscar Eduardo [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >]
	Pastore, Fabrizio [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >]
	Briand, Lionel [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >]
Publication date :	May-2022
Main document title :	2022 IEEE/ACM 44st International Conference on Software Engineering
Peer reviewed :	Yes
Event name :	International Conference on Software Engineering
Event date :	from 22-05-2022 to 27-05-2022
Keywords :	[en] mutation analyisis ; cps ; European space agency
Abstract :	[en] 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.
Permalink :	http://hdl.handle.net/10993/50092
Other URL :	https://www.youtube.com/watch?v=gC1x9cU0-tU
Framework Programme / European Project :	H2020 ; 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access MASS-ICSE-DEMO.pdf Author preprint 745.41 kB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map