Show simple item record

dc.contributor.authorHierons, R.M.
dc.contributor.authorGazda, M.
dc.contributor.authorGomez-Abajo, P.
dc.contributor.authorLefticaru, Raluca
dc.contributor.authorMerayo, M.G.
dc.date.accessioned2021-12-08T21:43:07Z
dc.date.accessioned2021-12-22T12:51:09Z
dc.date.available2021-12-08T21:43:07Z
dc.date.available2021-12-22T12:51:09Z
dc.date.issued2021-07
dc.identifier.citationHierons 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.en_US
dc.identifier.urihttp://hdl.handle.net/10454/18705
dc.descriptionNoen_US
dc.description.abstractThis 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.en_US
dc.description.sponsorshipEPSRC grant EP/R025134/2 RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots, Spanish MINECO-FEDER grant FAME RTI2018-093608-B-C31 and the Comunidad de Madrid project FORTE-CM S2018/TCS-4314.en_US
dc.language.isoenen_US
dc.publisherSpringer International Publishing
dc.relation.isreferencedbyhttps://doi.org/10.1007/978-3-030-66494-7_11en_US
dc.subjectSoftware engineeringen_US
dc.subjectRobotics softwareen_US
dc.subjectAutonomous systemsen_US
dc.titleMutation Testing for RoboCharten_US
dc.status.refereedYesen_US
dc.date.application2020-12-17
dc.typeBook chapteren_US
dc.type.versionNo full-text in the repositoryen_US
dc.date.updated2021-12-08T21:43:09Z
refterms.dateFOA2021-12-22T12:51:30Z
dc.openaccess.statusNot Open Accessen_US


Item file(s)

Thumbnail
Name:
Hierons2021_Chapter_MutationTe ...
Size:
652.6Kb
Format:
PDF
Description:
Keep suppressed - version of record

This item appears in the following Collection(s)

Show simple item record