Work

Nothing is Certain but Doubt and Tests

Year: 2014
Type: preprint
Abstract: Effective software safety standards will contribute to confidence, or assurance, in the safety of the systems in which the software is used. It is infeasible to demonstrate a correlation between standards and accidents, but there is an alternative view that makes standards "testable". Software projects are subject to uncertainty; good standards reduce uncertainty more than poor ones. Similarly assurance or integrity levels in standards should define an uncertainty gradient. The paper proposes an argument -based method of reasoning about uncertainty that can be used as a basis for conducting experiments (tests) to evaluate standards.
Institution: University of York
Language: English
Open Access status: green
OpenAlex ID: W2254449287
Cites: 3
Cited by: 1
Related to: 20