Use of Automated Testing to Facilitate Affordable Design of Military Systems
Abstract
The Naval Testing Challenge Infinity is a Big Place. Size and Complexity: The environment is harsh and boundless. There are hundreds of systems on warships. Huge state spaces and many system configurations. Risks: Lives are at stake. Participants rely on simultaneous correct execution. All systems/variants must interoperate seamlessly. Software vulnerabilities can be deliberately placed. Statistically invisible: enormous amount of room to hide back doors. Software can be compromised at runtime Injected faults not present in the version under test, need runtime monitoring. Testing is necessarily sparse relative to the entire space: Exhaustive testing is physically and economically impossible.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 2015
- Accession Number
- ADA625060
Entities
People
- B. Womble
- Craig J. Johnson
- P. Van Benthem
- V. Berzins
Organizations
- Naval Postgraduate School