Proof vs testing in the context of safety standards

Andy Galloway*, Richard F. Paige, Nicholas J. Tudor, Rob A. Weaver, Ian Toyn, John McDermid

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution


During software certification various forms of testing (e.g., unit, integration, regression) are undertaken. These testing processes are very important, but are also generally accepted as expensive, leading to a desire to replace testing with more cost-effective processes, where practicable. This paper is concerned with how such technology substitution can be justified, and presents a template for an argument that can be used to justify substitutions. It also instantiates the argument for a particular proof technology -the CLawZ toolset -and demonstrates how to argue for its safe substitution for testing in this context.

Original languageEnglish
Title of host publication24th DASC
Subtitle of host publication24th Digital Avionics Systems Conference - Proceedings
Publication statusPublished - 1 Dec 2005
Event24th DASC: 24th Digital Avionics Systems Conference - Washington, DC, United States
Duration: 30 Oct 20053 Nov 2005


Conference24th DASC: 24th Digital Avionics Systems Conference
Country/TerritoryUnited States
CityWashington, DC

Cite this