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

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

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

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

浮力调节系统在作业型AUV上的应用研究

本文根据我国正在研制开发的作业型水下机器人的特性及其对浮力调节和姿态控制的要求,应用PID控制策略,设计了一个浮力调节系统,仿真结果证明该设计方案可以达到预期的目标。(100039北京市中国科学院研究生院)常海龙     

软件单元测试实战

单元测试（unit testing）是软件测试的基础,实战证明,单元测试做得好与坏将直接影响到软件后期的测试和整个产品的质量。     

软件单元测试阶段指针的验证

使用C语言编程经常会使用各类指针,指针的使用带来了便利,但是不当的使用也会带来灾难,对指针的验证,是重点也是难点.主要介绍软件单元测试阶段验证指向变量的指针、指向结构体的指针、指向函数的指针、多重嵌套指针等常见指针的方法.     

软件单元测试应用研究及案例分析

单元测试是软件测试过程的第一站,高质量的单元测试是软件质量保证的必要条件,本文就单元测试的概念、测试类型及规程作了简单的阐述,同时就单元测试进行了案例分析。     

NetBeans平台软件开发单元测试技术的研究

软件开发和软件测试就像两兄弟,他们密不可分、协同合作,目标只有一个,那就是成功开发出高质量的软件。开发与测试之间的关系如此密切,让我们很难彻底的将两者严格的划分开来。单元测试做为测试的一部分,一般都由编码人员来承担,对于模块级一直都是谁编码、谁测试。因此测试不仅仅是测试人员的事情,作为编码人员也需要懂得测试的基本方法,以通过单元测试提交高质量的程序模块。     

NetBeans平台软件开发单元测试技术的研究

软件开发和软件测试就像两兄弟,他们密不可分、协同合作,目标只有一个,那就是成功开发出高质量的软件。开发与测试之间的关系如此密切,让我们很难彻底的将两者严格的划分开来。单元测试做为测试的一部分,一般都由编码人员来承担,对于模块级一直都是谁编码、谁测试。因此测试不仅仅是测试人员的事情,作为编码人员也需要懂得测试的基本方法,以通过单元测试提交高质量的程序模块。     

Visual C++下利用C++Test进行软件单元测试

本文对测试工具C Test进行了整体性的介绍，并且用了两个测试例子对C Test的使用做了具体的说明。     

软件单元测试实验课程教学改革

单元测试是软件测试中的最底层的一种测试活动,是软件开发中不可忽视的一个环节,但我国高校软件单元测试的教学效果并不理想。本文分析了传统实验教学存在的问题,引入先进流行的开源测试框架,设计了单元测试实验课程教学内容;采用任务驱动教学方法,以理论知识为基础,以企业需求为标杆,对实验教学方法进行了改革,收到了良好的教学效果。     

基于UML状态图的软件测试充分性准则研究

文中详细讨论了一组基于UML状态图的软件测试充分性准则。在软件测试时,还没有测试充分性准则明确定义循环应该被执行多少次,而循环只被执行一次是很不充分的。针对这种情况,在现有测试准则的基础上提出了两种扩展的基于UML状态图测试的充分性准则：ZOT-R循环覆盖准则和全ZOT-R路径覆盖准则,丰富并完善了现有的测试准则体系。并且通过结合一个具体实例给出了这些覆盖准则在具体测试实践中的应用方法,探讨了这些覆盖准则之间的包含关系。     

软件测试技术的探讨

本文探讨了软件测试的若干关键技术，包括单元测试过程及优化、测试准则，测试技术和方法等，并根据自己的测试实践讨论了某型号项目应用软件测试中出现的问题。     

对逻辑覆盖软件测试准则的公理化评估

由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.因此分析和比较这组测试准则中每个测试准则的性质将为测试工程师选择测试准则提供指导和帮助.对测试充分性准则的公理化评估是一种比较测试准则的方式,这种方式将对理想的测试准则的直觉需求定义为一组公理,然后通过检查测试准则是否满足该组公理来分析和比较相应的测试准则.描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完全的生成算法.这组性质被形式化地定义为一组公理.利用这种形式化的定义,用定理的形式精确地给出了这些性质之间的关系.最后通过这组公理系统来评估现有的逻辑覆盖测试准则.评估的结果为测试人员在实际过程中选择逻辑覆盖测试准则提供了指导.     

面向对象软件测试的研究

面向对象软件测试是面向对象软件开发的不可缺少的一环,是保证软件质量,提高软件可靠性的关键。文中分析了面向对象程序设计语言的特点及其对软件测试的影响,总结了面向对象软件测试的内容、测试层次及测试用例的设计方法,同时讨论了面向对象软件测试技术的现状与发展。     

A Formal Interpretation of Software Testing as Inductive Inference

Software testing can be viewed as an inductive inference process during which the tester attempts to deduce software properties from its behaviour on a finite number of test cases. This paper investigates the foundation of software testing by interpreting the axioms of test adequacy criteria as properties of inductive inference. The interpretation manifests the conservative and simplest hypothesis nature of the induction underlying software testing. It also yields results relating adequate testing to software correctness and reliability. The convergence of the inductive inference process is proved to be a condition of the correctness of tested software. By measuring the convergence according to the probability of an inference result being correct up to a given error rate, a new approach to software reliability estimation is proposed, which differs from existing ones in taking software complexity into account.     

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

面向对象软件开发是一种新的减少成本、提高可用性、灵活性和高效的软件系统开发方法。软件测试是改善软件质量和正确性的重要技术,但目前还没有成熟的用于面向对象软件开发的测试方法。本文首先通过继承图描述面向对象软件测试方法,然后讨论了单元重复继承算法,该算法的时间复杂性为O(n3),并给出了具体实例,最后提出了继承层次测试方法。     

软件测试技术与自动化测试框架模型的研究与应用

该文对软件质量保证的重要手段——软件测试进行了论述,给出一些软件测试的基本理论。随着软件测试研究的发展,软件测试提出了一些比较前沿的理论,如面向对象的软件测试,测试驱动开发理论,探索性测试等。为了克服手工测试的一些困难,提高软件质量和测试效率,自动化测试被广泛地引入进来。它以其自动化程度高、实用性强等特点,引起了人们的广泛重视,成为软件测试的发展方向。自动化测试框架产品的出现表明软件测试自动化技术正在趋于成熟。早期使用录制回放和脚本工具的不足正在被克服,使得自动化测试更加经济、有效,更加有利于实现和维护。随着在开发和维护脚本上的时间越来越少,更多的时间可用于提高测试的覆盖范围和产品质量,从而在自动化上的投资能够更快地得到证明。该文分析讨论了自动化测试框架方法以及实现,并将其应用到软件测试中。     

浅谈软件测试

近年来,软件工程的规模和以前相比越来越大。软件测试作为软件开发的重要环节,已经越来越受到人们的重视。该文主要通过探讨基于软件开发阶段的测试方法,发现影响软件测试中的因素。最后提出关于软件测试质量的提升与测试管理阶段采用的方法的几点看法。