浮力调节软件的单元测试技术研究

为了提高嵌入式软件的单元测试效率,同时能达到很好的测试效果,针对嵌入式软件制定单元测试充分性准则和单元测试策略,并使用测试工具对嵌入式软件进行单元测试具有实际意义;以浮力调节软件为例,通过研究基于控制流的单元测试充分性准则,结合浮力调节软件的单元测试需求,提出了针对浮力调节软件的单元测试充分性准则;同时,考虑到圈复杂度和函数节点数对函数正确实现的影响,制定了基于优先级的单元测试策略;利用自动化单元测试工具Testbed搭建了浮力调节软件动态测试环境,通过代码覆盖率分析,帮助创建测试用例以达到单元测试充分性要求,从而实现了浮力调节软件单元测试自动化;在自动化测试工具的帮助下,结合单元测试充分性准则和单元测试策略,最终实现严格而高效的单元测试。     

面向集控嵌入式实时软件的单元测试方法研究

针对集控嵌入式实时软件的组成和特点,搭建了适合该软件的仿真单元测试平台,并详细介绍了基于Testbed对该软件进行单元测试的过程。依据静态分析输出的质量度量模型值定量地评价了软件内在源码的质量,并基于圈复杂度度量值提出了一种优先级的动态分析测试策略,用监控到的控制流信息来分析程序的覆盖率,从而确保单元测试的充分性和有效性,提高测试效率,保证软件的质量。     

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

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

和欣编程环境中进行单元测试覆盖率分析的方法

本文提出了在和欣项目中一种分析代码覆盖率的简单而经济的方法。和欣项目有多种测试手段用以保证软件质量,如单元测试已经积累了大量测试用例。但是如果不应用应用代码覆盖率分析,很难发现未测试到的被测对象和重复的测试用例。我们应用了基本块度量方法,并且移植和应用了GCOV和LCOV工具到和欣开发环境,建立了一种代码覆盖率分析方法。另外本文还演示了对一个简单单元测试的分析。基于这种覆盖率分析方法,可以开展进一步的流程改进工作,比如：灵巧的回归测试以及测试驱动开发等。     

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

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

基于退火遗传算法的自动化单元测试方法分析

为了提高单元测试的工作效率,基于退火遗传算法提出一种自动化单元测试方法。采用基于分支距离的方法,构造适应值函数,并根据相应的代码转换功能,将判定结点处的代码转换平行结构、将分支距离量化为[0,1]之间的数。根据实验结果,这种自动化单元测试方法可以在更短的时间内获得更高的代码覆盖率,有效提高了单元测试的工作效率。     

TBrun在单元测试中的应用

TBrun提供完全自动的单元测试解决方案,它可以使开发人员和测试人员在单元级应用LDRA工具套件强大的源码分析器。本文用实际例子阐述了TBrun在单元测试中的应用,介绍了三种技术管理测试用例的创建、四种常用例子的解析以及使用TBrun来计算三种覆盖率(SC、DC、MC/DC)。     

JFCunit 在图形界面单元测试中的应用

JFCunit基于JUnit扩展而来,专门用于解决GUI图形界面单元测试的问题.以组件库开发过程中的单元测试为例,讲述了JFCunit的应用范围、适用情况以及使用JFCunit的优点,详细阐述了在使用JFCunit进行整个组件库单元测试过程的一些关键问题.     

基于模拟器的嵌入式软件动态测试技术

提出一种嵌入式软件动态测试框架,该框架以模拟器为运行核心,准确模拟嵌入式硬件的运行状态,给出语句覆盖率、分支覆盖率、函数及模块的执行频度、程序执行时间等测试信息,有效地支持了嵌入式软件的动态测试和单元测试。实验证明了该方法的有 效性。     

单元测试在PowerBuilder开发环境中的应用

单元测试是提高软件质量的重要手段,而数据库应用程序的测试是单元测试中的难点之一.阐述了单元测试和测试框架在软件开发中的作用,展示了在PowerBuilder开发环境中使用单元测试框架对数据库访问代码进行单元测试的实例.     

基于捕获/重现技术的微分单元测试研究

针对单元测试和系统测试各自具有的局限性，提出一种基于捕获/重现技术的微分单元测试方法。在系统测试时，捕获相关的状态序列，并在单元测试中重现该序列对于目标单元表现行为的影响，通过比较输出结果进行错误识别。仿真实验结果表明，该方法的测试成本较低，故障检测的覆盖率较高。     

一种基于序列比对的入侵特征提取算法

