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

摘要：

环境和需求的改变导致软件演化发生,并通常会使软件架构(Software architecture,SA)产生变化.现有的结构化软件可靠性模型对评价软件初始结构设计有不错的效果,但在软件演化时的实时分析方面有局限性.从软件结构建模出发,通过使用代数方法将软件演化描述为原子操作序列,并跟踪分析序列中每一步操作对可靠性的影响,从而建立基于过程的可靠性分析方法.方法可分析演化关键环节及整体趋势,用以进一步反馈和约束演化方案设计,最终达到提高软件产品质量的目的.通过对2个实际算例的深入分析与讨论,方法的有效性与易用性得到验证.

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

所属期刊栏目：47

资助基金：国家重点研发计划专项;国家自然科学基金

在线出版日期：2021-03-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：148-160