软件体系结构8

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
课 程 内 容
◇ 软件体系结构概论 ◇ 软件体系结构建模 ◇ 软件体系结构风格 ◇ 软件体系结构描述
◇ 动态软件体系结构
◇ Web服务体系结构 ◇ 基于体系结构的软件开发 ◇ 软件体系结构的分析与测试 ◇ 软件体系结构评估
◇ 软件产品线体系结构
第8章 软件体系结构的分析与测试
8.1 可靠性建模
S1 S2 M= Si
第8章 软件体系结构的分析与测试
8.1 可靠性建模
◇ 顺序结构风格
体系结构视图 p12 (a) C1 C2 (b) 状态视图 R1 S1 R2 S2
Ck Rk Sk
M (i, j ) 0, Si 不能够到达S j ,for 1 i, j k M (i, j ) ri pij , Si能够到达S j
第8章 软件体系结构的分析与测试
8.3 基于SA的软件测试
◇ 实例与实现
自学
第8章 软件体系结构的分析与测试
本章作业与思考题
1、什么是软件体系结构的可靠性?为什么要研究软 件体系结构的可靠性? 2、如何模型化系统的可靠性?
3、软件体系结构风险分析有哪些基本步骤?
4、软件体系结构测试与程序测试的主要区别是什么?
第8章 软件体系结构的分析与测试
8.1 可靠性建模
◇ 并行/管道-过滤器结构风格
体系结构视图 p 12 R1 (a) C1 C2 R 2 p2k C3 Rk Ck
Ck-1 状态视图 (b) S1 P12 Sp1 Sk
P
n2
k 1
nk
M (i, j ) Ri Pij , Si S p for 1 i, j | S | M (i, j ) Rn Pnj , Si S p , and 1 n k Cn in Si M (i, j ) 0, Si 不能到达S j
◎ 为构件和连接件开发其启发式风险因子 ◎ 建立用于风险评估的CDG ◎ 通过图论中的算法执行风险评估和分析
第8章 软件体系结构的分析与测试
8.3 基于SA的软件测试
◇ 测试方法
◎ 测试内容
◎ 测试准则
◎ 测试需求和测试用例的生成
1级测试: 组件内部 2级测试: 连接器内部 3级测试:连 接器与组件 4级测试:组 件与连接器 4级测试: 组件之间
S1 0 R2P21
ห้องสมุดไป่ตู้
S2 R1P12 0
Si R1P1i R2P2i 0 RiP(n-1)i RnPni
Sn-1
Sn
R1P1n-1 R1P1n R2P2n-1 R2P2n RiPin-1 0 RnPn(n-1) RiPin RiP(n-1)n 0
RiPi1 RiPi2
Sn-1 RiP(n-1)1 RiP(n-1)2 Sn RnPn1 RnPn2
第8章 软件体系结构的分析与测试
8.1 可靠性建模
◇ 调用-返回结构风格
体系结构视图 (a) p13 R1 状态视图 (b) S1 R1 S3 C3 S2 C1 p12 p21 C2
M (i, j ) Ri Pij , Si 可以到达S j 1 M (i, j ) Pij , Si 可以到达S j , S j 是被调用构件, i, j k M (i, j ) 0, Si 不能到达S j
第8章 软件体系结构的分析与测试
8.1 可靠性建模
◇ 系统的可靠性模型化步骤
◎ 通过系统的详细说明书,确定系统所采用的体系结构 风格。
◎ 把每一种体系结构风格转换成状态视图,并计算状态 视图中每一个状态的可靠性及其相应的迁移概率。
◎ 通过整个系统的体系结构视图,把所有的状态视图集 成为一个整体状态视图。 ◎ 通过整体状态视图构造系统的迁移矩阵,并计算系统 的可靠性。
第8章 软件体系结构的分析与测试
8.2 可靠性风险分析
◇ 软件体系结构风险分析背景
◎ 动态方法 ◎ 构件依赖图
第8章 软件体系结构的分析与测试
8.2 可靠性风险分析
◇ 软件体系结构风险分析方法
◎ 采用体系结构描述语言ADL对体系结构进行建模 ◎ 通过模拟方法执行复杂性分析
◎ 通过FMEA和模拟运行执行严重性分析
第8章 软件体系结构的分析与测试
8.1 可靠性建模
P C2 2(k-2) P2(k-1) Ck-2 C3 Ck-1 Ck-3 Sb1 Rk-1
◇ 容错结构风格
体系结构视图 p12 (a) C1 R1
Rk Ck
状态视图 (b) S1
Sk-2 Sk Sk-1
M (i, j ) Ri Pij , Si Sb ar q 1 M (i, j ) Ra1 (1_ Rm ) Rn , Si Sb并且Si 包括Ca1 Car · · m a1 qa 2 M (i, j ) 0, S 不能到达S ,1 i, j | S |,1 a k i j r
相关文档
最新文档