Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative reasoning: modeling and simulation with incomplete knowledge
Conformance testing with labelled transition systems: implementation relations and test generation
Computer Networks and ISDN Systems - Special issue on protocol testing
Theoretical Computer Science
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Proceedings of the 3rd international workshop on Automation of software test
Robust test generation and coverage for hybrid systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Test coverage for continuous and hybrid systems
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Hybrid input-output conformance and test generation
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Model-driven development of industrial process control applications
Journal of Systems and Software
Rigorous model-based design & verification flow for in-vehicle software
Proceedings of the 48th Design Automation Conference
Model-based mutation testing of reactive systems: from semantics to automated test-case generation
Theories of Programming and Formal Methods
| Hi-index | 0.00 |
Embedded systems are of growing importance in industry. For example, in a today's vehicle a huge number of embedded and communicating systems can be found. Exhaustive testing of such systems is a requirement, because changes after delivery and use are expensive and sometimes even impossible. In this paper we propose the use of qualitative models, which are an abstraction of quantitative physical models, for test case generation and test execution. In particular, we show how Simulink models from which control programs are automatically extracted can be tested with respect to qualitative models. Since Simulink models are heavily used in industry, the approach is of practical interest.