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

• 作者: 刘树锟 彭浩 阳小华 陈继锋
• 来源期刊: 计算机应用研究
• 关键词: 程序断言 动态检测 软件可靠性 条件查询
• 年，卷（期）: 2009,（11）
• 所属期刊栏目: 软件技术研究
• 页码范围: 4140-4142
• 页数: 3页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.11.040

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	阳小华	南华大学计算机学院	160	821	14.0	22.0
2	陈继锋	湖南涉外经济学院计算机科学与技术学部	16	28	3.0	4.0
3	彭浩	湖南涉外经济学院计算机科学与技术学部	35	50	4.0	5.0
4	刘树锟	湖南涉外经济学院计算机科学与技术学部	15	50	3.0	6.0