Automated Behavior Property Verification Tool
NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Pagination or Media Count:
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 userdeveloper 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 developers 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.
- Computer Programming and Software