覆盖状态内部分枝的测试向量生成

提出一种能兼顾状态内部分杜的状态覆盖方法．在状态内部分枝树的终端结点处添加状态转换语句，将原先的单个转换分成多个转换分枝；从而实现对原先的状态转换进行扩展，使得用传统的状态测试方法就能够覆盖到状态内部的分枝．为了准确描述该过程，文中给出了分枝扩展的形式化方法．在此基础上，给出一个测试向量生成算法：遍历状态转换有向图；依状态间转换条件生成测试向量；依遍历顺序收集测试向量．通过对ITC99-benchmark中时序电路的试验表明，本文方法是有效的．     

更改的判定条件覆盖测试技术研究

与语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、多重条件覆盖相比，路径覆盖具有更强的结构覆盖率。但其需要更庞大的测试用例，事实上它并不实用。近年来，一种相对新颖和优秀的结构覆盖准则一一更改的判定条件覆盖(MC/DC)应运而生，它继承了多重条件覆盖的优点，同时只是线性地增加了测试用例的数量。因此，在许多重要的软件，尤其是以嵌入式和实时性为特征的航空机载软件中得到广泛的应用．介绍了MC／DC的特点、设计方法、评估策略及工程应用。     

基于谓词的全路径覆盖软件测试方法研究

路径覆盖测试是基于白盒的软件测试中覆盖率最高的测试方法;为了实现复杂程序的全路径覆盖测试,提出了一种基于谓词的全路径覆盖软件测试方法;首先研究了谓词覆盖的基本理论,然后对移除谓词后的孤立链进行测试,根据集成测试的观点,将谓词和对应孤立链集成以实现全路径覆盖,同时在算法中加入基本路径覆盖以实现对程序主要路径的重点测试;应用结果表明,该方法实用、高效,具有一定的推广价值。     

两两组合覆盖测试数据自动生成集成工具的设计与实现

两两组合覆盖测试方法是一种科学有效的软件测试方法,相应的测试数据生成算法是人们研究的一个重点问题,本文在人们已有的研究基础上,结合我们在这个方面的研究成果,设计实现了一个两两组合覆盖测试数据自动生成工具,所产生的测试数据集与同类工具相比具有一定的特点和优势。     

FD集最优覆盖多项式时间求解算法的研究

本文在详细分析了ＦＤ集的最小覆盖和最优覆盖的结构特性基础上，提出并讨论了一个最小覆盖成为最优覆盖的条件及一个最优覆盖珠属性集构成的特点，相应的引理和定理。最后给出一个求ＦＤ集最优覆盖的多项式时间算法。     

结合静态分析的软件脆弱性测试方法

Fuzzing是一种有效的软件脆弱性动态测试方法,为了避免传统Fuzzing技术的盲目性所导致的测试效率低下的问题,提出了静态分析和遗传算法相结合来指导Fuzzing数据生成的方法,并设计实现了一个智能化的Fuzzing系统SFS(smartfuzzing system)。触发脆弱点的前提是覆盖脆弱性语句,该方法通过静态分析技术提取脆弱性语句,并用遗传算法指导测试用例对脆弱性语句进行覆盖,从而提高脆弱性语句的覆盖效率,避免Fuzzing的盲目性。     

LDRA Testbed中常用覆盖测试方法研究

使用LDRA Testbed对实例进行覆盖测试,介绍了获得语句覆盖率、分支覆盖率以及MC/DC覆盖率的方法,同时阐述了这3种覆盖测试方法的优劣,表明了LDRA Testbed能够有效获取被测软件的动态覆盖率信息,降低测试难度,提高测试效率。     

路径覆盖测试

随着软件的广泛应用及其规模和复杂度不断地提高,软件测试的方法也有许多。本文讨论了完全路径覆盖测试方法和基于控制流图的路径测试的改进方法。     

基于节点概率的路径覆盖测试数据进化生成

路径覆盖是软件测试领域重要的测试方法之一.为了提高路径覆盖测试效率,在采用遗传算法进化生成路径覆盖的测试数据过程中,利用被测程序条件语句的相关性判定不可达路径,除路径中必经节点外,其他节点在不可达路径中出现的概率越大,穿越该节点的个体就具有越高的穿越度,在进化过程中应得到保护.提出了根据个体的穿越度设计适应度函数方法,从而提高测试数据的生成效率.将所提方法应用于基准程序和工业用例,并与同类方法比较可知,该方法生成路径覆盖的测试数据具有较高的效率.     

不协调覆盖决策系统下属性约简的新的注记

讨论了不协调覆盖决策系统下属性约简的几点注记。给出不协调覆盖决策系统和条件限制熵的有关定义,提出了基于正域和基于限制条件信息熵的不协调覆盖决策系统的相关性质和定理,利用一个分辨矩阵设计了一种算法,它可以计算所有的不协调覆盖决策系统,并用实例验证此方法的有效性。     

基于多优化目标的软件测试用例约简方法研究

软件测试是软件工程的一个重要组成部分,其目标是能够及时发现软件中的错误,确保软件高质量。测试用例是软件测试的基础,覆盖度较高且精简的测试用例集可以提高测试效率和降低成本。软件测试覆盖标准较多,一个好的测试用例评价指标也存在多种,为了能够在约简测试用例集规模的同时获取较高的测试能力,本文提出了一种基于多优化目标的测试用例集约简算法,该算法旨在根据测试用例需求,构建多优化目标的测试用例模型,使用该模型获取一个最优解的测试用例子集,使用最小化用例集方法最小化测试用例,迭代执行直到测试用例集覆盖所有的测试需求,实验结果表明该算法可以约简测试用例集,获取较高的综合测试效果。     

基于程序执行状态图的软件测试方法研究

软件测试一直是保证软件质量的最主要的手段之一,多年来人们一直在寻找好的测试方法和测试策略。同时随着图形界面的日益流行,传统的测试方法变得难以适应测试的需要。文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序执行状态图的定义,以及相应的覆盖准则。最后,文章介绍了使用PESC逐步生成测试路径的方法。     

统计过程控制方法在软件测试过程分析中的应用

软件测试过程是软件生命周期过程的一个重要组成部分,测试工作的好坏对软件产品的整体质量有直接的影响。文章通过使用统计过程控制方法对一个典型软件测试过程的分析,指出了测试过程、开发过程和质量监控工具中存在的问题及其改进的方向。     

单元测试及测试工具的研究与应用

软件测试在软件生命周期中占据重要的地位,是软件产品交付用户使用之前保证软件质量的重要手段。在软件测试V模型中,测试阶段通常分为单元测试、集成测试、系统测试和验收测试。所谓好的开头是成功的一半,单元测试作为整个测试过程的第一阶段,自然占据看十分重要的地位。由于单元测试的高覆盖率要求,往往需要反复的运行诸多测试用例,这将增加大量的人力物力成本。如能正确熟练的使用单元测试工具,将极大地提高单元测试工作的效率和质量。但是,在软件测试课程中,对于单元测试的学习具有较大的难度。本文针对高职高专院校开设软件测试技术课程的现状,分析了单元测试的学习过程,并且针对目前流行的Java开发环境,选用Junit单元测试工具作为实例,介绍了Junit工具的使用方法和测试脚本的编写规范,并讨论了单元测试用例的设计方法,来全面的完成单元测试知识的教学。     

软件测试模型分析与研究

软件测试是确保软件质量的重要措施,而软件测试模型是指导软件测试的框架.对测试模型具备的要素及当前软件测试模型进行了介绍.并对测试模型的特征进行了分析和研究,阐述了各个模型的优缺点,并提出了迭代开发测试模型.     

软件测试的10个认识误区

随着计算机应用领域的不断扩大,软件产品已经渗透到人类生活的各个环节,软件开发组织越来越认识到软件质量的重要性。软件测试是软件工程中必不可少的一个环节,它作为发现软件中错误和缺陷的一种主要手段,已经引起了软件产品用户和软件开发人员越来越多的关注。但是人们对软件项目的测试工作常常存在一些认识上的误区。本文探讨并总结了这些认识上的误区。     

软件测试的10个认识误区

随着计算机应用领域的不断扩大。软件产品已经渗透到人类生活的各个环节，软件开发组织越来越认识到软件质量的重要性。软件测试是软件工程中必不可少的一个环节，它作为发现软件中错误和缺陷的一种主要手段，已经引起了软件产品用户和软件开发人员越来越多的关注，，但是人们对软件项目的测试工作常常存在一些认识上的误区。本文探讨并总结了这些认识上的误区。     

软件内建自测试及其面向对象模板的设计

论文提出了一种软件可测性设计技术———软件内建自测试及其实施方案,以期提高软件测试效率,改进软件产品质量。论文还重点讨论了方案中面向对象模板设计中的若干问题,并给出了设计实例。     

软件测试浅谈

随着软件的发展和国际化，随之而来的软件质量问题也日益热门，而保证软件质量的最根本方式就是软件测试。软件测试是由专门测试组进行的一个正式的过程，在该过程中通过在计算机上运行程序考察一个软件单元、若干被集成的软件单元或整个软件包。所有相关联的测试是根据经批准的测试规程在经批准的测试用例上进行的。本文从软件测试人员、方法、工具等方面对软件测试进行全面的介绍。     

软件测试浅谈

随着软件的发展和国际化,随之而来的软件质量问题也日益热门,而保证软件质量的最根本方式就是软件测试。软件测试是由专门测试组进行的一个正式的过程,在该过程中通过在计算机上运行程序考察一个软件单元、若干被集成的软件单元或整个软件包。所有相关联的测试是根据经批准的测试规程在经批准的测试用例上进行的。本文从软件测试人员、方法、工具等方面对软件测试进行全面的介绍。