Ada并发软件的质量保证策略和模型

本文概述了Ａｄａ并发软件质量保证的基本特点，探讨了死锁检测和实时性检测与优化方法，并研究了相应的质量保证策略和模型。     

软件质量保证方法研究

本文针对目前软件质量存在的问题,通过对软件质量保证方法研究,从而提出具体的以软件质量为核心的软件质量保证方法。     

Ada软件集成开发环境的设计与实现

作者在Windows 3.0上设计开发了一个Ada软件集成环境——ASIDE,它集多种软件工具(包括编辑器、编译器及键接器)于一体,采用多窗口和菜单以及鼠标枝术,为用户编辑、调试和运行Ada源程序提供了一个良好的环境。     

Ada软件SLICE分析器（ASA）

对程序进行分析和测试是提高软件可靠性有效途径，本文介绍的Ａｄａ软件ＳＬＩＣＥ分析器是一种对被测软件进行静态数据流分析的工具，它能缩小用户分析与检查被测程序的范围，帮助用户及时找到所关心的程序段和语句，为保证Ａｄａ软件系统的质量，提高开发与维护大型复杂软件系统的效率提供支持。     

VAX／VMS Ada编译程序的结构与功能

《Ada编译程序系统剖析》是我国七·五期间军用计算机研制计划中的主要课题之一。其目标是以VAX/VMS Ada编译程序系统的目标码为对象,搞清该系统的结构、功能、方法和接口技术。从Ada编译及其环境各方面介绍了Ada编译系统的结构、所采用的编译方法、各遍扫描的任务和相互接口、中间语言的形式、Ada任务与异常的实现以及与操作系统VMS的接口等技术。     

软件过程集成框架的实践与思考

软件实践表明产品开发的过程和产品品质有产非常密切的联系,因此很多软件企业都把提高软件开发过程作为提高软件品质的重要手段。现有的过程模型中CMM/CMMI是很多企业采用的一个框架,CMMI模型非常复杂(描述性文档就有超过1000页),因此很需要有一种软件来支持软件过程的改进。本文给出了一个软件过程改进集成框架SPIF,较为详细地叙述了SPIF中项目计划与进度监控的实现。SPIF对CMM/CMMI有着良好的支持,经过几个软件公司的实践表明SPIF实现了软件过程可视化、管理效率化,可以对软件企业实施CMM/CMMI过程改进有着很好的促进作用。     

目标驱动的软件质量保证实施

软件业发展日新月异,部分软件公司注意力集中投入资本在新产品的开发上,却往往忽略了软件质量保证体系的建立与改进.介绍如何以目标驱动的软件质量保证实施,怎样从软件质量保证(SQA)目标出发,建立必要的质量保证活动规范,平衡SQA在各个开发阶段的工作量,缩短整个开发周期,从而在满足商业目的的同时完善软件开发过程,提高软件质量.     

基于QFD的软件质量保证模型

本文将ＱＦＤ应用到软件开发中，提出了一种软件的质量保证模型，并给出了应用实例。     

软件质量评价体系及其实现

近年来,随着国际竞争的不断升级,“质量是软件的生命”这一口号已深入人心。软件质量评价作为软件质量保证的重要手段,已逐渐被开发商、用户所重视。世界上有许多机构开始进行质量评价的形式化手段研究,并推出了如DIN66285,ISO9126等软件质量评价标准。本文就是对这一领域的研究,主要分析了软件质量的科学评价方法,总结了得出的一些算法与心得,在国内首次提出了评价模型分级的设想,并在计算机上加以实现。     

多级正交软件体系结构及其应用

软件体系结构的设计,进化和重用一直是软件工程领域的重要研究方向,本文首先提出了多级正交软件体系结构的概念,然后给出结构进化和重用的控制方法。并将其运用到实际软件的设计开发,实践证明,我们这一方法对于降低软件进化的复杂性,提高重用率是行之有效的。     

基于设计模式的星载软件体系结构设计方法

星载软件是整个卫星系统设计和开发的中心,而体系结构是整个软件开发的蓝图,在软件开发中占有十分重要的位置。为了提高星载软件开发效率,降低研制成本,同时满足实时性、可重构和可维护性要求,从体系结构的前3个视图方面采用基于设计模式的方法提出了一种满足要求的星载软件体系结构。     

浅谈软件质量度量和软件产品评价

软件质量度量和软件产品评价系列标准是国际标准化组织ISO／IEC JTC1近年来在软件工程标准方面的研究重点之一,对于通过量化手段进行软件产品的度量和评价,规范软件产品的质量管理,这两个系列标准提供了一条可以参考的实施途径。本文在多年跟踪研究国际上软件工程标准和制定软件工程国家标准的基础上,对ISO／IEC JTC1近年推出的ISO／IEC 9126和ISO／IEC 14598系列,以及正在研制的ISO／IEC 25000系列标准进行综合介绍。     

软件体系结构、应用平台及框架仓库技术

应用平台是新近提出的一种中间件（ｍｉｄｄｌｅｗａｒｅ）技术，其主旨是为应用提供更强大的支持（如提高质量、增加复用、提高生产率、降低维护）。最近几年兴起的软件体系结构研究已为应用平台的研究开发打下了必要的技术基础。ＣＡＳＥ集成工具与环境是应用平台的物理支撑，框架仓库和面向对象组织是应用平台的集成保证。应用平台不仅是新兴的技术和概念，而且具有很大的现实意义和极广阔的应用前景。本文对应用平台和应用平台的关键支撑技术及有关概念（包括：应用平台、软件体系结构和框架仓库等）进行综述，并给出作者的观点。     

面向非软件专业人员的一种软件系统集成方案

数值仿真类软件是科学研究和工程设计中的一类常用软件。开发该类软件需解决非软件专业人员在软件开发能力上的局限性,以保证软件开发质量与进度。以火箭发动机数值仿真软件开发为背景,提出了适用于此类软件开发的一种软件系统集成方案。该方案在传统的软件分层模型的基础上,使用代码自动生成技术,实现了模块封装接口的自动代码生成和参数修改用户界面自动代码生成。该方案所使用的代码自动生成技术还可用于用户自定义仿真模块的开发,保证了集成系统开放性。由于使用了代码自动生成技术,非软件专业人员的开发工作集中于其所熟悉的专业领域,加快了开发进度,在一定程度上减少了劣质代码的产生。研究表明,该方案可以有效解决非软件专业人员在软件开发中作用难以发挥的问题。研究工作还可为行业软件等其它类似软件的开发提供参考。     

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

本文在研究ISO9000和CMM质量管理的基础上，分析了Browser/Server结构下软件质量管理平台的主要组成框架和技术，其中主要包括工作流和文档流的管理以及软件过程管理和改进的框架。通过研究在开发过程中工作流和文档流的管理，以及各个工作单元之间的有机协调和控制，并结合中间过程的数据记录、统计、分析和决策，实现了项目跟踪和监控，从而保证了软件开发过程的质量和企业生产成熟度能力的提高，并实现持续地软件过程改进。     

基于软件体系结构的Agent规约和演化

借助软件体系结构描述语言C2的表达能力，基于组件，连接体和体系结构配置3要素，研究适合于Agent规约和构造的组合方法，以软件体系结构的类型化理论为基础，探讨了基于子类型关系的Agent演化，用扩充关系表达有相互关联的不同类型的Agent之间的关系，通过为遗留代码定做包装器，领域翻译器以及相应的界面和约束，将非Agent实体迁移为Agent，相关案例说明结合组合，基于子类型关系的演化，扩充，迁移等方法，可以满足多Agent系统构造过程中Agent类型的多样性。