Design of a system for software testing and debugging for multiprocessor avionics systems

As multiprocessor software solutions find their way into critical applications such as avionics as a means of increasing performance and reliability, the need for both debugging and testing tools increases dramatically. The authors focus on the gathering of accurate run-time information providing support for both debugging and testing of embedded multiprocessor systems by using run-time identification of simple events and postexecution identification of compound events. Additionally, they propose a way of combining specification-based (black-box) system testing and automatic monitoring to substantially reduce the complexity, tedium, and cost of complete structural (white-box) testing