程序断言动态检测工具的设计与实现  

Design and implementation of tool for dynamical detecting program assertion

作　　者：刘树锟[1] 阳小华[2] 陈继锋[1] 彭浩[1] 

机构地区：[1]湖南涉外经济学院计算机科学与技术学部,长沙410205 [2]南华大学计算机学院,湖南衡阳421001

出　　处：《计算机应用研究》2009年第11期4140-4142,共3页Application Research of Computers

基　　金：湖南省教育厅基金资助项目(08C516);湖南省自然科学基金资助项目(05JJ30117);湖南省教育厅重点基金资助项目(07A034)

摘　　要：重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态检测程序断言等功能,并通过将运行轨迹收集到数据库中来实现检测到的各种断言形式分析,说明了TDDPA总体设计结构及实现过程。结果证明TDDPA能更方便有效地发现程序中所蕴涵的断言。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.

关 键 词：程序断言 动态检测 软件可靠性 条件查询 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]