[00410151]程控交换软件维护工具

该成果为国家自然科学基金资助项目，主要围绕国际电联推荐的软件规格说明语言ＳＤＬ（Ｓｐｅｃｉｆｉｃａｔｉｏｎ ａｎｄ Ｄｅｓｃｒｉｐｔｉｏｎ Ｌａｎｇｕａｇｅ?结合国际上软件工程领域的热点之一－软件维护技术，开展电信软件维护理论与实验的研究工作。众所周知，当今的软件维护费用已占到软件总成本的６０％以上。对于象程控交换软件系统这样的大型软件，其维护费用所占比例更高。因为这样的系统一般寿命都在２０年以上，而随着经济的发展，地理和社会环境的变化，都不可避免地要对这些软件系统增加功能，改善性能。其巨大的维护工作量有时难以预料。学生的软件维护负担是今日软件危机的重要根源。针对这一状况，迫切需要开展自动化维护工具的研究。软件维护的主要困难在于难以控制的维护修改的副作用－波动效应现象，即由于软件各部分之间的藕合作用，导致对于其中一部分的修改，并联到其它部分需要进一步修改的传播扩散现象。而且稍一修改不当，很容易引入新的软件错误。为此将波动效应的自动控制列为该基础上的主要研究内容，并确定了面向开工具的研究方法。它包括：建立波动效应数学模型，并在此基础上量化可维护性度量准则；设计算法库；构造实验系统初步实用化。在该成果中，在原有研究基础上对上述研究内容进行了深入的理论研究。在世界电信领域首次提出了基于ＳＤＬ语言的波动效应计算理论框架，并在该理论框架指导下顺利地设计了一整套算法，从而将人们多年来一直难以量化的软件可维护性度量变成一种直接量化的度量指标。根据这一理论和算法，人们比较软件系统之间维护的难易程度，或比较一个系统两种实现方案之间的难易程度，或比较一个系统两种修改方案对该系统可维护性的影响大小等都不再是一件难事。根据这一理论和算法，初步构造了一处自动工具，验证了该理论的正确性、有效性和可实现性。目前正对该工具进行实用化改造。