Use of Automated Testing to Facilitate Affordable Design of Military Systems.

摘要

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.