Conformance Testing of Cyber-Physical Systems : A Comparative Study

• For systematic and automatic testing of cyber-physical systems, in which a set of test cases is generated based on a formal specification, a number of notions of conformance testing have been proposed. In this paper, we review two existing theories of conformance testing for cyber-physical systems and compare them. We point out their fundamental differences, and prove under which assumptions they coincide. © Automated Verification of Critical Systems 2014.

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Computer Sciences (hsv//eng)

Nyckelord

Hybrid systems

conformance testing

(hybrid) timed state sequences

hybrid labeled transition systems

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)