软件体系结构8.pptxVIP

1 软件体系结构8 2 第八章 软件体系结构的分析与测试 8.1 体系结构的可靠性建模 ◇ 概述 假设Ri表示状态Si的可靠性，Pij表示从状态Si到Sj的迁移的概率，基于状态图可以定义一个迁移矩阵M和可达值M(i,j) M(i,j) = Ri×Pij M(i,j)表示能够从状态Si到状态Sj成功迁移的概率。 第1页/共60页 3 第八章 软件体系结构的分析与测试 8.1 体系结构的可靠性建模 ◇ 概述 迁移矩阵 第2页/共60页 4 第八章 软件体系结构的分析与测试 8.1 体系结构的可靠性建模 ◇ 概述 假设S={S1, S2, …, Sn}是一个状态的集合，S1是开始状态，Sn是最终状态。 Mk(i,j)表示通过k个迁移从Si成功到达Sj的概率。 此时，通过k个迁移，从Si到Sj的可靠性为 　　　　R = Mk(i,j)×Ri 第3页/共60页 5 第八章 软件体系结构的分析与测试 8.1 体系结构的可靠性建模 ◇ 顺序结构风格 在顺序结构风格中，系统的运行按构件的顺序依次执行。 第4页/共60页 6 第八章 软件体系结构的分析与测试 8.1 体系结构的可靠性建模 ◇ 顺序结构风格 假设体系结构是由k个构件顺序组成，其迁移矩阵通过下式构造： M(i,j) = 0, Si不能够到达Sj