Accession Number:

ADA463224

Title:

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

Descriptive Note:

Conference paper

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE

Report Date:

2006-06-01

Pagination or Media Count:

41.0

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.

Subject Categories:

  • Computer Programming and Software
  • Command, Control and Communications Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE