Managing Unit Tests Using Vector Spaces

Abstract

Unit tests furnish assurance of error free operation of software code units, enhancing safe operation of code-intensive systems. The underlying vector space of a code unit can be used to construct a minimal set of unit tests employing a basis set of such a vector space. This report explores the use of basis sets to design a minimal set of unit tests and demonstrates how a basis set of tests is adequate for a logical test of a code unit containing a multitude of paths. The argument is made that this approach is equivalent to Modified Condition/Decision Coverage (MC/DC) coverage testing as defined in DO-178B/C.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 17, 2021
Accession Number
AD1191725

Entities

People

  • Anthony S. Cantone
  • Loren C Edwards

Organizations

  • Naval Air Warfare Center Weapons Division

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Aerial Warfare
  • Aeronautical Engineering
  • Algebra
  • Coefficients
  • Computer Programs
  • Engineering
  • Engineers
  • Equations
  • Identities
  • Linear Algebra
  • Safety
  • Safety Engineering
  • Software Testing
  • Standards
  • System Safety
  • Systems Engineering
  • Test Sets
  • Vector Spaces
  • Warfare

Fields of Study

  • Engineering

Readers

  • Graph Algorithms and Convex Optimization.
  • Software Engineering
  • Software Engineering.

Technology Areas

  • Space