Loading...
Mutation Testing for RoboChart
Hierons, R.M. Gazda, M. Gomez-Abajo, P. Lefticaru, Raluca Merayo, M.G.
Hierons, R.M.
Gazda, M.
Gomez-Abajo, P.
Lefticaru, Raluca
Merayo, M.G.
Publication Date
2021-07
End of Embargo
Supervisor
Rights
Peer-Reviewed
Yes
Open Access status
Not Open Access
Accepted for publication
Institution
Department
Awarded
Embargo end date
Additional title
Abstract
This chapter describes a test-generation approach that takes as input a model S of the expected behavior of a robotic system and seeds faults into S, leading to a set of mutants of S. Given a mutant M of S, we check whether M is a valid implementation of S, and, if it is not, we find a test case that demonstrates this: a
test case that reveals the seeded fault. In order to automate this approach, we used the Wodel tool to seed faults and a combination of two tools, RoboTool and FDR, to generate tests that detect the seeded faults. The result is an overall test-generation technique that can be automated and that derives test cases that are guaranteed to find certain faults.
Version
No full-text in the repository
Citation
Hierons RM, Gazda M, Gomez-Abajo P et al (2021) Mutation Testing for RoboChart. In: Cavalcanti A, Dongol B, Hierons RM et al (Eds) Software Engineering for Robotics. 345-375. Springer, Cham: Switzerland.
Link to publisher’s version
Link to published version
Link to Version of Record
Type
Book chapter