An Instrumentation-Based Approach to Controller Model Validation
暂无分享,去创建一个
This paper discusses the concept of Instrumentation-Based Validation(IBV): the use of model instrumentation and coverage-based testing to validate models of embedded control software. IBV proceeds as follows. An engineer first formalizes requirements as assertions, or small models, which may be thought of as monitors that observe the behavior of the controller model as it executes. The engineer then instruments the model with these assertions and develops test suites with the aim of highlighting where assertion violations occur. To make our discussion of IBV more concrete, we also consider its implementation within the Reactis tool suite for the automated testing and validation of controller models given in ®/Stateflow®.
[1] Amar Bouali,et al. Formal Verification for Model-Based Development , 2005 .
[2] Markus Lepper. An algorithm for the real-time evaluation of temporal trace specifications , 2004 .
[3] Mirko Conrad,et al. Evolutionary safety testing of embedded control software by automatically generating compact test data sequences , 2005 .