基于二叉树满足MC/DC测试用例设计方法

软件测试是保证软件质量的有效方法,但测试工作过程繁琐,工作量较多。探索高效、可靠的测试用例设计方法一直是大家追求的目标,随着航空航天产品逻辑复杂性的提高及软件规模的日益增大,这种要求也变得更加迫切。依据MC/DC设计的测试用例既提高了测试用例设计的效率又增加了测试覆盖率,比较适合测试逻辑关系相对复杂的软件。当前的很多软件测试工具提供了软件测试覆盖率的判定功能,可以评定设计出的测试用例是否满足MC/DC的要求,而软件测试人员需要的是逆向的过程,论文提出应用唯一原因法和屏蔽法原理设计测试用例,可达到根据逻辑关系自动生成满足MC/DC要求测试用例的目的,提高了测试用例设计的效率。     

软件测试之我见

随着大量编程语言、操作系统以及硬件平台的涌现,软件测试变得越来越困难,但随之产生了很多简单易用的软件测试工具。软件测试通常以测试用例为基础展开。测试用例设计的优劣决定了软件测试工作的效率。测试用例是测试计划阶段设计的多组测试数据,主要包括用例编号、用例数据,预期结果等。根据测试用例的不同设计方法,软件测试可以分成白盒测试、黑盒测试和灰盒测试。完整的软件测试过程是评估软件质量的一个参考标准。     

Evosuite和Randoop单元测试用例生成工具覆盖率对比分析

在软件测试中,测试用例对被测软件的覆盖率,是发现软件缺陷的重要前提之一.本文采用软件工程实验方法,基于Defects4J数据集,对Evosuite和Randoop工具在不同的生成时间限制下,生成的测试用例对程序模块的覆盖率,程序分支的覆盖率等进行实验分析,发现当生成时间超过20 s时,虽然Randoop生成的测试用例多于Evosuite,但Evosuite测试用例的覆盖率明显优于Randoop.本文同时对影响覆盖率的因素进行了分析.该研究对于如何使用这两种工具生成高覆盖率的测试用例,以及对工具的改进具有参考价值.     

基于模型的有效测试用例设计——工作流系统测试实战

有效的测试用例是软件测试成功的关键,有助于提高测试效率和测试覆盖率。为了设计出有效的测试用例,测试设计者不仅要有丰富的测试经验、完备的业务知识、还应具备软件测试分析设计的能力,上述三点均是根据测试目标选择合适的测试设计模型的必要条件。本文将结合笔者实际工作中一个工     

一种基于正交表的功能组合测试设计方法

软件测试在目前的软件开发过程中的地位日益重要。特别是目前的软件功能愈来愈多,必须保证各功能组合之间不产生冲突。如果以无条件地测试所有功能组合,则测试项目数会呈指数级增长而使得实际测试不可能。为了抑制这种组合的发散,利用正交表来设计测试是一种有效的方法。本文阐述了一种基于正交表的功能组合测试设计方法和应用,并开发了相应的测试用例生成工具,基于正交表原理,对测试对象程序的各功能项进行组合,确保用较少的测试用例达到较大的测试覆盖率。实验表明,与传统手工测试用例设计方法相比,利用该方法生成的测试用例覆盖率提高2倍,Bug发现率增加3倍,测试用例设计工时压缩为1/6。     

面向对象软件的测试方法研究

面向对象软件测试是保证面向对象软件开发项目质量的重要手段,而测试用例设计是实施面向对象软件测试的重要方面。从软件测试的技术出发,讨论了软件测试的技术特点,如何选择合适的测试方法,如何进行测试用例设计与工具选择,结合项目说明了测试实施和阶段划分。该领域的测试理论和技术还待完善,最终目的是克服软件测试的局限性,提高软件质量。     

基于MBD模型自动生成测试用例的软件测试方法

在安全关键软件领域应用基于模型的开发技术时,存在着软件测试充分性的问题。提出了一种基于MBD模型自动生成测试用例、对航空发动机控制软件进行测试的新方法。通过使用MathWorks提供的自动生成测试用例工具箱(SLDV),基于FADEC控制软件的Simulink模型,自动生成满足控制软件模型MC/DC覆盖率100%的测试用例,并在Cppunit测试框架下执行测试用例;通过对比模型输出和测试输出来发现被测对象的问题,确保软件代码与模型的一致性。项目实践表明,该测试方法是软件集成测试的有益补充,提升了软件测试的充分性。     

测试成本约束下的测试用例选择寻优

在软件测试实践中,由于受到测试投入时间、投入资金和人力成本的约束,软件测试不可能以无限制投入来获取理想的软件质量。针对测试成本约束下条件下在测试用例集中如何选择测试用例以获取最优软件测试覆盖这样一个具有理论价值和现实意义的问题,提出了综合考虑测试成本、测试用例权重和测试用例相距度三要素的测试用例选择寻优新思路,给出了测试成本约束下测试用例选择寻优问题的形式化描述,提出了基于遗传算法和测试成本约束的测试用例选择寻优算法的两种基本算法,即测试用例权重优先的测试用例选择寻优算法以及集群测试用例优先的测试用例选择寻优算法,并以一个模拟测试用例集合对算法有效性进行了检验,实验结果表明两种测试用例选择寻优算法在测试覆盖效果上均显著优于随机选择算法。     

随机测试中测试数据的编码方案

1 引言软件测试过程中,测试用例的生成是软件测试的关键。目前,测试用例的生成主要靠手工完成,因此测试效率低下,软件成本居高不下。为此,迫切需要开发一些测试用例的自动生成工具,提高软件测试效率,降低软件成本,保证软件质量,提高软件测试的自动化程度。随机测试是对软件进行操作性测试,即测试用例是从程序的输入域中随机选择,让错误自己暴露出来。在某些情况下,随机测试技术比启发式测试技术效果要好得多。所以在软件测试中占据着重要地位。但是,目前国内外对随机测试数据自动生成的研究非常不成熟,尚无一套完整的方案解决此     

