Automated Behavior Property Verification Tool
Abstract
Computer generated forces (CGF) simulations have entities as actors in their simulation. A type of CGF in which the entities have limited autonomy is semi-automated forces (SAF). The SAF system for this thesis research is OneSAF, a near real-time SAF that offers raw data collection of the entities in a particular simulation scenario. The data collection files vary in size from 500 kilobytes to larger than four gigabytes. Entity behavior property verification (BPV) is an integral part of SAF simulation software testing. The purpose for this research is to provide immediate feedback to the system user/developer as to what an entity had done in a scenario. From the simulation point of view, it provides answers to questions like Did the entity route shortest distance to destination? From the developer's point of interest, the BPV can provide insight to flaws in the model, such as a vehicle crossing a river where a bridge does not exist. Automated BPV (ABPV) takes one step further by minimizing hard coding of tools that process collection files. ABPV allows portability of the product of this thesis to other systems. ABPV Tools (ABPVT) of this thesis is designed to run in Linux and Windows and will be included in future distributions of OneSAF as an intricate part of the testing suite.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 2008
- Accession Number
- ADA488651
Entities
People
- John K. Leo
Organizations
- Naval Postgraduate School