基于模型检测的类测试自动生成技术研究

搜索高级搜索

原创毕业论文

基于模型检测的类测试自动生成技术研究

作者: 浏览:7次

免费专业论文
政治工作论文
计算机论文
营销专业论文
工程管理论文范文
医药医学论文范文
法律论文范文
生物专业论文
物理教学论文范文
人力资源论文范文
化学教学论文范文
电子专业论文范文
历史专业论文
电气工程论文
社会学专业论文
英语专业论文
行政管理论文范文
语文专业论文
电子商务论文范文
焊工钳工技师论文
社科文学论文
教育论文范文
数学论文范文
物流论文范文
建筑专业论文
食品专业论文
财务管理论文范文
工商管理论文范文
会计专业论文范文
专业论文格式
化工材料专业论文
英语教学专业论文
电子通信论文范文
旅游管理论文范文
环境科学专业论文
经济论文
人力资源论文范文
营销专业论文范文
财务管理论文范文
物流论文范文
财务会计论文范文
数学教育论文范文
数学与应用数学论文
电子商务论文范文
法律专业论文范文
工商管理论文范文
汉语言文学论文
计算机专业论文
教育管理论文范文
现代教育技术论文
小学教育论文范文
机械模具专业论文
报告,总结,申请书
心理学论文范文
学前教育论文范文

收费计算机专业论文范文

收费计算机专业论文
Delphi
ASP
VB
JSP
ASP.NET
VB.NET
java
VC
pb
VS
dreamweaver
c#.net
vf
VC++
计算机论文

毕业论文范文题目：基于模型检测的类测试自动生成技术研究，论文范文关键词：基于模型检测的类测试自动生成技术研究
基于模型检测的类测试自动生成技术研究毕业论文范文介绍开始：
【论文摘要】：高可信软件技术是软件理论研究和工程实践领域关注的焦点之一。近年来，越来越多的形式化方法被应用于提高软件质量的研究上。软件测试是保证软件产品可靠性和正确性的有效手段之一，而模型检测是一种确保设计规范正确性的形式化自动验证技术。研究发现，模型检测中生成的反例可有效应用于测试用例的生成，显著减少测试代价，提高软件质量。本文主要研究基于模型检测的类测试自动生成技术。本文分别采用数据流测试和变异测试的方法，（略..）并结合模型检测器JavaPathFinder(JPF)，将测试生成问题简化成模型检测中寻找反例的问题，提出了两种面向对象软件测试用例自动生成的方法。首先采用数据流测试的方法，通过设置陷阱性质，用时序逻辑公式表示数据流测试的覆盖准则，提出一种自动生成测试用例的方法，并在JPF上实现。该方法满足数据流覆盖准则，适用于Java类内方法间调用序列的测试。算法分析与实验结果表明，通过设置适当的搜索深度，本文提出（本文此处忽略..）的算法使得类数据流测试的覆盖率提高了8％，并能发现隐藏在程序当中的错误；通过本文提出的方法调用选择原则，可显著减少生成调用序列的长度；与JPF的DFS算法相比，本文提出的算法减少了搜索过程中产生的冗余状态，并及时进行了回退，在内存消耗基本相同的情况下本文算法生成的新状态数减少了65％，回退次数减少了90％，处理的状态数减少了88％，算法的执行时间也减少了28％，有效减少了测试生成的代价。此外，基于变异测试的思想，采（略..）用类复制的方法，应用JPF来保证软件执行过程中产生的错误在输出结果中可见，自动生成满足变异覆盖准则的测试用例，适用于类之间方法调用的测试，从而实现了Java类之间的测试用例自动生成。算法分析与实验结果表明，针对TreeMap类的测试用例生成实验，本文提出的方法覆盖了其中主要的面向对象特性，且生成的变异数多达211个，而反例数仅26个就覆盖了100％的有效变异，显著减少了测试生成的代价；与Visser提出的模型检测（略..）器JPF上的符号执行方法相比，在对TreeMap类中的deleteEntry、fixAfterDeletion和fixAfterInsertion三个方法进行测试用例生成的实验中，本文提出的方法有效覆盖率达到了100％，覆盖率提高了约15％，且本文提出的方法不依赖于程序结构的设计，并能保证程序执行过程中出现的错误在输出结果中表现出来，以发现隐藏的错误。

以上为本篇毕业论文范文基于模型检测的类测试自动生成技术研究的介绍部分。

本论文在计算机论文栏目，由论文网(www.zjwd.net)整理,更多论文,请点论文范文查找

相关论文

收费专业论文
汉语言文学论文
物理学论文
自动化专业论文
测控技术专业论文
历史学专业论文
机械模具专业论文
金融专业论文
电子通信专业论文
材料科学专业论文
英语专业论文
会计专业论文
行政管理专业论文
财务管理专业论文
电子商务国贸专业
法律专业论文
教育技术学专业论文
物流专业论文
人力资源专业论文
生物工程专业论文
市场营销专业论文
土木工程专业论文
化学工程专业论文
文化产业管理论文
工商管理专业论文
护理专业论文
数学教育专业论文
数学与应用数学专业
心理学专业论文
信息管理专业论文
工程管理专业论文
工业工程专业论文
制药工程专业论文
电子机电信息论文
现代教育技术专业
新闻专业论文
艺术设计专业论文
采矿专业论文
环境工程专业论文
西班牙语专业论文
热能与动力设计论文
工程力学专业论文
酒店管理专业论文
安全管理专业论文
交通工程专业论文
体育教育专业论文
教育管理专业论文
日语专业论文
德语专业论文
理工科专业论文
轻化工程专业论文
社会工作专业论文
乡镇企业管理
给水排水专业
服装设计专业论文
电视制片管理专业
旅游管理专业论文
物业管理专业论文
信息管理专业论文
包装工程专业论文
印刷工程专业论文
动画专业论文
环境艺术专业论文
信息计算科学专业
物流专业论文范文
人力资源论文范文
营销专业论文范文
工商管理论文范文
汉语言文学论文范文
法律专业论文范文
教育管理论文范文
小学教育论文范文
学前教育论文范文
财务会计论文范文

电子商务论文范文

上一篇：基于信息融合技术的电弧炉终点预..

下一篇：EGO配置服务管理系统设计与实现