软件测试工程化的研究和实践

软件测试是保证软件产品质量的一种重要手段,软件测试工程化的管理对于提高软件测试效率、保证软件测试质量具有重要的作用.根据工程化管理的思想,分别对软件测试模型、测试人员要求、测试生命周期、软件问题管理和测试辅助工具等软件测试相关要素的工程化要求进行了研究,提出了一种实用有效的软件测试工程化管理方案,并结合一个具体的软件项目,描述了该软件测试工程化管理方案的成功应用情况.     

基于问题生命周期的软件问题管理平台——SPMPE

软件整个生命周期中的软件问题管理是各种软件质量保证活动的核心,文中介绍了一个基于问题生命周期的软件问题管理平台———SPMP。文章深入讨论了软件问题的生命周期,指出软件问题的状态控制与变更追踪构成了软件问题管理的基础。然后介绍了该平台的体系结构、关键技术和应用实例,最后给出结论。     

基于问题生命周期的软件问题管理平台--SPMP

软件整个生命周期中的软件问题管理及各种软件质量保证活动的核心，文中介绍了一个基于问题生命周期的软件问题管理平台－SPMP，文章深入讨论了软件问题的生命周期，指出软件问题的状态控制与变更追踪构成了软件问题管理的基础。然后介绍了该平台的体系结构，关键技术和应用实例，最后给出结论。     

软件错误生命周期的研究及其应用

阐述了在软件测试中错误生命周期的思想，并以一个软件测试管理系统为例，介绍了该思想在具体系统中的应用，对于软件错误管理中的关键文档，给出了模板以供参考。     

试论软件测试学科的架构建设

给出了软件测试学科的一个新的理论框架模型,在此框架模型中,软件测试学科由软件验证技术、软件确认技术以及软件测试管理技术这三个部分组成.然后逐一描述了这三个部分的具体内容以及它们在软件生命周期中的相互关系,从而阐述了对软件测试学科架构建设的新见解.     

基于Petri网的联锁软件测评仿真建模

车站联锁软件一直有着严格的测试要求,仿真模块是软件测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于联锁软件这类安全苛求软件的测试尤为适合,提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了用基本Petri网和有色Petri网的2个建模实例.该模型有助于提高铁路联锁软件测试系统的安全性与精确性.     

基于Petri网的以活动为中心的软件过程建模方法

软件过程是软件生命周期中所实施的一系列活动的集合.软件过程模型为软件开发者提供了软件开发的标准,也方便了开发者之间的交流.过程建模作为软件过程中最主要的活动,是对实际软件过程的再加工工程.基于Petri网提出了一种以活动为中心的软件过程控制模型ACCM,并给出了相应的算法.最后以一个软件开发的实例解释说明了该方法的有效性.     

基于建模方式实现企业信息生命周期管理

信息是企业的核心资产,如何建立一个更加有效的信息技术环境并更好的服务于业务信息正变得越来越重要。信息生命周期管理就是为解决这一问题的方案和指导思想。从建模的角度提出了一种信息生命周期管理的新的方式,这种方式的优点,并着重讨论如何在业界著名的企业级建模工具PowerDesigner中,实现信息生命周期管理建模的功能,以及实现该功能所用到的关键技术、实施成效等问题。     

CMM/CMMI与软件生命周期模型关系的研究

对CMM/CMMI和主流软件生命周期模型的关系进行了分析,认为:a)CMM/CMMI与软件生命周期模型都是软件活动过程化的产物.在软件过程化进程中,CMM/CMMI是软件过程化成熟期的成果;软件生命周期模型则是软件过程化前期的成果.b)由于发展背景不同,需要处理的问题各异,使得软件生命周期模型关注于工程活动;CMM/CMMI关注于软件开发活动的整体.c)尽管CMM/CMMI编写者的初衷是保持CMM/CMMI与特定软件生命周期模型的无关性,但是其产生的时代背景却使CMM/CMMI受到了软件生命周期模型的影响.     

全生命周期软件过程风险管理模型研究

首先从软件过程的角度重新定义了过程风险的基本概念;然后结合CMMI和软件的生命周期分别从软件过程、生命周期和风险管理构建了三维结构的软件项目风险管理模型,提出了基于CMMI的全生命周期的过程风险策划、识别、评估和监控全过程模型;最后建立了软件研制风险管理系统,该系统在实际应用中取得了较好的效果。     

航天型号软件生存周期模型选择指南

