软件可靠性第二章翻译.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * 有用的故障预测，不同的设计方案比较建立一个概率（马尔可夫）模型预测的可靠性，可用性，基于该模型的可靠性模型的类型离散时间的马尔可夫链连续时间马尔可夫链在Logic Express的可靠性措施 使用概率来计算的预测模型检测 * * * * * * * * * * * * * * * * * PRISM ·概率模型检测工具– Developed at Birmingham, ~7 years ·特点：- 自定义建模语言-支持三种类型的概率模型- 图形用户界面-模拟器，调试器- Linux的/的Solaris / Windows / Mac上-开源：GNU通用公共许可证（GPL）-广泛的案例研究 PRISM 模型语言 ·简单的编程语言介绍了概率模型（马尔可夫链）·模块 -组件模型·变量 -描述了每个模块的状态·留守命令 -描述模块的行为·另外：全局变量同步 PRISM 模型语言：举例 · Tossing a coin // constants const int HEADS = 1; const int TAILS = 2; // a single module module coin // variable x : [0..2] ini