Accession Number:

ADA465103

Title:

Simulating Specification Errors and Ambiguities in Systems Employing Design Diversity

Descriptive Note:

Conference paper

Corporate Author:

RELIABLE SOFTWARE TECHNOLOGIES CORP STERLING VA

Personal Author(s):

Report Date:

1997-01-01

Pagination or Media Count:

13.0

Abstract:

This paper looks at methods for predicting how likely it is that an n-version software system will suffer from common-mode failures. Common-mode failures are frequently caused by specification errors, specification ambiguities, and programmer faults. Since common-mode failures are detrimental to n-version systems, we have developed a method and a tool that observes the impact of simulated specification errors and specification ambiguities. These observations are made possible by a new family of fault injection algorithms designed to simulate specification anomalies. As a side benefit, this analysis also provides clues concerning which portions of the specification, if even slightly wrong or misinterpreted, will lead to identical failures by two or more versions. This suggests which specification directives have the most impact on the systems functionality.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE