New Directions in C2 Software Quality Assurance Automation Based on Executable Environment Models

Abstract

This paper presents some concepts, principles, and techniques for automated testing of real-time reactive software systems based on attributed event grammar (AEG) modeling of the environment in which a system will operate. AEG provides a uniform approach for automatic test generation, execution, and analysis. Quantitative and qualitative assessment of the system comprised of the software under test and its interaction with the environment, can be performed based on statistics gathered during automatic test execution within an environment model.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 2006
Accession Number
ADA463224

Entities

People

  • James Bret Michael
  • Mantak Shing
  • Mikhail I. Auguston

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • C4I
  • Human Systems
  • Weapons Technologies

DTIC Thesaurus Topics

  • Automation
  • C Programming Language
  • Command And Control
  • Computer Programming
  • Computer Science
  • Computers
  • Debugging
  • Detectors
  • Engineering
  • Environment
  • Grammars
  • Hazards
  • Language
  • Operational Effectiveness
  • Programming Languages
  • Risk
  • Software Testing

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Modeling and Simulation
  • Database Systems and Applications