Traceability and Conformance in Secure Systems

Abstract

Traceability in a software intensive system is the ability to link statements of requirement with the implementation objects which satisfy them and the means used to demonstrate conformance. This report discusses the problems of maintaining traceability when developing large secure systems and the ways in which technology may be used to support it.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 07, 1991
Accession Number
ADA242176

Entities

People

  • C. T. Sennett
  • G. P. Randell

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Cyber
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Compilers
  • Computer Programming
  • Computer Science
  • Computers
  • Configuration Management
  • Construction
  • Language
  • Maintenance
  • Object Code
  • Procurement
  • Software Development
  • Software Testing
  • Specifications
  • Standards
  • Test And Evaluation
  • Word Processors

Fields of Study

  • Computer science

Readers

  • Software Engineering.