The debugging and testing of commercial software constitutes a substantial portion of the development time and, by most estimates, over fifty percent of the overall cost of software development. For critical applications, such as avionics, complete testing is extremely important. However, as multiprocessor software solutions find their way into these critical applications as a means of increasing performance and reliability, the need for both debugging and testing tools increases dramatically. This paper focuses on the gathering of accurate run-time information providing support for both debugging and testing of embedded multi-processor systems by employing runtime identification of "simple events" and post-execution identification of "compound events." Additionally, we propose a novel 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.
|Title of host publication||Proceedings of the15th Annual International Computer Software and Applications Conference, CMPSAC 1991|
|Number of pages||8|
|State||Published - 1991|
|Event||15th Annual International Computer Software and Applications Conference, CMPSAC 1991 - Tokyo, Japan|
Duration: Sep 11 1991 → Sep 13 1991
|Name||Proceedings - International Computer Software and Applications Conference|
|Conference||15th Annual International Computer Software and Applications Conference, CMPSAC 1991|
|Period||9/11/91 → 9/13/91|
Bibliographical noteFunding Information:
This work supported by the National Science Foundation under grant number CCR-8809600, and by Rockwell International.
© 1991 IEEE.
ASJC Scopus subject areas
- Computer Science Applications