Requirements-based testing is emphasized in avionics certification documents because this strategy has been found to be the most effective at revealing errors. This paper describes the unified requirements-based approach to the creation of conformance test suites for mission-critical systems. The approach uses formal machine-readable specifications of requirements and finite state machine model for test sequences generation on-the-fly. The paper also presents the test system for automated test generation for ARINC 653 services built on this approach. Possible application of the presented approach to various areas of avionics embedded systems testing is discussed.
Requirements-based conformance testing of ARINC 653 real-time operating systems
Anforderungsbasierte Conformance-Tests des ARINC 653-Echtzeitbetriebssystems
2010
8 Seiten, 3 Bilder, 15 Quellen
(nicht paginiert)
Conference paper
Storage medium
English
Anforderungsanalyse , Anforderungstechnik , Raumfahrt , Raumfahrttechnik , Echtzeitbetriebssystem , Avionik , formale Spezifikation , formale Verifikation , endlicher Automat , Testsignal , automatisches Testsystem , Embedded-System , Software-Test , Software-Testautomatisierung , Software-Entwicklung
Requirements-Based Conformance Testing of ARINC 653 Real-Time Operating Systems
British Library Conference Proceedings | 2010
|The Requirements - From DATAC to ARINC 629
British Library Conference Proceedings | 1991
|