Applying expert systems technology to communications software validation

A case study is presented which describes the use of an expert systems approach to automation of systems and integration testing for validation of complex, real-time communications software, such as used onboard the Airborne Warning and Control Systems (AWACS) aircraft. The approach permits a state-based rather than path- or branch-based testing style. States can be matched with high-level system requirements to give a measure of test coverage. The benefits and weaknesses realized from using the Boeing-built embeddable expert systems shell with a custom relational database interface to construct an automated software verification tool supporting this approach are discussed. A brief summary of the utility of applying expert systems technology in this software engineering area is given. Qualitative measurements of the productivity increase from a prototype demonstration are also included