Software Subsystem Behavioral Testing for Real-Time Embedded Controller Applications

A software behavioral test determines whether software execution under given input conditions matches the requirements established for the software. A tool that can perform such tests on software subsystems has been developed. The tool evaluates real-time control software written for embedded controller applications and detects many software behavioral problems that previously were found only on the bench or in the prototype. The tool is PC/workstation-based, emulates operating system characteristics of typical embedded controllers, and employs a distributed architecture that supports global engineering.