Applying valued booleans in testing of cyber-physical systems
Paper in proceedings, 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.

Cyber-Physical-Systems

Falsification

Testing

Author

Koen Claessen

Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Nicholas Smallbone

Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Johan Lidén Eddeland

Volvo Cars

Chalmers, Electrical Engineering, Systems and control, Automation

Zahra Ramezani

Chalmers, Electrical Engineering, Systems and control, Automation

Knut Åkesson

Chalmers, Electrical Engineering, Systems and control, Automation

Sajed Miremadi

Volvo Cars

Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018

8-9 8429478

3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018
Porto, Portugal,

Subject Categories

Software Engineering

Computer Science

Computer Systems

DOI

10.1109/MT-CPS.2018.00011

More information

Latest update

7/10/2019