基于面向对象的类测试技术研究

面向对象软件测试是面向对象软件开发的一个重要阶段，是保证软件质量、提高软件可靠性的关键，而类测试又是面向对象软件测试的关键。文章针对面向对象程序的特性对软件测试的影响，研究了一种基于状态的类测试方法，从而能够更有效地对面向对象软件进行测试，提高了软件的质量。     

软件测试及测试用例的设计

软件测试是为尽可能多地发现软件的错误而进行的测试。它在软件生命周期中占据重要地位，这不仅是因为测试阶段所占用的时间、花费的人力和成本占软件开发的很大比重，而且它直接影响着软件的质量。如果在测试阶段未能很好地把握质量关，很可能对整个系统造成十分严重的后果。譬如美国一次卫星发射，控制程序中一个逗号“，”误为句号“．”没有测试出，导致火箭爆炸，直接经济损失达1000万美元！软件测试在软件开发中的重要性由此可见一斑。一、软件测试的原则软件测试的成功与否，很大程度与测试者的心理有关，因此我们应坚持一定的测试原…     

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

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

基于CGOM的软件费用模型研究

软件测试是提高软件质量的重要手段，对测试数据充分的测试准则是软件测试完成的标准．目前，绝大多数的测试准则并不考虑软件费用，容易为了满足测试准则而使用户承担昂贵的测试费用．该文提出了一种随机过程类非齐次泊松过程(NHPP)中的经典模型——G-O模型的改进模型，并基于此模型构造了一个综合了软件设计费用、软件测试费用、软件维护费用、软件失效造成的风险损失的软件费用模型．最后从软件费用出发，讨论了软件的最佳发布时间．     

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

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

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

面向对象软件测试是面向对象软件开发的不可缺少的一环，是保证软件质量、提高软件可靠性的关键。本文在分析面向对象程序设计语言对软件测试影响的基础上，讨论了面向对象软件测试的测试策略及测试技术，提出了将对类层的测试作为基本的单元测试的思想和方法。     

一种基于程序切片技术的软件测试方法

1 引言软件测试是人们发现、纠正、预防软件错误以及完善软件功能的重要手段。软件测试的目的就是为了发现程序中的错误。对于传统程序设计语言书写的软件,软件测试人员普遍接受三个级别的测试:单元测试、集成测试和系统测试。无论在哪个级别上进行测试,其测试过程均为输入测试数据、处理和验证输出结果三个步骤。目前面向对象软件开发技术发展迅速,但面向对象软件测试技术的研究还相对薄弱。例如,对面向对象的程序测试应当分为多少级尚未达成共识。基于结构的传统集成策略并不适于面向对象的程序。这是因为面向对象的程序的执行实际上是执行一个由消息连接起来的方法序列,而这个方法序列往往是由外部事件驱动的,在面向对象语言中,虽然信息隐藏和封装使得类具有较好的独立性,有利于提高软件的易测试性和保证软件的质量,但是,这些机制与继承机制和     

基于类的面向对象软件测试技术研究

面向对象软件测试是面向对象软件开发的一个重要阶段,是保证软件质量、提高软件可靠性的关键。文中针对面向对象程序的特点及对软件测试的影响,提出了一种基于状态的类测试的面向对象软件测试方法,该方法与有限状态机理论相结合,从而提高了软件的质量,使软件的执行高效、可靠。     

一个PASCAL自动驱动工具PADT的设计

程序自动驱动工具是一个重要的软件测试辅助工具，它能够有铲地辅助软件测试人员测试程序，从而提高软件测试效率。本文讨论了我们设计的一个PASCAL程序自动驱动工具PADT，PADT能够使自底向上渐增式的软件测试过程自动化－－辅助用户选择一个可测模块，并为该模块生成 一个测试程序TEST，通过运行TEST来达到测试该模块的目的。本文详细讨论了PADT的设计思想和实现方法。     

一种覆盖测试中路径集的自动生成方法

覆盖测试是软件测试中的重要方法,路径覆盖测试中路径集的自动生成能提高测试效率。该文提出了一种描述程序分支情况的分支关系图,给出了基于分支关系图的路径集自动生成算法,实验证明了该方法的正确性,能有效地求出程序路径集。     

一种基于组合测试的软件故障调试方法

在研究了组合测试基本模型的基础上，提出了一种基于组合测试的故障原因诊断方法．该方法基于组合测试的结果，补充一些附加测试用例进行重新测试，并对其结果作进一步分析和验证，从而迅速将故障原因锁定在很小的范围内，这样可为软件的调试和测试工作提供更方便、更有价值的线索和参考．     

浅谈面向对象软件类的测试

面向对象软件测试与传统的软件测试区别不大,只有类和类簇的测试才体现了面向对象软件测试的特点,而两者之间又以类的测试最为关键。本文通过对状态机模型生成类的测试序列的方法和代码实现以及基于状态测试法的测试数据生成的问题的探讨,认为基于状态的测试方法和基于代数规约的测试方法（ASTOOT方法）将是类测试的主要的发展方向,其余方法大多只能以辅助的面貌出现。     

