覆盖测试中的路径选择策略的研究

来源 :北京邮电大学 | 被引量 : 1次 | 上传用户:hfzwl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着现代科技的日新月异,各项依附的软件程序也越来越复杂,这就意味着在软件中会有越来越多潜伏的问题,所以软件测试在整个软件开发周期中的重要性日趋明显。而软件测试的自动化可以帮助软件工程师们从繁重而枯燥的测试工作中解脱出来,所以它具有巨大的发展前途。本文中所述的软件测试过程,主要过程包括代码分析,控制流图生成,测试路径生成和测试用例生成四个部分,在整个测试过程中,测试路径的生成起着承上启下的作用,对于测试用例生成的准确度有直接的影响,进而影响覆盖测试的结果。本文首先会介绍目前自动化测试的研究现状,以及比较流行的自动化测试软件,然后会深入介绍覆盖测试,自动化测试中的基本路径选择策略和带循环结构的路径选择策略。本文主要提出了基于目标覆盖元素的基本路径选择方法,其中包括初始路径选择,路径的可达性检测和路径重选三个方面。此外,本文还提出一种循环路径选择策略,该策略主要是基于基本路径选择的结果,再根据目标覆盖元素、不可达节点以及循环结构三者之间的相对位置,来进行循环结构中路径选择的工作。文章最后会给出部分开源工程的路径选择的测试结果,并对测试结果进行分析。
其他文献
在交互式的程序验证中,人们希望自动化地获得一些信息来提高证明效率。数据流分析是一类典型的静态程序分析方法。将这些分析方法应用到代码验证中是一个很好的选择。但是现
连锁经营是一种先进的经营方式和组织形式,完善的管理信息系统(MIS)有助于连锁企业的经营管理。为了快速开发出高质量的MIS,软件复用是必由之路。面向对象方法和软件构件技术都能
该论文论述了《绩效测试暨金融动态监管系统MeasuringPerformance&SupervisingFinance(MP&SF)》的设计与实现,首先研究了目前银行监管的现状,分析了中国目前银行监管中存在的
信息技术外包(Information Technology Outsourcing,ITO)是一种在软件产 业蓬勃兴起的跨组织的软件开发服务和合作过程。软件开发外包是ITO中最 重要的一部分。外包最早出现在
该文从研究MPI的P4实现和CRR技术出发,分析了在MPI上为达到检查点设置和卷回恢复的正确性和高效性所应该采用的各项技术.在此基础上设计并实现了基于MPICH的P4实现的检查点设
该论文针对清华智能移动机器人THMR-V面向高速公路视觉导航任务中的车道检测问题进行了比较系统的研究,主要完成了以下几个方面的工作;1、研究了视觉导航及视觉处理的基于方
随着信息技术和网络的快速发展,越来越多的信息被存储并在网络上发布,这使得信息共享变得更加简单、方便。数据发布作为一种资源共享手段,为数据交换和信息共享提供便利的同时,也
随着信息技术,尤其是互联网的高速发展,我们面临着越来越大规模数据量所带来的挑战。这些数据不仅是简单的文本数据,更多的是一些如图像、视频等多媒体数据。要实时处理这些
该文介绍了我们开发的一个多媒体支持协同软件开发工具集.我们首先介绍了该工具集的设计思想,然后介绍了其实现技术,包括通信基础工具包、会话管理工具包、对象协同工具包、
该文主要介绍了宽带IP以太网接入系统的结构和功能,并对其中心交换机中的快速以太网交换模块做了详细地介绍,提出了一种采用GT-48310芯片来实现交换功能的设计方案并加以实现