Applying valued booleans in testing of cyber-physical systems
Paper i proceeding, 2018
In software testing, as in cyber-physical systems testing, test suites are traditionally developed by hand. In this work we consider one framework for putting the computer in charge of the testing instead: constrained random test case generation as supported by the tool QuickCheck. This is implemented by the use of Valued Booleans (VBools). VBools naturally allow for an extension of QuickCheck into cyber-physical systems, which is useful particularly since QuickCheck can perform shrinking of test cases. Shrinking is a technique to make test cases simpler while preserving failure.
Falsification
Testing
Cyber-Physical-Systems
Författare
Koen Claessen
Chalmers, Data- och informationsteknik, Funktionell programmering
Nicholas Smallbone
Chalmers, Data- och informationsteknik, Funktionell programmering
Johan Lidén Eddeland
Chalmers, Elektroteknik, System- och reglerteknik
Volvo Cars
Zahra Ramezani
Chalmers, Elektroteknik, System- och reglerteknik
Knut Åkesson
Chalmers, Elektroteknik, System- och reglerteknik
Sajed Miremadi
Volvo Cars
Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018
8-9 8429478
978-153866748-4 (ISBN)
3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018
Porto, Portugal,
Porto, Portugal,
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.1109/MT-CPS.2018.00011