基于UML的移动终端软件自动化测试用例建模

以移动终端软件测试为例,依据统一建模语言(Unified Modeling Language,UML),利用建模工具和UML模型图,给出了一种生成测试用例的方法。该方法能直观地创建自动化测试用例方案模型,尽可能多地生成测试用例场景,从而加大了测试用例的隐含故障覆盖率,并能为移动终端的自动化测试工具提供有效的配置参数。     

面向路径的测试数据自动生成工具的设计

设计了一个通用的基于控制流和数据流的结构测试数据自动生成的工具。该工具根据控制流和数据流测试中所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。同时工具采用Fibonacci法优化选取路径,对不可达路径进行处理,并对测试数据的分支覆盖率、DCP覆盖率等进行了统计。实验结果表明该工具是可行的。     

航天嵌入式软件测试用例典型设计缺陷研究

作为动态测试充分性的基本评价指标,覆盖率分析只能帮助修正因输入不足而导致的测试用例设计缺陷。针对航天嵌入式软件测试过程中不影响覆盖率统计结果的用例设计缺陷,从测试步骤和预期结果两大测试用例核心要素开展研究,提出十个典型缺陷,分别予以分析,并进行缺陷修正。工程实践证明,这些缺陷的发生率高,具有典型性;修正这些缺陷后,可以有效检出软件设计缺陷;与用例执行后的覆盖率统计数据分析相结合,可以有效提高测试充分性。     

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

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

用于GUI软件的测试工具

为提高GUI软件测试的效率、降低软件成本,提出一种针对GUI软件的测试工具.该工具由测试配置设定模块、测试用例设计模块和测试用例执行模块组成.首先根据测试需求进行测试配置设定生成INI文件,然后根据INI文件内容将测试对象窗体中需要测试的控件及属性设定到测试用例设计界面中,在界面中进行测试用例设计,并将设计数据保存到XML文件中,测试用例执行模块通过读取XML文件中的数据完成测试用例的自动执行,同时进行测试结果判断,最后生成测试报告.测试人员只需输入数据,不用编写测试脚就能实现测试用例的自动执行,能减轻测试人员负担,提高软件测试效率.     

O_OCTT设计中面向对象方法的研究

针对面向对象语言编译器测试工具(O_OCTT)顶层设计的方法进行研究。O_OCTT的主要功能是测试用例的生成,由于当前的O_OCTT不具有可移植性和可复用性,增加了O_O编译器的开发成本。论文基于构件组装技术,提出了采用O_O方法解决O_OCTT自动生成测试用例的软件复用问题,描述了测试用例的覆盖准则,并重点讨论了采用O_O技术的测试用例构件化,以及使用状态机动态地进行构件组装完成测试用例的自动生成。     

基于ARINC429接口板的嵌入式底层软件测试平台设计

为满足底层软件的使用需求及减少其存在覆盖率低、消耗成本大、丢包率高、数据采集频率小等问题,提出并设计了基于ARINC429接口板的嵌入式底层软件测试平台。根据ARINC429接口板的结构框图能够设计出嵌入式底层软件测试平台,针对用户安全登录问题,设计了平台登录验证功能;通过对嵌入式底层软件运行信息显示,能够实时对软件运行状态进行监测,进而为数据采集与查询提供支持;设计工具链作为代码编译开发和结构测试工具;通过数据采集、处理、传输来完善软件测试平台的覆盖率。通过实验对比分析可知,该测试平台能够提高测试覆盖率,降低丢包率,促使数据采集频率大大增强,为软件测试平台的安全有效运行提供了保障。     

基于Tornado的嵌入式软件单元测试

根据嵌入式软件特点,提出一种基于Tornado开发环境的嵌入式软件单元测试方法.该测试方法使用Testbed/Tbrun自动测试工具,借助Tbconfig辅助工具完成Tornado环境下的测试配置,保持测试环境和开发环境的一致性;使用黑/白盒结合的隔离单元测试技术提高测试用例设计质量,快速达到结构覆盖率要求;定制测试报告模板,使用TbrunReporter完成测试报告自动生成.该测试方法使测试工作的重心转移到测试用例的设计和执行上,减少代码移植和手动测试报告生成等冗余工作量,极大提高测试效率和测试规范性,已作为一种通用的嵌入式软件单元测试方法在所在测评机构加以推广使用.     

一种数据模型驱动的软件自动化测试框架

针对当前GUI程序自动化测试过程中存在的问题,设计实现一种基于RFT工具、由数据模型驱动并且支持分布式多平台网络环境的可复用软件自动化测试框架。该框架分离了测试对象、用例数据、用例逻辑和执行控制,实施该框架能够增强测试用例的可复用性,降低测试用例的维护成本,提高测试执行的自动化程度,改善软件回归测试的过程。     

基于多属性决策和交叉熵优化多维测试覆盖

随着软件规模和复杂性越来越高,人们对软件质量保证意识也就逐步增强。如何展开测试、优化测试、选择测试方案及提高测试效率成为目前软件工程中面临的现实问题。利用测试覆盖的多维度量指标,提出综合测试覆盖率、测试覆盖率满意度及测试效率作为优化测试方案选择的效用属性,将综合测试覆盖方案应用于马尔可夫测试模型中进行优化,获得了较优的覆盖测试剖面,优化了测试流程。实验结果表明优化的测试覆盖剖面比随机测试能够减少测试用例数,提高缺陷检测效率。