Analysis tools for the evaluation of maintenance software

The amalgamation of information from appropriate fields such as reliability, testability, logistic support, and software engineering gives rise to a constraint-based diagnostic logic model, which provides a valuable baseline for test software requirement definition. It is proposed that the resulting requirements be represented and assessed using techniques similar to and extending those used for the static analysis of source code. This will provide both test package evaluation and acceptance teams (TPEATs) and contractors with the ability to optimize, verify, and validate test software throughout the lifecycle, place less reliance on dynamic tests based on the application of simulated faults and results in cheaper, more effective BIT (built-in testing) and ATE (automated test equipment) software.<
>