一种嵌入式软件的类状态测试框架设计

在介绍UML状态图的基础上,以嵌入式软件的类作为基本测试单元,研究了基于UML状态图的类状态测试技术,进一步设计出基于UML状态图的嵌入式软件类状态测试框架。该测试框架的系统体系结构由测试初始化配置、测试用例生成、测试脚本生成、测试执行和结果分析五个模块组成。     

一种用于类测试的改进型EFSM模型

扩展有限状态机(EFSM)中迁移存在前置条件和相应操作,而前置条件和相应操作中变量的相互依赖性导致了EFSM中存在不可达路径,不利于基于EFSM模型的类的测试。通过把UML状态图转换成EFSM模型,提出一种消除EFSM模型不可达路径算法,从而建立一种用于面向对象软件的类测试模型,通过该模型可以应用传统的数据流和控制流分析技术对类进行测试。     

基于类状态图的类阀模型及在类测试中的应用

针对一般的类状态测试中存在的不足之处，引入了“类阀”的模型。在类阀模型的基础上，提出了一种新的类测试方法。该方法以类状态图为依据，以类阀为主要观察对象，结合类方法测试去同步地实施类测试。由于能与类方法测试有机的结合，该方法不用专门地去另外设计测试用例。     

基于UML状态图的类测试技术

针对基于状态的类测试技术缺陷检测率较低的问题,提出一种使用等价类划分和边界值分析等功能性测试方法构建UML状态图的方法,描述基于W方法的测试序列生成策略,使用Mujava变异工具对方法的有效性进行检测。实验结果表明,该测试策略具有较高的缺陷检测率。     

电磁炉性能测试的一种新方法

介绍了国家标准对于电磁炉性能测试的要求,以及现有测试方法中存在的问题。利用红外热像仪的原理和特点,提出一种电磁炉性能测试的新方法。     

面向状态图的类级测试方法研究

面向对象软件是由类及其类之间的关联所实现,类测试是面向对象软件测试的关键。本文研究一种将包含层次和并发结构的状态图转化为可扩展有限状态机(EFSM)并获得相应的测试生成树,由测试树产生软件测试数据的类级软件测试方法。实验证明,该测试方法是有效可行的,在实践中能够取得较好的效果。     

基于状态的类测试研究

类是面向对象程序语言的基本组成单位,所以类测试是整个面向对象软件测试的关键所在;论文主要针对传统状态测试方法在发现错误机制上存在的不足,研究了一种利用OSD模型的基于状态的类测试方法,提出了利用OSD模型与系统分析设计的状态图模型进行比较的思想;通过比较两个状态图模型中的状态是否一致以及各个状态间的方法转移是否一致,来发现传统状态测试难以发现的错误;实践证明,该方法能够检测出传统的状态测试方法难以检测到的错误。     

一种设计层次支持向量机多类分类器的新方法

层次结构的设计是层次支持向量机多类分类方法应用中的关键问题,类间可分性是设计层次结构的重要依据,提出了一种基于线性支持向量机度量类间相似程度的方法,并给出了一种基于类间可分性设计层次支持向量机多类分类器的新方法。实验表明,新方法有效地提高了层次支持向量机多类分类器的分类精度和速度。     

JUnit的类测试应用研究

测试对于保证软件开发质量有着非常重要的作用,单元测试更是必不可少。JUnit是一个非常强大的单元测试包,可以对类及其方法测试,还可以将不同的TestCase整合成TestSuit,使测试任务自动化。本文对JUnit的应用进行了分析研究并以一个例子来阐述开发类测试驱动的过程。     

基于UML状态图测试的充分性准则

本文描述了基于UML状态图生成测试用例的充分性准则。在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准则的应用,讨论了这些覆盖准则之间的包含关系。     

基于状态的类测试技术研究

面向对象软件测试是面向对象软件开发的重要一环，是保证软件质量、提高软件可靠性的关键，类测试是面向对象软件测试的关键，类的状态的测试是面向对象软件测试中的重要内容，本文介绍了基于状态转移图的类测试和基于对象动态测试模型的类测试。     

一种用于软件测试的程序结构划分方法

软件测试中的结构性测试是以程序的结构为基础生成测试用例，以测试准则为判定测试的充分性，由于程序结构的复杂性，难于保证对程序进行充分而高效的测试，本文提出了一种基于程序依赖图的程序结构划分的测试方法，即程序块划分法。该方法难过对程序进行结构划分，将复杂的程序分解为若干程序块，并通过程序块间的数据依赖关系导出各程序块的语义，从而使测试可以在程序块的级别的基础上独立进行。     

一种新颖的Web服务安全性测试方法

针对传统的Web服务安全性测试方法存在的低效、缺乏灵活性、不适应复杂安全功能测试及难以实现异常测试等问题,本文提出一种基于WSDL文件动态解析和安全功能分解的Web服务安全性测试方法。该方法采用运行时动态解析WSDL文件的方式解决了传统测试方法与被测Web服务紧耦合的问题,将复杂安全功能分解为7类原子安全处理类型,使其能够有效适应复杂安全功能测试的需要,采用故障注入机制生成错误的SOAP消息使其支持异常测试。实验结果表明,该方法具有灵活性、高效性和先进性。     

一种Web应用的状态测试方法

Web应用相对于传统的应用程序具有自身的特点,对软件测试提出了新的要求。文章从状态测试的角度讨论对Web应用的测试问题。文章在研究Web应用体系结构的基础上给出了一个Web应用程序的定义,随后结合一个Web应用程序的例子详细讨论了状态测试的方法以及在Web测试上的应用。     

一种基于测试状态的回归测试方法

软件测试在软件生命周期中是一个非常重要的过程,而回归测试则又在软件测试中占有极其重要的地住。本文提出的RTSPS方法综合考虑了测试状态即测试频次、测试成本、错误检测率要求等多种因素来选择合适的回归测试策略,并对测试用例进行优先排序,可以有效地提高测试效率。     

一种新的面向对象软件集成测试序列生成方法

集成测试是面向对象软件测试中的重要环节。UML不仅在软件分析领域具有重要作用,同时是软件测试的有力依据。在本文中,提出了一种以UML类图为基础的面向对象软件集成测试的测试序列生成方法。从UML类图中提取类的所有信息。然后依据提取的信息计算每个类的内聚度和类间耦合度,将计算结果存入数据库中。最后根据计算的类间耦合度与类的内聚度从高到低对类进行遍历。最后生成集成测试时的类测试序列。经证明该方法对于软件有较好效果。     

基于服务的类测试技术研究

面向对象软件测试是面向对象软件开发的重要一环，是保证软件质量、提高软件可靠性的关键。类测试是面向对象软件测试的关键，类的服务的测试是面向对象软件测试中的重要内容。本文介绍了一种基于服务的类测试模型，即服务的块分支图。     

面向对象软件的类测试技术

主要介绍了面向对象软件的类测试技术，从基于服务的，基于状态的，基于流图的以及基于规约的四个方面论述了类测试的思想和方法。     

一种基于UML状态图的面向对象类级测试模型

扩展有限状态机（EFSM）因其具有对系统控制特征（即系统的状态）和数据特征的平面结构描述,而有利于对软件的测试。然而对一个较复杂的类直接建立EFSM图比较困难。将两种工具的优势相结合,提出了一种UML状态图转为扩展有限状态机的方法,使之能采用传统的测试疗法对类进行状态覆盖和数据流覆盖。