Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems
Paper in proceedings, 2018

We propose a new logic of valued Booleans for writing properties which are not just true or false but compute how severely they are falsified. The logic is reminiscent of STL or MTL but gives the tester control over what severity means in the particular problem domain. We use this logic to simplify failing test inputs in the context of random testing of cyber-physical systems and show that it improves the quality of counterexamples found. The logic of valued Booleans might also be used as an alternative to the standard robust semantics of STL formulas in optimization-based approaches to falsification.

model-driven systems engineering

logical design, physical design and implementation of embedded computer systems

Reachability analysis, verification and abstraction of hybrid systems

embedded computer control systems and applications

supervision and testing

Author

Koen Lindström Claessen

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

Other publications Research

Nicholas Smallbone

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

Other publications Research

Johan Lidén Eddeland

Volvo Cars

Chalmers, Electrical Engineering, Systems and control, Automation

Other publications Research

Zahra Ramezani

Chalmers, Electrical Engineering, Systems and control, Automation

Other publications Research

Knut Åkesson

Chalmers, Electrical Engineering, Systems and control, Automation

Other publications Research

IFAC-PapersOnLine

24058963 (eISSN)

Vol. 51 7 408-415

14th IFAC International Workshop on Discrete Event Systems (WODES)
, Italy,

Modellbaserad Testning av Mekatroniska System (TESTRON)

VINNOVA, 2016-01-01 -- 2019-12-31.

Show Project

Systematic testing of cyber-physical systems (SyTeC)

Swedish Research Council (VR), 2017-01-01 -- 2022-12-31.

Show Project

Subject Categories

Control Engineering

Computer Science

Computer Systems

DOI

10.1016/j.ifacol.2018.06.333

Publication data connected to DOI

More information

Latest update

9/12/2018

Feedback and support

If you have questions, need help, find a bug or just want to give us feedback you may use this form, or contact us per e-mail research.lib@chalmers.se or by phone 46 (0)31-772 3744.

About

Research.chalmers.se contains research information from Chalmers University of Technology, Sweden. It includes information on projects, publications, research funders and collaborations.

More about coverage period and what is publicly available

Privacy and cookies

Links

Chalmers Library
Chalmers Research
Research projects at chalmers.se

Chalmers University of Technology

SE-412 96 GOTHENBURG, SWEDEN
PHONE: +46 (0)31-772 10 00
WWW.CHALMERS.SE