the role of software process simulation modeling in software risk management: a systematic review

Univ SE Calif, Ctr Syst & Software Engn, ABB, Microsoft Res, IEEE, ACMSIGSOFT, N Carolina State Univ Comp Sci

基于过程控制的软件质量管理

质量形成于过程.以预防为主的过程管理思想在软件产业引入了软件的工程过程、管理过程和支持过程三类基本过程,以过程为中心的软件开发、生产与质量管理是现代软件产业的时代特征.本文阐述了软件质量管理的基本原理,提出了一个基于CMM过程管理控制的软件质量管理模型及平台,帮助软件组织达到较高的成熟度水平.

软件质量管理中的统计过程控制

统计过程控制（SPC, Statistical Process Control）是一种借助数理统计工具的过程控制方法，它利用统计工具及技术（如控制图）对过程或过程输出进行分析，找出过程中的不确定因素并及时消除，控制、管理、改进过程产品的质量或过程能力，从而达到保证产品质量的目的。它能帮助用户采取适当措施来保证过程处于统计意义的受控状态，并且帮助用户提高生产能力，以满足或超越顾客的期望。SPC最早是在工业界提出的，在工业界的成功也促使它被应用于其它许多商业领域。本文主要探讨统计过程控制在软件质量管理中的实施。

基于ISO9000和CMM的软件质量管理系统的研究

中国计算机学会

现代质量管理理论在软件组织的应用

International Software Process Association (ISPA); Chinese Academy of Sciences, Institute of Software (ISCAS); ISCAS Laboratory for Internet Software Technologies (iTechs)

具有严格操作语义的图形化软件过程建模研究

``软件危机''，这一始于上世纪~60~年代的概念，始终伴随着软件业的整个历史发展进程。 为了解决该问题，人们逐渐开始借鉴一些传统领域内的管理理论、方法和工具，以期解决软件开发中所面临的问题。其中，更多的是作为一种管理哲学，而不是具体管理方法的全面质量管理（Total Quality Management，TQM），在软件工程领域得到了广泛应用。全面质量管理对于软件工程的影响，一个很重要的方面是促进了软件过程和软件过程改 进的研究、实践。 作为软件过程研究的重要内容，软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解，并通过直接或者间接的方式指导实际软件开发活动。为了对软件过程管理活动提供方法和工具支持，人们提出了多种以过程为中心的软件过程工程环境（Process-centered Software Engineering Environment, PSEE），其最终目的是使得实际软件开发活动受软件过程模型的支配。但由于过程模型本身的正确性得不到保证、PSEE中执行的软件过程模型和实际开发过程之间的信息反馈缺乏客观性以及过程模型和实际开发过程之间的抽象层次不同和描述粒度不一致，导致PSEE中执行的软件过程模型和实际开发过程之间经常产生严重的偏差，以至于PSEE对实际开发活动逐渐地失去了支持和指导作用，进而使得投入大量成本所开发的软件过程模型无法发挥其应有的作用。 针对这些问题，本文提出了一种具有严格操作语义的图形化软件过程建模方法。由于在具有图形化表示方式的同时，又具备严格的操作语义，因此基于该方法所描述的软件过程比较易于分析。特别是，通过模型检测技术验证软件过程模型本身的正确性，可以减少由模型错误所导致的不一致；通过比较预定义的过程模型和实际开发过程，可以发现两者间的不一致并及时地消除。同时，具有严格操作语义的软件过程建模方法，可以为软件过程执行提供良好的支持。 首先，本文提出了一种具有严格操作语义的图形化建模语言——TRISO/ML。该语言具有图形化的表示方式，可以更容易地为软件工程人员所接受，以及更好地满足过程表示对易用性和可理解性的需求。该语言同时具有严格的操作语义，可以映射到多元PI演算，从而能够更准确地描述软件过程，避免歧义的产生。更为重要的是，该语言从行为角度出发，能够以一致的方式描述软件过程中的各种实体及其相互间的并发、同步和通信。 其次，在TRISO/ML语言的基础之上，提出了一系列的软件过程分析方法。主要研究如何利用多元PI演算的理论、方法和工具以及软件验证技术，对软件过程进行分析和验证。软件过程分析的研究主要集中在如下两个方面：a）软件过 程模型本身正确性的验证，以确保该模型准确地描述了所希望表达的内容。b）比较两个过程模型是否等价。 然后，基于软件过程移动性概念，研究了如何通过软件过程结构的变化支持过程的动态执行。软件过程移动性概念反映了软件过程执行时，由于软件过程实体的动态交互，导致构成软件过程的实体及其相互间的关系不断地发生变化。 软件过程移动性这一概念的提出，使得软件过程实体之间的关系可以在软件过程执行时动态地确立和调整，软件过程的定义随着过程信息的不断丰富而逐步地细化和明确，从而能够以更灵活的方式支持软件过程的表示和执行。 最后，描述了支持TRISO/ML的原型工具，包括基于TRISO/ML的过程表示、多元PI演算语义描述的自动生成，以及进一步的分析和验证。

