分享到:

面向安全需求的测试用例自动生成技术研究

传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全  (本文共4页) 阅读全文>>

湖南大学
湖南大学

软件测试用例自动生成技术研究

软件测试的工作量很大,据统计,测试时间会占到总开发时间的40%,一些可靠性要求非常高的软件,测试时间甚至占到开发周期的60%。由于测试的许多过程是重复性的,因此一些软件测试工作可以应用自动化方法来实现。近年来,虽然软件测试自动化技术与方法有了很大的发展,但还远没有成熟,现有的测试用例自动生成技术还无法满足当前软件测试的实际需要。为此,本文研究软件测试用例自动生成技术,对于解决目前测试现状有着重要的理论意义和实用价值。本文首先综述了目前国内外在软件测试用例自动生成技术方面所做的工作,并基于已有的一些研究成果,对软件测试用例自动生成技术进行了深入研究。主要包括以下五个方面的研究内容:基于EDPN模型的测试用例自动生成研究、基于扩展EDPN模型的测试用例自动生成研究、基于程序执行和回溯策略的路径分析与测试研究、基于选择性冗余的路径分析与测试研究、基于组合匹配的测试数据自动生成研究。论文主要工作如下:1.基于EDPN模型的测试用例自动生...  (本文共121页) 本文目录 | 阅读全文>>

哈尔滨工程大学
哈尔滨工程大学

水下机器人软件可靠性测试方法研究

随着水下机器人软件的广泛应用,其可靠性问题已经成为研究人员关注的焦点。由于水下机器人软件的特殊性,现有软件可靠性测试模型无法适用于其可靠性测试。因此研究水下机器人软件的可靠性测试方法已成为水下机器人技术发展的重要课题。针对水下机器人的软件可靠性测试的特点,本文研究并实现了一种为运行剖面分配测试用例的算法和一种考虑测试覆盖的二维软件可靠性增长模型,并在以下几个方面进行了深入研究:1)设计并实现了基于遗传算法的分支覆盖测试用例自动生成和基于随机法的测试用例自动生成。通过多组试验验证了对同一个程序来说,与随机法相比,利用遗传算法生成测试用例的运行代数更少,成功产生测试用例的几率更大。2)为了保证软件可靠性评估的准确性,对水下机器人软件进行了静态测试和动态测试。采用构造运行剖面的方法对水下机器人软件进行可靠性测试,设计了一个为运行剖面分配测试用例的算法,该算法可以保证所有的运行都被分配到测试用例且不增加测试用例总数。3)考虑到测试覆盖率...  (本文共74页) 本文目录 | 阅读全文>>

太原理工大学
太原理工大学

面向对象软件类测试用例自动生成研究及应用

面向对象软件测试是面向对象软件开发过程中极其重要的一环,是保证软件质量、提高软件可靠性的关键。随着面向对象软件开发技术的快速发展,面向对象的特征使得传统的软件测试技术已不能满足需要,因而面向对象软件测试技术的研究与应用已成为当务之急。面向对象的软件测试分为四级:方法级测试、类级测试、类簇级测试和系统级测试。其中,类级测试是测试面向对象软件的关键。而测试用例的选择又是进行测试的一个难题,测试用例合适与否直接关系到错误能否被预期测出。对于测试用例自动化生成方法,目前虽然有一些方法被提出并使用,但由于其局限性,在实际中还没有完善的解决方法,只能凭借工程经验判断。论文在对测试用例自动生成技术文献综述的基础上,提出了一种面向对象类测试用例自动生成的方法,并以此方法成功的开发了类测试用例自动生成系统。本文具体分析了测试用例自动生成方法、类测试用例设计方法和类级测试策略,讨论了类测试用例的组成部分:测试序列和测试数据,提出了基于UML状态图的...  (本文共72页) 本文目录 | 阅读全文>>

中国科学院研究生院(长春光学精密机械与物理研究所)
中国科学院研究生院(长春光学精密机械与物理研究所)

航天相机主控软件测试用例自动生成技术的研究

软件测试自动化是软件测试发展的必然趋势。目前自动化测试技术的发展非常迅速,出现了很多成熟的自动化测试工具。然而,现有的自动测试技术大多是针对测试执行、结果捕获与分析、结果验证和报告等方面的,针对测试用例自动生成的还很少。测试用例生成作为自动测试的一个不可或缺的组成部分,其非自动化会阻碍软件测试自动化的发展,因此开展测试用例自动生成方法的研究具有一定的理论和实践意义。随着航天领域的发展,航天相机的研制越来越受到各国的普遍重视。航天相机主控软件是航天相机系统的重要组成部分,其可靠性和安全性都具有很高的要求。满足这种高质量软件要求的一个重要途径是进行软件测试。软件测试分为手工测试和自动化测试。自动化测试不仅可以提高软件测试的效率还能够减少测试过程中人为因素的干扰,提高测试的准确性。本文以航天相机主控软件为背景,研究软件测试用例自动生成技术。目前测试用例自动生成技术中所采用的方法有多种,基于人工智能的方法是其中较为突出、性能较好的一种方...  (本文共104页) 本文目录 | 阅读全文>>

杭州电子科技大学
杭州电子科技大学

嵌入式软件缺陷检测的测试用例生成与排序研究

嵌入式软件缺陷检测是软件缺陷检测领域一个十分重要的研究课题。和传统的软件缺陷检测技术相比,嵌入式软件缺陷检测不仅要考虑和运用传统软件检测方法,而且还需兼顾有关实时性和相关硬件等问题,应对嵌入式软件高可靠性的要求等。针对嵌入式软件的缺陷检测技术近年来在学术界和工业界得到了广泛的研究和应用。作为驱动软件测试和缺陷检测的关键因素,测试用例的自动生成技术和优先排序技术一直是研究热点,目前市场上该类型工具大多针对PC机平台,且需要源码支持,而面向嵌入式二进制软件的技术相对不够成熟。本文对应用于面向二进制嵌入式软件缺陷检测系统中的测试用例生成与测试用例排序技术进行了具体的研究,通过测试用例生成和排序技术得到用于嵌入式软件缺陷检测的测试用例有序集,然后有序的依次采用测试用例对软件进行动态缺陷检测,实现对嵌入式软件进行缺陷检测的目的。本论文的研究工作主要包括以下四个方面:1、研究了常用的软件缺陷检测检测技术、嵌入式软件缺陷检测技术以及嵌入式软件...  (本文共65页) 本文目录 | 阅读全文>>