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

【摘要】软件测试是软件开发过程中的一项耗时费力工作,其成本又主要受制于错误定位的时间花费。为此,程序故障(错误)定位技术的目的在于自动地、快速准确地定位程序中出现的错误。现在软件错误定位的方法虽然很多,但是由于软件编写及其失效的不确定性和复杂性他们不是对所有类型故障的定位效果都好。现在研究者们在实现其工具时都要实现错误定位的所有模块,包括程序的插装、测试脚本、结果显示等,而这些开发工作大都很相似。再者,由于现在缺少输出多种类型轨迹信息的插装工具,工具开发及其实验的难度都大大增加。为了解决以上问题,本文提出一个合并了多个定位算法,并实现了错误的快速定位功能的可扩展的框架。在设计实现错误定位框架的同时,本文编写BNF范式格式的Java和C程序的语法文件,利用JavaCC生成Java和C语言的解析器,进一步通过JTB生成AST,在AST的基础上实现与算法相匹配的自动插装功能。在有效的程序错误定位算法的基础上,本文设计的系统能使用多个算法对同一程序进行错误定位。实验证明,该系统框架具有良好的可扩展性,在工具开发中实用性很高,同时也在一定程度上提高了定位结果的准确性。
【作者】刘平月；
【导师】陈荣；李彦福；
【作者基本信息】大连海事大学，计算机技术，2014，硕士
【关键词】错误定位；框架；抽象语法树；BNF；JTB；