基于ISO9000和CMM的软件配置管理系统的研究

1 概述随着软件系统的日益复杂化和用户需求、软件更新的频繁化,配置管理逐渐成为软件生命周期中的重要控制过程,成为软件工程中质量管理中的重要内容。软件配置管理(Software Configuration Management)是通过技术或行政手段对软件产品及其开发过程和生命周期进行控制、规范的一系列措施。配置管理的目标是记录软件产品的演化过程,确保软件开发者在软件生命周期中各个阶段都能得到精确的产品配置。它通过控制、记录、追踪对软件的修改和每个修改生成的软件组成部件来实现对软件产品的管理功能。为了保证对产品有效地进行控制和追踪,配置管理过程不能仅仅对静态的、成形的产品进行管理,而必须对动态的、成长的产品进行管理。由此可见,配置管理同软件开发过程紧密相关。配置管理必须紧扣软件开发过程的各个环节,使整个开发团队象一个交响乐

基于ISO9001和CMM的软件需求管理的研究

软件需求的定义比较多，各种定义之间比较容易混淆，学术界倾向于把整个需求范围称之为“需求工程”。从软件工程角度来讲，把整个软件需求研究领域划分为“需求开发”和“需求管理”比较合适。图1表明了需求开发和需求管理在整个需求工程中的关系。

基于ISO/IEC 9126标准的软件质量评价系统

中国计算机学会

基于模糊评价方法的软件质量评价研究

针对软件质量评价研究中的度量问题建立了基于ISO/IEC 9126标准的软件质量指标体系模型,结合质量评价方法研究中的常见问题,运用指标体系模型和模糊数学方法对软件质量评价标准进行模糊化处理,以度量数据为基础,根据软件质量子特性和指标之间的关系,采用模糊综合评价方法评价子特性质量和特性质量,通过建立软件质量评价模型,有效地解决了软件质量的多指标评价问题,可用于指导用户进行软件过程改进.

软件质量控制支持工具SQC的研究与实现

针对现有的软件评审、软件测试支持工具在软件缺陷数据统计支持上的局限性,提出了一种集成软件测试和软件评审的软件质量控制活动模型,从缺陷数据管理的角度将以上两种质量控制手段结合起来,提高了缺陷数据对于软件项目数据分析的价值,同时也提高了软件质量控制活动本身的效率。介绍了软件质量控制支持工具SQC,并对该工具的设计和实现进行详细的说明。

可集成的制造执行系统

制造执行系统作为企业上层事务处理和低层设备控制系统之间的中间桥梁 ,在生产计划的优化调度、生产过程的改进等方面起着越来越重要的作用 ,并得到工业界广泛的认可和应用。本文总结了制造执行系统的发展历程和存在的问题 ,简要介绍了制造执行系统的功能、信息交互关系 ,以及信息技术对制造执行系统的冲击 ,进而引入工作流管理技术、智能Agent和面向对象技术 ,提出了可集成制造执行系统的体系结构、运行机制和开发方法 ,并对该系统的市场进行了分析与预测。

渤海造船厂计算机集成制造系统(BS-CIMS)

简介了渤海造船厂计算机集成制造系统（ＢＳ－ＣＩＭＳ）的系统结构，系统组成（工程设计、经营管理、财务管理、生产管理、建造作业和质量管理６个应用分系统），信息分类编码原则，计算机支撑环境，分系统之间信息界面和系统集成方案。