浅谈面向对象软件类的测试

面向对象软件测试与传统的软件测试区别不大,只有类和类簇的测试才体现了面向对象软件测试的特点,而两者之间又以类的测试最为关键。本文通过对状态机模型生成类的测试序列的方法和代码实现以及基于状态测试法的测试数据生成的问题的探讨,认为基于状态的测试方法和基于代数规约的测试方法(ASTOOT方法)将是类测试的主要的发展方向,其余方法大多只能以辅助的面貌出现。     

1553B接口仿真测试系统设计及典型软件缺陷分析

介绍了一种1553B接口仿真测试软件硬件设计方案,详细介绍了自动化测试引擎设计以及Lua脚本语言的测试流程设计,并以某装备软件1553B通信接口测试中发现的一些具有代表性的接口问题为例,对1553B软件接口测试典型案例的测试设计、测试结果进行了较为详细的描述,介绍了如何设计有效的软件测试用例,高效地发现通信软件的设计缺陷和程序问题,提升了软件的质量.     

航空机载软件测试质量评价方法研究

软件测试是提高软件产品质量和降低软件维护成本的重要手段。针对高安全关键航空机载软件测试质量评价难题,结合航空机载设备研制生存周期、航空机载软件研制生存周期和航空机载软件测试阶段,提出一种全生存周期航空机载软件测试质量评价方法,并建立了基于软件研制过程测试、三方测评、定型/鉴定测评和用户使用四个阶段的质量评价模型,包括测试需求分析和策划质量、测试设计和实现质量、测试执行质量和测试总结质量4项活动和18种度量元。通过工程实践证明,该方法技术实现上可行,具有评价要素更完整、评价模型更合理、评价结果更客观的特点,为解决航空机载软件测试质量评价提供了一种新方法,最终能达到降低软件维护成本和提高软件测试质量的目的。     

基于UML的软件测试自动化研究

测试自动化是提高软件测试效率的重要途径。随着UML的广泛应用，基于UML模型的测试逐渐成为面向对象软件测试的研究热点。在总结研究现状的基础上，详细论述了基于UML模型的软件测试用例自动生成、自动执行以及结果自动比较的过程，对其中的主要问题进行了理论分析，并提出了实现方法。     

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

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

SFMEA安全性分析技术在软件安全性测试中的应用

随着软件在现代高可靠性装备中的比重和关键程度越来越高,传统的软件安全性测试方法已经不能满足当前测试要求,本文主要介绍一种新的安全性测试分析思路和方法——SFMEA技术在软件安全性测试中的应用,以弥补安全性测试需求分析和测试用例设计不足问题.文章首先分析介绍了常规安全性测试内容和方法及其不足,同时分析说明了引入新的安全性测试方法的必要性,然后介绍了SFMEA安全性分析技术相关定义、方法以及流程等,最后结合实例详细描述了基于SFMEA安全性分析技术的软件安全性测试方法与工作流程,并对基于SFMEA安全性分析技术进行安全性测试工作优缺点以及重点关注内容进行了总结.     

软件测试质量评价方法

分析当前软件测试质量评价的研究现状及存在的几个误区,结合工作经验,基于度量简易、有效可行、相对公正的角度提出一种依据测试文档、测试充分性、抽测结果及测试效率进行测试质量评价的方法。最后通过实际项目进行软件测试质量评价验证,总结这种方法的下一步研究方向。     

A practical model‐based statistical approach for generating functional test cases: application in the automotive industry

With the growing complexity of industrial software applications, industrials are looking for efficient and practical methods to validate the software. This paper develops a model‐based statistical testing approach that automatically generates online and offline test cases for embedded software. It discusses an integrated framework that combines solutions for three major software testing research questions: (i) how to select test inputs; (ii) how to predict the expected results of a test; and (iii) when to stop testing software. The automatic selection of test inputs is based on a stochastic test model that accounts for the main particularity of embedded software: time sensitivity. Software test practitioners may design one or more test models when they generate random, user‐oriented, or fault‐oriented test inputs. A formal framework integrating existing and appropriate specification techniques was developed for the design of automated test oracles (executable software specifications) and the formal measurement of functional coverage. The decision to stop testing software is based on both test coverage objectives and cost constraints. This approach was tested on two representative case studies from the automotive industry. The experiment was performed at unit testing level in a simulated environment on a host personal computer (automatic test execution). The two software functionalities tested had previously been unit tested and validated using the test design approach conventionally used in the industry. Applying the proposed model‐based statistical testing approach to these two case studies, we obtained significant improvements in performing functional unit testing in a real and complex industrial context: more bugs were detected earlier and in a shorter time. Copyright © 2012 John Wiley & Sons, Ltd.