基于SDL语言的软件维护工具SMS

叙述了基于ＣＣＩＴＴ－ＳＤＬ语言的软件维护工具ＳＭＳ的实现及应用，并简单介绍了波动效应分析理论。最后指出了ＳＭＳ的发展前景。

基于变更传播仿真的软件稳定性分析

软件自身的复杂性和未来变更需求的不确定性使得软件的稳定性评估十分困难.文中将软件的变更需求看成一系列"原子变更需求"的叠加,把"原子变更需求"的响应过程抽象成初始变更节点的随机选择过程以及由此引起的涟漪效应,提出了基于变更传播仿真的稳定性评估方法SEMCIS,定义了变更的传播模型和评价指标,并且给出了一种基于变更传播仿真的指标计算方法.实验结果表明,降低传播概率、改善软件的体系结构设计可以有效地抵御"涟漪效应"的发生,提高软件的稳定性.入度Hub的相互连接是造成大范围变更的主要原因,而入度Hub中存在的大量后继节点,则是造成大范围变更频繁发生的主要原因.

进程创建顺序的行为波动效应分析

波动效应是导致大型软件系统维护费用昂贵的一个重要原因。本文基于CCITT推荐,并已在电信领域广泛应用的SDL语言研究了一种修改进程创建顺序而引起的行为波动效应现象。文中提出了进程创建式,进程创建顺序约束断言等概念。然后严格构造了一个称之为X的公理系统。从而使波动效应的分析归结为该公理系统中的演绎推理。最后给出一个例子。

舰艇装备软件维护研究

随着计算机在舰艇装备中的日益普及,软件已成为影响舰艇武器装备战斗力的一个关键因素。软件维护作为舰艇装备软件生命周期中费用最高、工作最复杂的一个阶段,对软件产品的质量和可靠性均有着直接而重要的影响。本文介绍了舰艇装备软件维护的基本情况,对维护过程的关键阶段以及维护工作中存在的问题、改进的措施等方面进行了分析。

软件可维护性的一种定量计算方法

软件可维护性是软件维护难易程度评价的标准,为实现软件可维护性的定量计算,在介绍波动效应的基础上,根据软件可维护性计算的基本思路和基本原理,建立了基于波动效应分析的软件可维护性计算模型,并对模型进行了分析和校验。

功能转换——软件维护自动化之路

软件维护的自动化是由维护工具根据维护人员提出的维护需求规范自动进行维护操作．这些维护操作种类很多，但最重要的是功能转换．功能转换涉及到功能识别、功能转换需求规范定义及功能生成．功能自动转换的基础在于对功能这一概念的理论剖析和建模．目前维护自动化基本上是走程序转换的道路，这种方法是建立一个概念模式及转换模式库以提供规则，程序转换就依据这套规则进行．程序转换没有从根本上解决问题，因为维护能力被限制在所提供的概念模式及转换模式中，而实际的维护要求则千变万化．这个矛盾的解决只能通过总结出功能的共性，并借以分析出具体软件系统的功能及各功能之间的约束关系，从而维护人员能针对具体的要求，提出相应的功能转换需求，进行高水平的维护．本文分析了功能概念，并在此基础上提出了功能识别及功能约束所应采取的形式。