Paper Info
Title
A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems.
Abstract
We describe ongoing work into the generation of test cases for safety critical systems using Event-B and the Rodin toolset. Verification of software to DO-178C is a two stage process. First a suite of test cases must be validated against the system requirements (requirements coverage), and then the software implementation is verified using the validated test suite. During verification of the implementation structural coverage is also measured. Our work focuses on the first step, the generation of test cases and their validation against the requirements. We construct closed-system models incorporating both the system to be tested and its environment. These models capture the system requirements, and describe the interactions between the system and its environment. In particular, safety constraints can be represented by invariants, and their preservation ensured through event guards. From these models test cases can be generated, and requirements coverage can be measured from model coverage.
Year
DOI
Venue
2014
10.1007/978-3-319-12214-4_4
Lecture Notes in Computer Science
Keywords
Field
DocType
Event-B,STPA,Safety Critical Systems,Test Generation
Test suite,Life-critical system,Suite,Software,Test case,Engineering,Software requirements specification,System requirements,Software implementation,Reliability engineering
Conference
Volume
ISSN
Citations 
8822
0302-9743
1
PageRank 
References 
Authors
0.35
10
3
Name
Order
Citations
PageRank
Toby Wilkinson131.74
Michael Butler21768104.74
John Colley310.35