Software Testing of Safety Critical Systems,

Abstract

This paper outlines methods used for testing the software of the Tornado Autopilot and Flight Director System (AFDS). An overview of existing test systems is given, followed by a detailed presentation of a new test facility the - the AFDS Cross Software Test System (AFDS-CSTS). The CSTS is an automated test tool. The AFDS is stimulated by a test computer with well-defined test data, generated via a test language. A software model running on this test computer is stimulated with the same test data. This software model is programmed according to the dual programming method based on the AFDS software specification. The test computer compares cycle by cycle, the outputs of the AFDS with the software model outputs. All deviations from expected results are recorded for subsequent analysis. The experience gained by installing and using this tool is reported. An important point is the cost of testing future software modifications.

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1983
Accession Number
ADP002872

Entities

People

  • J. Stocker

Tags

DTIC Thesaurus Topics

  • Automatic Pilots
  • Avionics
  • Buildings And Structures
  • Computer Programming
  • Computers
  • Language
  • Software Testing
  • Specifications
  • Test Facilities
  • Weapon Systems
  • Weapons

Fields of Study

  • Computer science
  • Engineering

Readers

  • Aerospace Engineering
  • Aerospace Test and Evaluation
  • Software Engineering.