【参考文献】
[1]沈泽昊,李道兴,王功芳.三峡大老岭山地常绿落叶阔叶混交林林隙干扰研究Ⅰ.林隙基本特征[J].植物生态学报,2001,03:276-282.
[2]杨子柱,薛晋安,王治中.带附加燃烧炉的双预热技术在太钢4号高炉的应用[J].钢铁.2002(10)
[3]王萌.非营利组织之公共责任研究[D].山东师范大学,行政管理,2013,硕士.
[4]孙玉纯.青岛-41型节能多功能手扶拖拉机的研究与设计[J].农业机械学报.1992(02)
[5]赵妍.Binary Oppositions in Rites of Passage-a Deconstructive Perspective[D].西安外国语大学,英语语言文学,2014,硕士.
[6]张雪.生态城市建设中绿地恢复补偿机制研究[D].中南林业科技大学,环境与资源保护法学,2013,硕士.
[7]王景圆.Rheb基因对绒山羊骨骼肌卫星细胞的影响[D].内蒙古大学,动物学,2014,硕士.
[8]冯钰.徐州及其邻区寒武纪早期地层划分对比与沉积环境分析[D].中国矿业大学,古生物学与地层学,2014,硕士.
[9]付博.中学生党史教育的现状分析及对策研究[D].内蒙古师范大学,教育（专业学位）,2013,硕士.
[10]马田生.山东焦家金矿床深部成矿预测研究[D].成都理工大学,2004.
[11]孙嘉伟.设计企业项目化管理研究[D].天津大学,项目管理,2013,硕士.
[12]赵伟杰,刘剑,谭平恒.三层石墨烯及其n型和p型插层化合物的制备和拉曼光谱表征[A].中国物理学会光散射专业委员会.第十六届全国光散射学术会议论文摘要集[C].中国物理学会光散射专业委员会:,2011:1.
[13]童菁.英汉礼貌用语对比研究[D].华中师范大学,应用语言学,2003,硕士.
[14]莫晓红.图尔敏论证模式研究[D].华南师范大学,逻辑学,2004,硕士.
[15]李倩.安徽省交通行政处罚裁量基准调研报告[D].安徽大学,法律,2012,硕士.
[16]李国家.轧辊生产企业合同转化的优化模型和求解算法[D].东北大学,系统工程,2011,硕士.
[17]朱文力.Wi-Fi接入控制器管理系统配置模块与前台开发框架设计[D].华东理工大学,软件工程,2013,硕士.
[18]叶荣华.宁波软土深基坑时空效应分析及安全评价研究[D].宁波大学,结构工程,2013,硕士.
[19]赵阳,林寅,余世策.大型低矮圆柱壳结构风荷载特性的风洞试验[J].浙江大学学报(工学版),2014,05:820-826.
[20]王峰.西南边疆山区交通网络与旅游空间结构演化关联机制及效应研究[D].华东师范大学,人文地理学,2014,博士.
[21]顾倩.大型火电再热机组性能计算模型研究[D].东南大学,2005.
[22]谭治.采用SOA架构的网络投诉处理综合支撑平台的设计与实现[D].湖南大学,软件工程,2011,硕士.
[23]高明.运用三焦理论辨治癃闭的临床研究[D].黑龙江中医药大学,中医内科学（专业学位）,2013,硕士.
[24]晏晖.YT担保公司竞争战略研究[D].北京交通大学,2013.
[25]仇月普.基于休闲文化的城市旅游品牌塑造研究[D].山西财经大学,旅游管理,2014,硕士.
[26]黄玉吉.褐飞虱体内Himetobi P病毒的组织定位及其生理功能的初步研究[D].云南农业大学,农业昆虫与害虫防治,2013,硕士.
[27]蓝朝阳.闽西农村返乡农民工社会关系重构研究[D].西北民族大学,社会学,2012,硕士.
[28]齐雪梅.出版品牌的美学品格[D].北京印刷学院,传播学,2004,硕士.
[29]张丽.基于IASLC/ATS/ERS国际多学科新分类的肺腺癌影像学及相关研究[D].北京协和医学院,影像医学与核医学（专业学位）,2014,博士.
[30]罗娴.“为澳大利亚而教”项目研究[D].西南大学,比较教育学,2013,硕士.
[31]庞雅婕.多环芳烃在垃圾填埋场孔隙介质中迁移规律的研究[D].中国地质科学院,地质工程,2013,硕士.
[32]李知忠.基于数据大集中模式的信用信息系统设计与实现[D].湖南大学,计算机应用技术,2010,硕士.
[33]何亚军.HTC-08型透层油研究及应用[D].长安大学,交通运输工程（专业学位）,2013,硕士.
[34]刘乐.传播学视域下校园电影研究[D].华中科技大学,广播电视传播学,2013,硕士.
[35]肖月琼.金属蛋白酶组织抑制因子-1对高基质金属蛋白酶-9大鼠模型心室重构的影响[D].广东药学院,内科学,2012,硕士.
[36]黄敏.网络团购影响因素分析及其盈利模式研究[D].宁波大学,工商管理,2013,硕士.
[37]朱正福.优化未成年人刑事司法制度 预防减少未成年人违法犯罪[D].华东政法学院,法律,2003,硕士.
[38]陈谞杰.内窥镜式视频搜救器的嵌入式系统设计与实现[D].大连理工大学,控制工程（专业学位）,2013,硕士.
[39]曹津平,刘建明,李祥珍.基于230MHz电力专用频谱的载波聚合技术[J].电力系统自动化,2013,12:63-68.
[40]李庆梅.古斯汉欣位移与开口谐振环在太赫兹波段的研究[D].首都师范大学,光学工程,2013,硕士.
[41]王翌.苏州地区经直肠超声引导下前列腺重复穿刺活检资料研究与分析[D].苏州大学,临床医学,2013,硕士.
[42]周畅,朱德森,陈绵云.典型模糊控制器的模糊规则函数与极限结构分析[J].控制与决策,2003,05:527-530.
[43]李力.基于微波多层电路的可重构滤波技术[D].中北大学,电磁场与微波技术,2013,硕士.
[44]江玲玲.网络舆论影响司法审判量刑的研究[D].江西财经大学,传播学,2013,硕士.
[45]马宝山.适用于SiC薄膜生长的RTCVD装置及工艺探索[D].西安理工大学,材料物理化学,2004,硕士.
[46]万绍文.论现代民商法中的均衡[D].江西财经大学,经济法,2004,硕士.
[47]朱丽青.浙江横店影视职业学院在线考试系统的设计与实现[D].电子科技大学,软件工程（专业学位）,2012,硕士.
[48]张玉.接受美学视角下小说英译之研究[D].苏州大学,外国语言学及应用语言学,2013,硕士.
[49]徐红梅.学生の作文誤用にっぃて[D].大连海事大学,外国语言学及应用语言学,2013,硕士.
[50]汤鹏.SDSSCs器件和氮掺杂炭气凝胶对电极的制备与性能研究[D].湘潭大学,2012.