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

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

Reliability Analysis Algebraic Approach to Software Evolution

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.