A knowledge-based debugger for real-time software systems based on a noninterference testing architecture
- 7 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
On the basis of a general mechanism for reproducing the execution behavior of real-time software systems, a new approach is suggested for a knowledge-based debugger for real-time software systems. A description is given of the use of noninterference architecture to collect the program execution history of a target system without interfering with the execution of the target system. Thus, the timing constraints of a real-time software system can be preserved. To eliminate the redundant information in the collected execution history, a postprocessing mechanism is introduced to organize the necessary information for testing and debugging. The redundant data, which are useless for debugging certain types of error, are removed, and only the required data proceed to the debugging phase. A knowledge-based debugging tool is then used to assist users in localizing errors. Examples are used to illustrate the approach in detecting synchronization and timing errors of real-time software systems.Keywords
This publication has 10 references indexed in Scilit:
- A replay mechanism for non-interference real-time software testing and debuggingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Knowledge-Based Program Debugging SystemsIEEE Software, 1987
- Debugging Parallel Programs with Instant ReplayIEEE Transactions on Computers, 1987
- Monitoring distributed systemsACM Transactions on Computer Systems, 1987
- A survey of software design techniquesIEEE Transactions on Software Engineering, 1986
- Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating ThemIEEE Transactions on Software Engineering, 1985
- Real-Time Execution MonitoringIEEE Transactions on Software Engineering, 1984
- A debugging tool for real time software: The non repeated runs approachAnnual Review in Automatic Programming, 1981
- MonitorsCommunications of the ACM, 1974
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968