面向软件演化的可靠性分析代数方法  

Reliability Analysis Algebraic Approach to Software Evolution

作　　者：张捷[1,2] 陆阳 张本宏[1] 刘广亮[1] ZHANG Jie;LU Yang;ZHANG Ben-Hong;LIU Guang-Liang(School of Computer Science and Information Engineering,Hefei University of Technology,Hefei 230601;School of Computer and Information,Anhui Normal University,Wuhu 241003)

机构地区：[1]合肥工业大学计算机与信息学院,合肥230601 [2]安徽师范大学计算机与信息学院,芜湖241003

出　　处：《自动化学报》2021年第1期148-160,共13页Acta Automatica Sinica

基　　金：国家重点研发计划专项(2016YFC0801804);国家自然科学基金(61572167)资助。

摘　　要：环境和需求的改变导致软件演化发生,并通常会使软件架构(Software architecture,SA)产生变化.现有的结构化软件可靠性模型对评价软件初始结构设计有不错的效果,但在软件演化时的实时分析方面有局限性.从软件结构建模出发,通过使用代数方法将软件演化描述为原子操作序列,并跟踪分析序列中每一步操作对可靠性的影响,从而建立基于过程的可靠性分析方法.方法可分析演化关键环节及整体趋势,用以进一步反馈和约束演化方案设计,最终达到提高软件产品质量的目的.通过对2个实际算例的深入分析与讨论,方法的有效性与易用性得到验证.Because of changes in the environment and needs,software evolution often occurs and leads to changes in software architecture(SA).The existing structural software reliability models have a beneficial effect on the evaluation of the initial software architecture,but it has limitations in real-time analysis of software evolution.From the software architecture modeling,the software evolution is described as an atomic operation sequence by using the algebraic method and the reliability influence of each step in the sequence is tracked.Accordingly,a procedural reliability analysis method is established.The approach can be used to analyze the key links and the overall trend of evolution,and further feedback and constrain the evolution scheme design,ultimately to improve the quality of software products.Two practical examples are analyzed and discussed in detail,and the validity and usability of the proposed approach are verified.

关 键 词：软件可靠性 软件演化 软件架构 代数方法 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]