Arguing Conformance

  • Authors:
  • Patrick Graydon;Ibrahim Habli;Richard Hawkins;Tim Kelly;John Knight

  • Affiliations:
  • University of York;University of York;University of York;University of York;University of Virginia

  • Venue:
  • IEEE Software
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Conformance to software standards plays an essential role in establishing confidence in high-integrity software systems. However, standards conformance suffers from uncertainty about its meaning for three reasons: because requirements of the standard must be interpreted to fit the specifics of the application; because standards can deliberately leave options for developers; and because goal-based software standards exist that simply specify the high-level principles of software assurance without prescribing a specific means of compliance. The overall effect of these issues is that when conformance to a software assurance standard is claimed, there can be a lack of clarity as to exactly what the claim entails. This article draws on principles and practice from the domain of safety argument construction to describe the use of explicit and structured conformance arguments to help address this problem.