本文提出了一种新的基于多序列比对1的入侵特征提取算法.该算法包括两部分:基于局部比对的两序列比对算法SLA(Sequence Local Alignment)和多序列比对算法MSA(Multi-Sequence Alignment).SLA算法借鉴了生物信息学中两序列比对的思想,用局部序列比对思想和仿射空位罚分模型代替了目前在攻击特征提取中常用的全局序列比对思想和权值恒定空位罚分模型,以提高攻击特征的泛化程度.MSA算法利用一种新的剪枝策略来提高现有多序列比对算法在攻击特征提取中的抗噪声能力.本文详细介绍了两个算法,并给出了算法分析,最后对算法的有效性、提取的攻击特征在检测中的有效性以及抗噪声能力进行了实验验证.     

基于TeamCity的Web项目持续集成方案

在分析持续集成理论的基础上结合Web项目的具体实际,使用TeamCity将Web自动化测试、代码规范检查、单元测试覆盖率检查等多种机制集成到软件的开发过程中去,提出了一套基于TeamCity的持续集成方案。     

Python在C单元测试中的应用

主要讲解如何应用Python进行C语言函数的单元测试。包括单元测试的概念、用Python对C函数进行单元测试过程中用到的关键技术,并通过实例说明这些技术的应用步骤．总结了采用python单元测试和采用Cppunit单元测试两种方案的优缺点。     

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

以软件工程中面向对象软件开发模式为参考,具体阐述了面向对象分析、面向对象设计、面向对象编程的测试注意点和测试过程,并依照传统的单元测试、集成测试、系统测试三个测试步骤,借鉴传统测试方法以及面向对象软件测试层次结构,详细探讨了面向对象单元测试、面向对象集成测试和面向对象系统测试的测试策略,并对相关问题进行了探讨。     

一种面向增量式开发的虚拟单元测试框架

单元测试的目标是检验程序模块的正确性,从而为集成测试、系统测试提供符合预期效果的部件。随着对软件质量保证的要求提高,许多单元测试的技术已相继提出。但由于软件运行环境复杂度不断增加以及软件测试技术与软件工程的结合日益紧密,对单元测试框架技术的研究有了新的需求。论文结合国际软件测试标准,讨论了面向增量式开发的虚拟单元测试框架组成,给出了一个能够提高软件弹性,保证软件质量,测试环境独立、简单的单元测试解决方案。     

基于轻量级容器架构DAO层可重复性单元测试

单元测试的出现给程序员的编程工作带来了乐趣,更多的程序员希望能进行深入实践.但在对单元测试更加全面深入的使用过程中,却遇到了越来越多的障碍.随着B/S架构的流行,轻量级容器架构的J2EE模式是大多数项目的首选,并在此基础上使用DAO(数据访问对象)模式与数据库层进行交互.数据库中的数据会在使用过程中变得不稳定,会使得测试代码变得不具可重复性.而单元测试最重要的特性就是可重复性,文中探讨的就是关于DAO层的单元测试的可重复性.经过在实际项目中的认真实践得出了可行的方法,现作简要介绍.DAO层的单元测试的依赖于数据库中的数据,实现单元测试的可重复性需要对于每次单元测试执行时数据库的数据都是符合要求的.可从两方面保证数据库中的数据符合要求:一是启动每轮单元测试时提供符合要求的数据;二是对于那些会破坏数据库状态的单元测试在结束时均执行一个恢复操作,将数据库恢复到原来的状态.     

一种应用于SoC的总线系统模拟验证方法

提出一种基于模拟仿真和覆盖率分析的方法．通过前期使用带约束的随机测试向量进行模拟仿真、在达到一定覆盖率后进行覆盖率分析、然后手工生成测试向量提高覆盖率的方法,对一款SoC芯片的总线系统进行验证,有效地减少了验证仿真所需时间,得到了预期的验证结果．     

一种Golang单元测试打桩工具

介绍一种Golang语言的单元测试打桩工具.TDD(测试驱动开发)中需要先写单元测试再实现功能,但Golang自带测试工具Testing不能满足TDD实践.通过对比Golang几个流行的单元测试打桩工具,实例演示了Monkey打桩完成单元测试.     

覆盖测试中基于回溯法的路径选择

单元覆盖测试的目标是达到尽可能高的覆盖率。为了提高自动化单元测试的覆盖率,本文提出了一种面向目标覆盖元素,基于回溯法遍历程序控制流图,选择可达路径的方法。该方法从函数入口节点开始,进行深度优先的路径遍历,以当前的部分路径是否可达和当前节点是否能够到达目标覆盖元素,作为回溯的条件进行回溯,最终获得一条经过目标覆盖元素的可达路径。最后结合测试用例生成对5个函数单元与原有的选路方案进行语句覆盖测试的对比实验,平均覆盖率从70%提升到了90%,验证了该方法能够有效地提升覆盖率。又针对linux实际大工程进行语句,分支,MCDC覆盖的选路实验,能够获得较高的覆盖率,验证了该方法能够适用于多种不同覆盖准则下的选路。