2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) 2017
DOI: 10.1109/iceccs.2017.18
|View full text |Cite
|
Sign up to set email alerts
|

Functional Requirements-Based Automated Testing for Avionics

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 existing manual processes are often empirical and subjective, we begin by forma… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2019
2019
2024
2024

Publication Types

Select...
2
2
1

Relationship

0
5

Authors

Journals

citations
Cited by 6 publications
(1 citation statement)
references
References 18 publications
0
1
0
Order By: Relevance
“…Together with various industry partners, the University of Oxford developed and validated a requirement-based automated testing method [4]. Instead of manually producing test scripts for low-level requirements, they are automatically generated through the combination of natural language and model checking.…”
Section: Related Workmentioning
confidence: 99%
“…Together with various industry partners, the University of Oxford developed and validated a requirement-based automated testing method [4]. Instead of manually producing test scripts for low-level requirements, they are automatically generated through the combination of natural language and model checking.…”
Section: Related Workmentioning
confidence: 99%