摘要
环境和需求的改变导致软件演化发生,并通常会使软件架构(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.
作者
张捷
陆阳
张本宏
刘广亮
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)
出处
《自动化学报》
EI
CAS
CSCD
北大核心
2021年第1期148-160,共13页
Acta Automatica Sinica
基金
国家重点研发计划专项(2016YFC0801804)
国家自然科学基金(61572167)资助。
关键词
软件可靠性
软件演化
软件架构
代数方法
Software reliability
software evolution
software architecture(SA)
algebraic method
