Functional Requirements-Based Automated Testing for Avionics

Youcheng Sun, Martin Brain, Daniel Kroening +7

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 Bo…