No / 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. / EPSRC 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.
| Identifer | oai:union.ndltd.org:BRADFORD/oai:bradscholars.brad.ac.uk:10454/18705 |
| Date | 08 December 2021 |
| Creators | Hierons, R.M., Gazda, M., Gomez-Abajo, P., Lefticaru, Raluca, Merayo, M.G. |
| Publisher | Springer International Publishing |
| Source Sets | Bradford Scholars |
| Language | English |
| Detected Language | English |
| Type | Book chapter, No full-text in the repository |
Page generated in 0.003 seconds