基于Klocwork Insight静态测试技术应用及其研究

软件测试技术对于确保软件质量、高可靠性、高安全性越发受到行业重视。静态分析指的是一种在不执行程序的情况下对程序行为进行分析的静态测试技术。本文以五指棋程序为例用Klocwork对工程做静态分析。     

基于UML的面向对象软件静态测试方法的研究

测试用例的数量和质量决定软件测试的成本和有效性。文中提出了一种基于UML面向对象软件静态测试的方法，论述了软件测试方法的分类、静态分析方法的基本测试框架及具体实现流程。针对面向对象软件的特点，静态测试主要是通过分析源程序得到类关系图，使测试人员能快速而清晰地了解程序结构，有效地设计测试用例。探讨了在对源程序进行充分的词法分析与语法分析的基础上，提取程序中类的有关信息，利用了数据库技术和UML图形模型，从而保证了分析结果的准确有效和标准化。     

基于UML的C++软件静态测试方法

提出一种基于UML的面向对象软件静态测试的方法,论述了方法的基本框架及针对C 的具体实现,使测试人员能直观地了解程序结构上的错误,并有效地设计测试用例。本静态测试方法是通过分析源程序文件,采用数据库来保存分析结果,并以UML类关系图显示出来。     

基于UML面向对象软件静态测试方法的研究

文章提出了一种基于UML面向对象软件静态测试的方法,论述了方法的基本框架及具体实现流程。针对面向对象软件的特点,静态测试主要是通过分析源程序得到类关系图,使测试人员能快速而清晰地了解程序结构,有效的设计测试用例。     

基于LDRA Testbed的软件完整性静态测试方法研究

根据软件测试工具LDRA Testbed的特点,本文提出了一种基于LDRA Testbed的软件完整性静态测试方案。该方案策略性选取四种测试方法,详细描述了每种方法的测试过程,输入项和输出项。实际运用中表明此方案极大提高了测试效率和测试规范性。     

基于UML的面向对象软件静态测试方法的研究

测试用例的数量和质量决定软件测试的成本和有效性。文中提出了一种基于UML面向对象软件静态测试的方法,论述了软件测试方法的分类、静态分析方法的基本测试框架及具体实现流程。针对面向对象软件的特点,静态测试主要是通过分析源程序得到类关系图,使测试人员能快速而清晰地了解程序结构,有效地设计测试用例。探讨了在对源程序进行充分的词法分析与语法分析的基础上,提取程序中类的有关信息,利用了数据库技术和UML图形模型,从而保证了分析结果的准确有效和标准化。     

基于LDRA Testbed的民用机载软件静态测试方法

静态测试作为软件测试的重要方法,是保证民用机载软件中安全关键软件质量的关键步骤。介绍静态测试的概念和方法,采用自动化分析方法,基于软件分析工具LDRA Testbed从主要静态分析、复杂度分析、静态数据流、交叉索引、信息流和数据对象分析六大部分完成软件的静态测试过程,探究其测试原理和关键标准文件的配置,生成相应的代码审查和测试度量报告,以有效提高民用机载软件质量。     

一种基于故障模型的代码静态测试方法研究

软件测试是排除软件故障,提高软件质量和可靠性的重要手段。基于故障模型的软件测试是软件编码阶段的主流测试方法之一。基于故障模型的代码静态测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点。鉴于此,本文采取一种特殊的静态分析技术来实现对代码的测试。首先讨论传统软件测试方法的缺点和局限性,给出基于故障模型的静态测试方法的优越性;然后在分析过程中,综合应用抽象语法树和控制流图,提出一种基于故障模型的软件测试方法。依据该算法开发自动化测试工具,给出实验结果和对比分析,并指出下一步的研究方向。     

未初始化变量的一种静态测试方法

软件测试系统的研制是软件测试领域的一个研究热点.未初始化变量是C/C 程序中的常见故障,该类故障极易导致计算结果错误或系统崩溃.针对C/C6 语言中常见未初始化变量故障进行了分析研究,并从面向具体故障的测试思想出发,建立了C/C 语言中未初始化变量的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法.该方法已实现,并已应用于面向故障的软件测试系统中.     

软件单元测试实战

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

软件测试技术的探讨

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

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

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

基于行为协议的构件软件静态测试研究

系统的静态分析能在设计开发阶段发现错误,从而避免了在运行时错误检测技术在系统执行期间带来的负面影响。基于尽可能避免静态错误这一构件测试策略的基本思想提出了一种对构件化软件系统进行静态测试的方法。采用通信模型对数据库服务构件系统进行抽象建模,并结合用于描述构件系统中构件之间交互的形式化方法行为协议,通过对构件系统构件行为协议的一致性验证,从而测试构件交互的正确性。     

引用未初始化变量故障静态测试方法研究

引用未初始化变量故障往往存在于C/C 程序中,该类故障常常会导致系统崩溃.鉴于传统测试方法、编译器和现有静态测试工具检测这类故障的局限性,本文提出了基于引用未初始化变量故障模型的静态测试方法.首先给出了引用未初始化变量的形式化定义,作为研究引用未初始化变量的基础;分析了变量状态及其变化,建立了变量状态集产生模型,作为静态识别引用未初始化变量的前提基础;建立了引用未初始化变量故障模型,作为静态识别引用未初始化变量的依据;提出了引用未初始化变量自动测试算法.实验结果表明,基于引用未初始化变量故障模型的静态测试方法具有较高的故障检测准确率和测试效率,这说明建立的故障模型和自动测试方法是有效的.     

基于混合测试的软件可靠性加速测试方法研究

为提高软件可靠性测试效率,在分析软件可靠性测试以及测试用例设计方法的基础上,提出一种基于混合测试的软件可靠性加速测试方法.该方法将软件可靠性测试分为两个阶段,第一阶段为传统可靠性测试,第二阶段为针对性测试,并通过过渡准则将软件可靠性测试和针对性测试结合起来,由软件可靠性测试向针对性测试过渡.在针对性测试中提供了一个测试策略接口,使得各种用例设计方法都可以在软件可靠性测试中使用.根据重要性抽样理论求得混合测试加速因子,在减少测试代价的同时实现了利用混合测试失效数据进行软件可靠性评估.实验结果表明该方法较传统软件可靠性测试有较大提高.     

面向对象软件测试的研究

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