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

[1]  Jan Tretmans,et al.  Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.

[2]  Ed Brinksma,et al.  A Test Generation Framework for quiescent Real-Time Systems , 2004, FATES.

[3]  Adenilso da Silva Simão,et al.  From Test Purposes to Asynchronous Test Cases , 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.

[4]  Michel A. Reniers,et al.  Hybrid transition systems , 2002 .

[5]  Franz Wotawa,et al.  Asynchronous Input-Output Conformance Testing , 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

[6]  Pieter J. Mosterman,et al.  Model-Based Testing for Embedded Systems , 2011, Computational Analysis, Synthesis, & Design Dynamic Systems.

[7]  Olaf Müller,et al.  Functional Specification of Real-Time and Hybrid Systems , 1997, HART.

[8]  Rafal Goebel,et al.  Solutions to hybrid inclusions via set and graphical convergence with stability theory applications , 2006, Autom..

[9]  Houssam Abbas,et al.  Conformance Testing as Falsification for Cyber-Physical Systems , 2014, ArXiv.

[10]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[11]  Thao Dang.  Model-Based Testing of Hybrid Systems , 2011, Model-Based Testing for Embedded Systems.

[12]  van Mpwj Michiel Osch.  Model-based testing of hybrid systems , 2007 .

[13]  Mohammad Reza Mousavi,et al.  Synchrony and asynchrony in conformance testing , 2012, Software & Systems Modeling.

[14]  R. Sanfelice,et al.  Hybrid dynamical systems , 2009, IEEE Control Systems.

[15]  Bernhard K. Aichernig,et al.  Automated Conformance Verification of Hybrid Systems , 2010, 2010 10th International Conference on Quality Software.

[16]  Michel A. Reniers,et al.  Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions , 2008, HSCC.

[17]  Houssam Abbas,et al.  Formal property verification in a conformance testing framework , 2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).

[18]  Bernhard K. Aichernig,et al.  Conformance Testing of Hybrid Systems with Qualitative Reasoning Models , 2009, MBT@ETAPS.

[19]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[20]  Michael D. Lemmon.  On the Existence of Solutions to Controlled Hybrid Automata , 2000, HSCC.

[21]  Michiel van Osch.  Hybrid Input-Output Conformance and Test Generation , 2006, FATES/RV.

[22]  Daniel Liberzon,et al.  Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.

[23]  Nancy A. Lynch,et al.  Hybrid I/O automata , 1995, Inf. Comput..

[24]  Lothar Thiele,et al.  Conformance testing for cyber-physical systems , 2012, TECS.

[25]  Andreas Krämer,et al.  Systematic testing of the continuous behavior of automotive systems , 2006, SEAS '06.