DaMAT: A Data-Driven Mutation Analysis Tool.
Saved in:
| Title: | DaMAT: A Data-Driven Mutation Analysis Tool. |
|---|---|
| Authors: | Viganò, Enrico1 enrico.vigano@uni.lu, Cornejo, Oscar1 oscar.cornejo@uni.lu, Pastore, Fabrizio1 fabrizio.pastore@uni.lu, Briand, Lionel2 lionel.briand@uni.lu |
| Source: | ICSE: International Conference on Software Engineering. 2023, p165-169. 5p. |
| Subjects: | Mutation testing of computer software, CubeSats (Artificial satellites), Computer software testing, Internetworking, Cyber physical systems |
| Abstract: | 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 exchanged 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 evaluated 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 [ABSTRACT FROM AUTHOR] |
| Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| Abstract: | 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 exchanged 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 evaluated 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 [ABSTRACT FROM AUTHOR] |
|---|---|
| DOI: | 10.1109/ICSE-Companion58688.2023.00047 |
