DaMAT: A Data-driven Mutation Analysis Tool

Vigano, Enrico; Cornejo Olivares, Oscar Eduardo; Pastore, Fabrizio; Briand, Lionel

Reference : DaMAT: A Data-driven Mutation Analysis Tool


	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/54578

Title :	DaMAT: A Data-driven Mutation Analysis Tool
Language :	English
Author, co-author :	Vigano, Enrico [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >]
	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 :	In press
Main document title :	Proceedings of the 45th International Conference on Software Engineering (ICSE ’23)
Peer reviewed :	Yes
Audience :	International
Event name :	45th International Conference on Software Engineering
Event date :	from 14-05-2023 to 20-05-2023
Keywords :	[en] Mutation analysis ; CPS
Abstract :	[en] We present DaMAT, a tool that implements data- driven mutation analysis. In contrast to traditional code-driven mutation analysis tools it mutates (i.e., modifies) the data ex- changed by components instead of the source of the software under test. Such an approach helps ensure that test suites appropriately exercise components interoperability — essential for safety-critical cyber-physical systems. A user-provided fault model drives the mutation process. We have successfully evalu- ated DaMAT on software controlling a microsatellite and a set of libraries used in deployed CubeSats. A demo video of DaMAT is available at https://youtu.be/s5M52xWCj84
Funders :	European Space Agency - ESA
Name of the research project :	RFQ/3-17554/21/NL/AS/kk/FAQAS2
Target :	Researchers ; Professionals
Permalink :	http://hdl.handle.net/10993/54578

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	Enrico_DAMAT_ToolDemo.pdf		Author postprint	236.97 kB	View/Open

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

University of Luxembourg Library | Feedback | Legal notices