File:Automated behavior property verification tool (IA automatedbehavio109453888).pdf
Original file (1,275 × 1,650 pixels, file size: 4.42 MB, MIME type: application/pdf, 158 pages)
Captions
Captions
Summary[edit]
Automated behavior property verification tool
(   ) |
|
|---|---|
| Author |
Leo, John K. |
| Title |
Automated behavior property verification tool |
| Publisher |
Monterey, California. Naval Postgraduate School |
| Description |
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. Subjects: Combat; Simulation methods; Computer simulation; Object-oriented programming (Computer science); Ruby (Computer program language) |
| Language | English |
| Publication date | September 2008 |
| Current location |
IA Collections: navalpostgraduateschoollibrary; fedlink |
| Accession number |
automatedbehavio109453888 |
| Source | |
| Permission (Reusing this file) |
Approved for public release, distribution unlimited |
Licensing[edit]
|
This work is in the public domain in the United States because it is a work prepared by an officer or employee of the United States Government as part of that person’s official duties under the terms of Title 17, Chapter 1, Section 105 of the US Code.
Note: This only applies to original works of the Federal Government and not to the work of any individual U.S. state, territory, commonwealth, county, municipality, or any other subdivision. This template also does not apply to postage stamp designs published by the United States Postal Service since 1978. (See § 313.6(C)(1) of Compendium of U.S. Copyright Office Practices). It also does not apply to certain US coins; see The US Mint Terms of Use.
|
 |
| This file has been identified as being free of known restrictions under copyright law, including all related and neighboring rights. | ||
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 22:00, 14 July 2020 |  | 1,275 × 1,650, 158 pages (4.42 MB) | Fæ (talk | contribs) | FEDLINK - United States Federal Collection automatedbehavio109453888 (User talk:Fæ/IA books#Fork8) (batch 1993-2020 #8735) |
You cannot overwrite this file.
File usage on Commons
The following page uses this file: