一种基于动态依赖关系的类集成测试方法

类间集成测试是面向对象软件测试的重要组成部分,合适的测试顺序能够极大地节省测试成本.类间依赖关系构成环路的情况下,需要删除某些依赖关系以消除环路,同时需要引进测试桩.忽略类间动态依赖关系导致测试桩的数目不足,难以完成测试.文中提出一种基于动态依赖关系的类集成测试方法.首先分析了类之间的静态依赖和动态依赖关系;然后在保证...     

一种类间测试顺序改进算法

确定类的测试顺序是面向对象程序测试中的关键步骤。描述对象关系图模型,提出一种基于对象关系图的类间集成测试顺序改进算法,与Tai和Traon等人提出的算法相比,该算法需要的测试桩较少、效率较高。在Redflag4系统下用Kylix3(C++)对算法进行实现。理论分析和初步实验证明了该算法的可行性和有效性。     

基于中介中心性的类重要性度量的研究

为了合理分配测试资源,降低测试成本,提高软件质量,在目前软件可测试性和中介中心性研究的基础上,提出了将中介中心性和由UML类图转化而来的类依赖关系图(CDG图)结合起来,度量和分析类之间依赖结构的类重要性,以此来指导软件的测试活动。最后通过实例运行结果表明,该方法可以指导测试资源的分配,提高软件可测试性,保证软件质量,从而降低整个软件测试的成本。     

基于扩展ORD图的类间集成测试顺序改进算法

在UML类图的基础上,将传统对象关系图(ORD)模型进行了扩展,并对它们进行了形式化的定义.提出了一种基于扩展ORD图的类间集成测试顺序改进算法,通过递归调用改进的Kosaraj鉴别强连通分量的算法来确定SCCs.本算法与Tai和Traon的两种算法比较,需要的测试桩最少,效率最高.理论分析和初步的实验证明这种方法是可行和有效的.     

一种包含异常传播的类间数据依赖分析方法

类间数据依赖分析是类间数据流测试的基础。本文通过分析类簇级测试中的异常传播对程序数据依赖的影响,提出一种包括异常结构在内的类间C++程序数据依赖分析方法,根据类间关系增量式地构造类间数据依赖图,并给出类间数据依赖图的构造算法。最后,在程序切片中应用了该数据依赖分析方法。结果证明,该方法通过分析异常传播对数据依赖的影响能够带来切片精度的提高。     

面向对象程序中对象关系的描述方法

对象关系图是一种描述对象关系的工具,在分析对象关系图的优缺点的基础上,提出了一种构建带权的对象关系图的方法,并把这种描述方法运用到确定类簇中的类问测试顺序上.该带权对象关系图克服了原来对象关系图中描述类间关系过于简单,尤其是反映关联关系的强弱不明显等主要缺点.     

一种基于耦合度量的类间集成测试序的确定方法

类间测试顺序的确定是类集成测试中难以解决的一个关键问题.类的测试序列不同,构造相应的测试桩需要花费的代价也会不同.每一个测试桩复杂度度量的准确性决定最终打破环路所需构造测试桩的总体复杂度.对于类间测试顺序问题,文章提出一种基于耦合度量的类间集成测试序的确定方法.采用类间耦合度量与基于图的启发式算法相结合的方法,其中,前...     

面向对象类簇级测试中控制依赖分析方法研究

类簇控制依赖信息是进行类间数据流测试的基础。本文通过克服已有类控制流分析的不足之处,提出了CCFG算法,依照类间测试序,通过分析继承、聚集和关联等类间关系特 征进而增量式地构造类间控制流图（ICCFG算法）,并初步探讨了动态控制依赖分析方法。实验表明,上述控制流分析方法可方便地用于类间数据流测试,并能有效地探测定义一使用错误。     

一种基于UML的集成测试线索的生成方法

本文在总结生成集成测试线索研究现状的基础上提出了一种有效解决组合爆炸并且生成测试线索少的集成测试线索生成方法,并根据此方法实现了一个集成测试线索生成工具.该方法根据被测系统集成测试线索具有层次的特点,首先利用例间顺序依赖关系活动图(UCSDAD)提取系统用例间的测试线索,然后通过描述用例交互信息的协作图得到系统中每个用例的测试线索,最后将得到的系统用例间测试线索中的用例替换为相应的用例测试线索,从而可以生成系统集成测试线索.     

一种面向对象类间关系测试方法

面向对象软件的一个突出特点就是存在于类间的复杂依赖关系:继承、聚合和关联。提出了一种测试类间关系的方法,自动从UML图或源代码中导出类间的三种关系,并给出了相应的类间关系图和各个类的测试次序的类簇测试算法。该算法导出的类间关系可用于类间的静态和动态依赖关系测试。     

基于全局支配图算法的覆盖测试方法

目前的覆盖测试存在着大量的冗余测试用例,严重影响测试的效率。基于此,介绍一种基于全局支配图算法的覆盖测试工具,通过在局部支配图中加入辅助循环树算法及寻找临近节点,提出一种全局支配图改进算法,利用该算法能够计算出覆盖源程序的最小测试用例集。实验结果表明,该算法能够减少覆盖分析时间,生成较少的测试用例和达到较高的覆盖率。     

基于图分析的测试用例集优化

根据被测系统接口参数之间的关系,研究接口参数集与二部图之间的联系,提出接口参数集的相关定义、分类和性质并证明这些性质。在此基础上提出一种基于图的测试用例集优化算法,用于约简和优化测试用例集。实例分析表明该方法能够在保持测试用例覆盖率不减的情况下,较大地减小被测系统的测试用例集规模,提高测试效率。     

基于知识图谱的雷达软件测试用例复用研究

为了更加充分地利用雷达软件测试用例与其他测试知识的关系,进一步优化雷达软件测试用例复用效果,提出了一种基于知识图谱的雷达软件测试用例复用方法.该方法依据雷达软件测试本体关系模型,从现有的雷达软件测试管理系统中抽取测试知识构建雷达软件测试知识图谱,以实体特征属性文本的语义相似度匹配为基础,结合知识推荐和协同过滤推荐技术建立雷达软件测试用例复用推荐模型,并使用该模型开展测试用例复用设计和探索性测试会话生成.项目实践表明,该方法充分发挥了知识图谱在关系检索应用和图形化结果展现上的优势,具有较好的精确率和召回率,能够大幅节约软件测试时间成本,具有较强的工程应用价值.     

单元测试自动化工具的研究与实现

软件测试的自动化技术是软件测试技术研究的重点问题,对于提高软件测试的客观性和效率有着非常重要的意义.实现了一个可以自动生成、执行测试用例的工具,该工具针对软件测试过程中的单元测试,以容易发生异常例外的条件语句为中心,对其进行覆盖检查,实现了单元测试的自动化.     

基于UIO的协议一致性测试序列生成方法研究

测试序列的生成是协议一致性测试中重要的研究领域,怎样使生成的测试序列既具有较强的检错能力又具有较广的差错覆盖范围成为许多科研人员研究的重点。文章在介绍了有限状态机族型和唯一输入／输出序列后,对基于UIO的测试序列生成方法进行了分析,然后对该方法进行了优化研究。使用优化后的算法可以缩短测试序列的长度,提高了测试效率和差错...     

考虑热点及热量分布系统级芯片的测试规划

在Soc的测试规划时，考虑为避免在测试过程中出现热点以及测试过程中使热量均匀分布，基于建立的问题模型得到一系列的并行测试集合，再通过Bin-Packing算法构造测试规划，并进行全局的优化．对ITC＇02测试用例的实验结果表明，该方法在牺牲一定的测试时间的情况下，有效地控制了在测试时芯片温度的升高，从而避免出现由热量引起的一系列问题．     

基于页面对象的Web应用测试用例生成方法

针对Web应用测试用例生成过程中导航图规模过大以及存在冗余测试路径的问题,提出了一种基于Selenium页面对象设计模式和图遍历算法的Web应用测试用例生成方法。首先,通过将原始页面对象进行分类,以导航页面对象类为节点、导航方法为迁移边构建页面对象导航图;其次,结合图的最短路径算法提出了一种页面对象图算法（POGA）来遍历导航图以生成测试路径集;最后,提取测试路径,利用Faker生成模拟数据,进一步生成可以直接执行的测试用例。实验结果表明：与爬取Web应用生成导航图的规模相比,该方法约简率约为89%;与基于状态迁移生成Web应用测试用例的方法相比,该方法减小了冗余和不可行路径的数量,并进一步提高了页面对象的复用率和测试用例的可维护性。     

面向Web服务测试的单线执行序列生成方法

测试用例自动生成是实现Web服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测试结果的正确性,但第三方Web服务并不支持这些操作,无法将测试用例转换成可执行操作序列。一种可行的解决方案是将测试用例转换成只包含一个被测服务实例、不包括实例初始化、只对实例进行状态修改和检查的线性执行序列。改进已有工作,提出包含逆项的测试执行图TEG-I来描述测试用例执行过程中的状态变化,设计TEG-I构造算法和单线执行序列生成算法并实现相应原型工具。实验结果表明,提出的方法能够有效地自动完成测试用例生成,提高Web服务的可测试性。     

基于运行剖面的测试用例自动生成方法

软件测试是保证软件质量的有效方法,但测试工作过程繁琐,工作量较多,所以探索高效快捷的测试用例生成方法一直是大家追求的目标,随着软件规模的日益增大,这种要求也变得更加迫切;软件运行剖面提供了软件运行的流程及各流程发生的概率,在软件测试的各个阶段对测试用例的生成均具有指导意义;在某嵌入式系统的软件确认测试阶段,剖析运行剖面提供的相关信息,结合生物进化遗传算法,由原始测试用例经过几代的遗传和进化之后,生成符合运行路径覆盖范围及深度要求的测试用例。     

A simple recognition of maximal planar graphs

In this paper, we consider the problem of determining whether a given graph is a maximal planar graph or not. We show that a simple linear time algorithm can be designed based on canonical orderings. Our algorithm needs no sophisticated data structure and is significantly easy to implement compared with the existing planarity testing algorithms.