Assertion checker for the C programming language based on computations over event traces

摘要: This paper suggests an approach to the development of software testing and debugging automation tools based on precise program behavior models. The model is defined as a set events (event trace) with two basic binary relations over -- precedence inclusion, represents temporal relationship between actions. A language for computations event traces developed that provides basis assertion checking, queries, execution profiles, performance measurements. nondestructive, since texts are separated from target source code can be maintained independently. Assertions capture dynamic properties particular formalize general knowledge typical bugs strategies. An grammar sound implementation via automatic instrumentation. architecture preliminary experiments prototype checker C programming discussed.