论文信息 - Hybrid Input-Output Conformance and Test Generation

Hybrid Input-Output Conformance and Test Generation

Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories for timed systems were defined. The next step is to develop conformance test theory for hybrid systems as well. In this paper we present a conformance relation for model-based testing of hybrid systems and we formalize tests for hybrid systems.

Michiel van Osch

[1] Michael W. Shields. Hybrid Transition Systems , 1997 .

[2] Insup Lee,et al. Specification-based testing with linear temporal logic , 2004, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004..

[3] Vijay Kumar,et al. Hierarchical Hybrid Modeling of Embedded Systems , 2001, EMSOFT.

[4] Ka Lok Man,et al. Syntax and consistent equation semantics of hybrid Chi , 2006, J. Log. Algebraic Methods Program..

[5] Stavros Tripakis,et al. Conformance testing for real-time systems , 2004, SPIN.

[6] Jan Tretmans,et al. Testing Concurrent Systems: A Formal Approach , 1999, CONCUR.

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

[8] Jan Tretmans,et al. Test Generation Based on Symbolic Specifications , 2004, FATES.

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

[10] K. Larsen,et al. Online Testing of Real-time Systems Using Uppaal , 2004, FATES.

[11] Jan Tretmans,et al. TorX: Automated Model-Based Testing , 2003 .

[12] Thomas A. Henzinger,et al. HYTECH: A Model Checker for Hybrid Systems , 1997, CAV.

[13] Kim G. Larsen,et al. Online Testing of Real-time Systems , 2004 .