Design and implementation of tool for dynamical detecting program assertion
程序断言动态检测工具的设计与实现*

This paper mainly discussed the process and methods of detecting program assertion. Presented a new interacted assertion detecting tool based on RDBMS, which was named TDDPA. It supported such functions as dynamical detecting program assertion and giving query conditions by user, providing user a more convenient interface. TDDPA analyzes and reports assertion by collecting running trace to database, which is different from traditional one. The base structure and implementation of the tool are illustrated in details. Experiments show that TDDPA is accurate and convenient in detecting program assertion.