文中首先阐述了有关生存周期模型的基本概念,简要介绍4个已在国内外航天界得到成功应用的典型生存周期模型：瀑布模型、增量模型、进化模型和基于软件包的生存周期模型,分别给出了这4个生存周期模型的优点、缺点、适用情况以及各生存周期阶段的主要产品和里程碑评审,最后给出选择航天型号软件生存周期模型的基本原则。     

一个抽象的软件配置管理模型

介绍了软件配置管理（CM）的概念，并从软件生命周期和软件过程角度讨论了CM的抽象认识，提出一种基于配置项属性和关系的抽象配置管理模型，给出了说明该模型的一个示例。     

基于动态模糊逻辑的软件Agent生命周期模型研究

软件Agent的关键问题是如何促进Agent学习,怎样更好地管理Agent,以及如何有效地用它开发软件,基于此,提出了一个基于动态模糊逻辑的软件Agent生命周期模型。模型主要分3个阶段来描述:定义阶段,开发阶段和维护阶段。同时通过示例说明了利用此模型来揭示自动协作系统是十分有效的。     

软件使用统计测试方法的研究

软件开发实践表明,传统软件统计测试方法在提高软件可靠性和度量软件质量方面显现很多不足,阐述了一种改进的基于Markov链模型的软件统计测试方法的技术细节和实施步骤,用此方法对某控制软件的测试进行了具体的研究,对实例软件运用此方法进行测试提出了一个框架方案.实例验证表明,软件使用统计测试方法能够更加经济有效地保障软件质量.     

Integral: Petri-net approach to distributed software development

As the architecture of modern software systems continues to evolve in a distributed fashion, the development of such systems becomes increasingly complex, which requires the integration of more sophisticated specification techniques, tools, and procedures into the conventional methodology. An essential capability of an integrated software development environment is a formal specification method to capture effectively the system's functional requirements as well as its performance requirements. A validation and verification (V&V) system based on a formal specification method is of paramount importance to the development and maintenance of distributed systems.

There has been recent interest in integrating software techniques and tools at the specification level. It is also noted that an effective way of achieving such integration is by using wide-spectrum specification techniques. In view of these points, an integrated V&V system, called Integral, is presented that provides comprehensive and homogeneous analysis capabilities to both specification and testing phases of the life-cycle of distributed software systems. The underlying software model that supports various V&V activities in Integral is primarily based on Petri nets and is intended to be wide spectrum. The ultimate goal of this research is to demonstrate to the software industry, domestic or foreign, the availability and applicability of a new Petri-net-based software development paradigm. Integral is a prototype V&V system to support such a paradigm.     

B/S软件测试技术及工具实现

由于软件规模和复杂性的增加,软件测试技术研究和工具开发滞后,软件测试中存在大量的手工劳动,从而使得软件测试的效率很低,费用很高。文章从测试的角度分析了B／S系统的特点,依据可测试性方面的策略,确定合适的测试接口,进行测试建模,给出了相应测试用树生成的方法,并讨论了测试管理的相关方面。最后,介绍了B／S测试支持系统的设计,其核心部分是在浏览器中建立标准测试接口,从而在运行平台中提供对测试的支持。     

软件测试模型的应用研究及改进

介绍了软件测试的几种模型,包括V模型、W模型、H模型、X模型,这些模型定义了测试活动的流程和方法,为测试管理工作提供了指导,并且指出了上述测试模型的长处和局限性。针对传统的模块任务分配方式的不足,对模块分配进行细化并结合X测试模型,根据实际开发情况对X测试模型进行了相应的调整和改进。     

软件测试过程质量控制管理研究

本文以软件测试为研究对象,本着为软件开发企业、为软件用户负责的态度,围绕软件测试质量控制管理展开探究。首先,结合作者多年的实践工作经验,对本文研究的背景进行了简要介绍;其次,概述了软件测试内涵、方法等相关内容;最后,结合作者工作实际对软件测试过程中经常出现的几点主要问题进行了全面的梳理与分析,并以此为基础从几个不同的方面分别对软件测试过程质量控制管理策略进行了详细的介绍。     

软件测试模型的应用研究及改进

介绍了软件测试的几种模型,包括V模型、W模型、H模型、X模型,这些模型定义了测试活动的流程和方法,为测试管理工作提供了指导,并且指出了上述测试模型的长处和局限性。针对传统的模块任务分配方式的不足,对模块分配进行细化并结合X测试模型,根据实际开发情况对X测试模型进行了相应的调整和改进。