Computer Science – Software Engineering
Scientific paper
2001-01-12
Computer Science
Software Engineering
Proceedings of AADEBUG 2000 Fourth International Workshop on Automated Debugging Munich, Germany, 28-30 August 2000
Scientific paper
This paper suggests an approach to the development of software testing and debugging automation tools based on precise program behavior models. The program behavior model is defined as a set of events (event trace) with two basic binary relations over events -- precedence and inclusion, and represents the temporal relationship between actions. A language for the computations over event traces is developed that provides a basis for assertion checking, debugging queries, execution profiles, and performance measurements. The approach is nondestructive, since assertion texts are separated from the target program source code and can be maintained independently. Assertions can capture the dynamic properties of a particular target program and can formalize the general knowledge of typical bugs and debugging strategies. An event grammar provides a sound basis for assertion language implementation via target program automatic instrumentation. An implementation architecture and preliminary experiments with a prototype assertion checker for the C programming language are discussed.
No associations
LandOfFree
Assertion checker for the C programming language based on computations over event traces does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Assertion checker for the C programming language based on computations over event traces, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Assertion checker for the C programming language based on computations over event traces will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-629421