Abstract | ||
---|---|---|
We propose and demonstrate a method for the reduction of testing effort in safety-critical software development using DO-178 guidance. We achieve this through the application of Bounded Model Checking (BMC) to formal low-level requirements, in order to generate tests automatically that are good enough to replace existing labor-intensive test writing procedures while maintaining independence from implementation artefacts. Given that manual processes are often empirical and subjective, we begin by formally defining a metric, which extends recognized best practice from code coverage analysis strategies to generate tests that adequately cover the requirements. We then implement it in an automated requirements testing procedure and apply it in a case study with industrial partners. In review, the toolchain developed here is demonstrated to significantly reduce the human effort for the qualification of software products under DO-178 guidance. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1109/ICECCS.2017.18 | 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) |
Keywords | DocType | Volume |
functional requirements,avionics,testing effort,safety-critical software development,Bounded Model Checking,BMC,low-level requirements,code coverage analysis strategies,automated requirements,software products,labor-intensive test writing procedures,DO-178 guidance,automated testing | Conference | abs/1707.01466 |
ISBN | Citations | PageRank |
978-1-5386-2432-6 | 0 | 0.34 |
References | Authors | |
10 | 10 |
Name | Order | Citations | PageRank |
---|---|---|---|
Youcheng Sun | 1 | 130 | 12.18 |
Martin Brain | 2 | 279 | 22.41 |
Daniel Kroening | 3 | 3084 | 187.60 |
Andrew Hawthorn | 4 | 0 | 0.68 |
Thomas Wilson | 5 | 0 | 0.34 |
Florian Schanda | 6 | 16 | 3.20 |
Francisco Javier Guzman Jimenez | 7 | 0 | 0.34 |
Simon Daniel | 8 | 0 | 0.34 |
Chris Bryan | 9 | 42 | 6.79 |
Ian Broster | 10 | 56 | 6.84 |