model-based testing and monitoring for hybrid embedded systems精选.pdfVIP

Model-based Testing and Monitoring for Hybrid Embedded Systems∗ Li Tan Jesung Kim Oleg Sokolsky Insup Lee Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA {tanli, jesung, sokolsky, lee}@ ABSTRACT straction process are always valid in the target system. It is We propose an integrated framework for testing and moni- therefore highly desirable to obtain a verification and valida- toring the model-based embedded systems. The framework tion technique that is capable of checking properties beyond incorporates three components: 1) model-based test gen- simple invariants, can handle system models of realistic size, eration for hybrid system, 2) run-time verification, and 3) and can be applied both on the model and implementation levels. modular code generation for hybrid systems. To analyze the behavior of a model-based system, the model of the system The approach we propose in this paper is to integrate is augmented with a testing automaton that represents a the testing and runtime verification into the model-based given test case, and with a monitoring automaton that cap- hybrid embedded system design. We generate the tests us- tures the formally specified properties of the system. The ing a simulation-based test generator, but the focus of our augmented model allow