面向对象软件闭环测试模型探讨

参考传统软件测试模型,根据面向对象软件设计过程,结合软件测试建立了一种面向对象闭环软件测试模型。依照该测试模型,提出各测试阶段面向对象软件测试的内容、测试方法和测试技术,并对基于闭环模型的测试实施进行了讨论,为面向对象软件测试研究探索了一条新的途径。     

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

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

软件工程中的测试流程模型与管理

文章给出了一个比较通用的软件测试流程模型。该模型与以往的针对测试中非常具体的问题提出的解决方案如状态机、组合逻辑等模型不同。本文从软件工程整体的角度,提出了一个比较通用的软件测试流程模型。该模型能够在一定程度上帮助测试管理人员在一个变化的软件开发环境中来确定当前测试状态,及时地发现存在的问题,并根据问题采取相应的措施,从而推动测试进程达到满足开发计划以及质量标准的目的。本文根据作者实际的经历给出一个案例并对它进行了分析,分析结果表明了上述模型的合理性。     

基于覆盖的软件测试技术在实时嵌入式软件中的应用研究

基于覆盖软件测试技术在实时嵌入式软件中的应用进行的研究，针对实时嵌入式软件测试的特点，文中提出了一个适用于实时嵌入式系统覆盖测试的软件测试模型。并对该模型实现中的核心技术进行了阐明。最后介绍了以上软件测试技术在实际工程项目的应用情况。     

基于模型的软件测试综述

随着面向对象软件开发技术的广泛应用和软件测试自动化的要求，特别是基于UML的软件开发技术的逐渐普及，基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。针对被测试软件的不同特征和不同测试目的，已经提出了多种测试模型。本文详细阐述了基于模型的软件测试研究现状和应用现状，并对测试中使用的不同模型进行了比较，着重介绍了状态机模型、UML模型和马尔可夫链模型。最后提出了未来的研究方向。     

软件测试工具分析及其应用探讨

结合实践探讨了在现有生产软件的中小型企业中,如何将软件测试与软件开发相结合,使软件测试管理的质量得以提升。介绍了一些目前常用的软件测试工具及测试管理工具,对软件测试管理中应注意到的80:20问题进行阐述分析,提出对测试管理中可能存在的风险可采取一些方法来应对。实践证明,使用全程软件测试管理对解决测试管理工作中存在的问题有很大帮助。     

基于马尔科夫决策过程的软件测试仿真与计算

提出了一个改进的马尔科夫决策过程的软件测试模型,应用交叉熵方法计算求解改进后的测试模型下的软件测试优化策略,得到最优测试剖面,使得平均测试费用最小.并对采用随机软件测试策略,原始的MDP模型软件测试策略和改进后的MDP模型软件测试策略的软件测试过程进了仿真.仿真结果表明,改进后的软件测试策略不仅能够大大降低期望测试费用,而且也减少了测试用例的使用数量,提高了软件测试的效率和有效性.     

一种软件可靠性的随机测试模型研究

本文提出一种基于随机测试模型的软件可靠性测试方法、评判准则和测试策略,并利用蒙特卡罗方法进行了分析。通过实例证明了该模型在软件测试中的实用性和有效性,使用该模型可以提高软件测试的准确性和正确率、缩短软件测试的周期。     

面向对象的软件测试模型及策略研究

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

分布式复杂系统软件测试建模方法与应用研究

针对当前分布式复杂系统软件测试周期短、测试质量要求高、传统的软件测试方法效率低下问题，结合基于模型的软件开发技术广泛应用的现状，研究了软件测试建模技术，定义了分布式复杂系统软件测试模型，提出了分布式复杂系统软件测试建模方法，并分析应用前景，能够支撑软件测试建模及用例生成工具的研制，为分布式复杂系统软件全过程自动化测试及测试复用提供技术方法。     

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

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

国产基础软件可靠性分析及验证

国产基础软件通过常规测试后仍存在诸多质量或可靠性问题,为此,针对国产基础软件的特性及现有可靠性测试技术的不适应之处,结合Musa剖面模型和Markov链模型设计出一种带标记的Markov链运行剖面建模技术来构建操作系统的运行剖面,研究并给出相应的可靠性测试用例生成方法,最后选取典型操作系统进行了分析验证,证明了研究成果的有效性.     

综合网管系统软件测试模型的研究与实现

综合网络管理系统对稳定性、及时性要求很高.论文在功能测试、性能测试和自动化测试等方面对测试流程及重点技术进行理解,通过对综合网管系统的结构和业务进行分析以及对软件测试理论的深入研究,拟定了一套综合网管系统测试解决方案,包括系统测试模型,功能测试模型和性能测试模型,并针对回归测试提出了一个自动化测试模型.提高测试效率,保证软件质量.     

软件测试工作量估计方法与应用

软件测试估计是软件测试工程化管理中一项必不可少的工作,随着软件测试规模和重要性的不断增加,人们对软件测试估计准确度的要求也在不断的提高,软件测试工作量估计在软件测试估计中起到了关键性的作用.文章探讨了如何对软件测试工作量进行估计.     

基于需求的航空嵌入式软件测试技术研究

针对航空机载软件的特点，提出了一种基于需求的航空嵌入式软件测试模型，并对该模型中主要部分的功能及其相互关系进行了阐述，最后，最介绍了该模型在实际工程项目中的应用情况。     

测试数据生成技术在软件故障诊断中的应用

随着软件在武器装备中应用范围的日益扩大,软件故障诊断问题日显突出。文中针对软件测试中测试数据生成问题作了重点研究,采用了遗传算法解决按路径生成测试数据的问题,构建了基于遗传算法的测试数据生成系统模型,并对系统模型进行了实例验证。通过数据证明了遗传算法在测试数据生成中的优越性。     

由需求得到回归测试用例排序技术

为了提高回归测试用例集的测试效率和有效性,提出由需求得到回归测试用例排序技术及其实现算法。由需求得到回归测试用例排序技术,将与软件需求相关的需求描述度、需求实现复杂度、需求稳定度和需求覆盖度等因素应用于测试用例排序,以缺陷检测加权平均百分比作为度量标准。通过实验,比较排序后用例和未排序用例缺陷检测情况,实验结果表明该技术排序后的回归测试用例集,能够尽早地发现更多的软件错误,有效提高回归测试效率,保证软件质量。     

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.     

基于行为的软件测试过程模型及其应用研究

在深入研究各种综合测试技术的基础上，通过对比分析各种主流的测试模型，提出了一种基于行为的软件测试过程模型，包括了测试设计、测试计划、测试执行、测试结果分析和测试重用等活动，把这些测试活动嵌入到软件开发的整个生命周期当中。然后将这种测试模型应用到一个大型的应用程序测试项目(AMP)中，发现这种测试模型在尽早发现Bug和回归测试选择效率上具有较好的测试效果。