Simulating Specification Errors and Ambiguities in Systems Employing Design Diversity

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 system's functionality.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1997
Accession Number
ADA465103

Entities

People

  • Jeffrey Voas
  • Lora Kassab

Tags

Communities of Interest

  • Engineered Resilient Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Altitude
  • Ambiguity
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • Cybersecurity
  • Directives
  • Life Cycles
  • Military Research
  • Specifications
  • Standards
  • United States
  • Universities

Fields of Study

  • Engineering

Readers

  • Educational Psychology
  • Software Engineering
  • Theoretical Analysis.