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

刘树锟; 阳小华; 陈继锋; 彭浩

首页> 中文期刊> 《计算机应用研究》 >程序断言动态检测工具的设计与实现

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机应用研究》 |2009年第11期|4140-4142|共3页
作者
刘树锟; 阳小华; 陈继锋; 彭浩;
展开▼
作者单位

湖南涉外经济学院;

计算机科学与技术学部;

长沙;

410205;

南华大学;

计算机学院;

湖南;

衡阳;

421001;

湖南涉外经济学院;

计算机科学与技术学部;

长沙;

410205;

湖南涉外经济学院;

计算机科学与技术学部;

长沙;

410205;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
程序断言; 动态检测; 软件可靠性; 条件查询;

相似文献

中文文献
外文文献
专利

1. 基于断言的程序正确性检测工具 [J] . 刘杰 ,余童兰 . 电脑与信息技术 . 2007,第005期
2. 基于演进思想的程序断言动态发现模型研究 [J] . 吴取劲 ,阳小华 ,罗扬 . 信息技术 . 2008,第005期
3. 基于动态插桩的C/C++内存泄漏检测工具的设计与实现 [J] . 曾佳平 ,杨秋辉 ,汪华龙 . 计算机应用研究 . 2015,第006期
4. 嵌入式软件动态内存检测工具的设计与实现 [J] . 刘发贵 ,温宇龙 ,罗春威 . 计算机工程 . 2009,第020期
5. 基于Linux的动态内存检测工具的设计与实现 [J] . 何杭军 ,朱利 ,李青山 . 计算机工程 . 2005,第021期
6. 程序不变量到断言的自动转换方法研究及其应用 [C] . Deng Chaoqiang ,邓超强 ,Zeng Fanping . 2012中国计算机大会 . 2012
7. 程序动态似然断言技术及其在软件质量保证领域中的应用 [A] . 邓超强 . 2013

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

摘要

著录项

相似文献

相关主题

期刊订阅