The paper describes the early stages of work towards the development of specification based testing techniques for real time distributed systems. This work has taken place in the context of the aerospace industry, where the complexity and the criticality of avionic systems makes them a challenge to develop. This paper briefly presents the DoRIs/ADL notation and its proof theoretic semantics, and sketches the techniques used to represent test cases for single activities. We look forward to the issues dominating future work on the automatic generation of tests from DoRIs/ADL models. (4 pages)
Specification-based testing for real-time avionic systems
01.01.1999
1 pages
Aufsatz (Zeitschrift)
Englisch
theorem proving , automatic test generation , DoRIs/ADL models , avionics , specification based testing , real time avionic systems , real time distributed systems , real-time systems , formal specification , automatic test software , aerospace industry , DoRIs/ADL notation , proof theoretic semantics , test cases
Non-invasive testing of real-time avionic mu -processor systems
Tema Archiv | 1989
|Real-time emulation of modular avionic systems
British Library Conference Proceedings | 1992
|Total avionic real-time simulation
Tema Archiv | 1974
|