程序错误定位系统的框架设计与实现

被引量 : 1次 | 上传用户:xiehao2008
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试是软件开发过程中的一项耗时费力工作,其成本又主要受制于错误定位的时间花费。为此,程序故障(错误)定位技术的目的在于自动地、快速准确地定位程序中出现的错误。现在软件错误定位的方法虽然很多,但是由于软件编写及其失效的不确定性和复杂性他们不是对所有类型故障的定位效果都好。现在研究者们在实现其工具时都要实现错误定位的所有模块,包括程序的插装、测试脚本、结果显示等,而这些开发工作大都很相似。再者,由于现在缺少输出多种类型轨迹信息的插装工具,工具开发及其实验的难度都大大增加。为了解决以上问题,本文提出一个合并了多个定位算法,并实现了错误的快速定位功能的可扩展的框架。在设计实现错误定位框架的同时,本文编写BNF范式格式的Java和C程序的语法文件,利用JavaCC生成Java和C语言的解析器,进一步通过JTB生成AST,在AST的基础上实现与算法相匹配的自动插装功能。在有效的程序错误定位算法的基础上,本文设计的系统能使用多个算法对同一程序进行错误定位。实验证明,该系统框架具有良好的可扩展性,在工具开发中实用性很高,同时也在一定程度上提高了定位结果的准确性。
其他文献
曲折波导的主要性能优势表现在:热耗散能力强、功率容量大、频带宽、结构整体性好、易于加工等,是一种全金属材质的慢波结构。在国内外对曲折波导慢波结构的应用做的大量研究
纳米技术快速发展,极大地推进了人们对低维系统的广泛研究。据现有技术,已经可以制备出性能良好的量子线、量子阱、量子点等低维半导体量子结构材料。在这些材料中不仅电子受
通过改进的Lee-Low-Pines变分方法分析了纤锌矿ZnO/MgxZn1-xO、InxGa1-xN/GaN材料量子阱中自由极化子的能级所受到的影响。给出极化子基态能量、激发态能量、跃迁能量以及电
随着当今芯片技术朝着高集成化和高速高带宽的方向发展,芯片的验证测试工作在芯片设计中占据着越来越重要的地位。但与此同时,芯片的验证测试工作的难点也变得越来越突出,尤
沈阳市某供热公司于2017夏季"三修"期间对三号锅炉的炉排进行了改造,将原有链条炉排改为链条-往复炉排型复合炉排,现有炉排烧的煤种由原来的标煤改为了劣质煤,劣质煤的灰分及硫
当今世界,汽车工业产业链的全球化和跨国重组改变了世界汽车产业的竞争格局,汽车产业链的全球化导致了新型专业化分工协作模式的出现,技术革命尤其是第四次工业革命的浪潮对
目的:探讨传染病的SIR模型.方法:通过微分方程解的特征,对于按照一般传播机理建立的SIR模型,分析受感染人数的变化规律,预报传染病的高潮时间,得出控制传染病蔓延的方法.结果
沥青路面易受到自然环境及外界荷载等因素影响而产生病害,需要检测部门对沥青路面病害进行定期检测。鉴于此,首先概述了沥青路面常见的病害种类及特征,然后分析了病害的成因,
通过试验研究了混凝土中粉煤灰对引气剂所引含气量的影响,试验结果表明:混凝土中掺入劣质粉煤灰,混凝土拌合物含气量会随粉煤灰掺量的增加而降低,掺优质粉煤灰较不掺加时混凝
近期日本APA连锁酒店因在客房内放置否认南京大屠杀和慰安妇历史的书籍,引发了中国人民的强烈愤慨。事件发生后,此书的作者、APA酒店社长元谷外志雄不仅没有道歉,反而公开表示拒
报纸