《软件可靠性专家系统 SRES 开发》PDF下载

  • 购买积分:8 如何计算积分?
  • 作  者:徐仁佐著
  • 出 版 社:北京:清华大学出版社
  • 出版年份:1996
  • ISBN:7302018448
  • 页数:126 页
图书介绍:

目录 1

0 总论 1

1 SRTS使用的数据类型 8

2 SRTS中使用的软件可靠性模型简介 11

2.1 经验模型的选择原则 11

2.2 SRTS中的经验模型 12

2.2.1 Weibull模型 12

2.2.2 Geometric Model——GM 14

2.2.3 Modified Geometric Model—MGM 15

2.2.4 Geometric Poisson Model——GPM 16

2.2.5 Hypergeometric Distribution Model——HGDM 17

2.2.6 Goel Okumoto Model——GOM 18

2.2.7 Yamada Osaki Model——YOM 19

2.2.8 Goel 3P Model——Goel(3) 20

2.2.9 Musa Okumoto对数泊松执行时间模型——MOM 21

2.2.10 应用EM算法进行参数调整的三参数NHPP模型——NHP3AD 22

2.2.11 贝叶斯方法用于软件可靠性建模 24

2.2.12 Littlewood s Bayesian Debugging Model——LDM 24

2.2.13 Littlewood Verrall s Bayesian Reliability Linear andQuadratic Growth Models——LVLM,LVQM 26

2.2.14 Schneidewind Model——SM 27

2.4 经验模型的输入/输出数据文件小结 34

2.3 按要求的输入数据类型对经验模型进行分类 34

2.5 SRTS的使用 35

2.6 SRTS使用的输入数据的组织 37

2.6.1 为完全数据规定的输入数据文件名为input1.d 37

2.6.2 为不完全数据规定的输入数据文件名为input2.d 38

2.6.3 为Musa-Okumoto模型规定的输入数据文件名为input3.d* 38

2.6.4 为HGDM模型规定的输入数据文件名为input4.d* 39

2.6.5 为GPM模型规定的输入数据文件名为input5.d 39

2.6.6 为Schneidewind模型规定的输入数据文件名为input6.d 39

3.1 事实 42

3 开发基于规则的专家系统工具——CLIPS 42

3.2 规贝 44

3.3 变量、运算符和用户定义的函数 46

3.3.1 变量 46

3.3.2 字段通配符 47

3.3.3 字段约束 47

3.4 数学运算符 48

3.5 CLIPS的测试特色 48

3.6 模式联接 49

3.7 用户自定义函数 50

3.8.3 终端输入 51

3.8.2 文件的输入和输出 51

3.8.1 printout函数 51

3.8 CLIPS的输入与输出 51

3.9 CLIPS的用户界面 52

3.10 用CLIPS开发专家系统的例子 52

3.11 程序SRES.CLP的运行过程 69

3.12 输入文件 79

3.12.1 适用于GM,GOM,YOM,GO(3),LDM,LVLM,LVQM的完全数据输入文件——input1.d 79

3.12.2 适用于WM,MGM,GOM,YOM,GO(3),NHP3AD的不完全数据输入文件——input2.d 80

3.12.3 适用于HGDM的数据输入文件——input4.d 80

3.12.4 适用于MOM的执行时间完全数据文件——input3.d0 81

3.12.6 适用于GPM的数据输入文件——input5.d 82

3.12.5 适用于MOM的执行时间不完全数据文件——input3.d1 82

3.12.7 适用于SM的数据输入文件——input6.d 83

3.13 输出文件 83

3.13.1 WM模型的输出文件——opt1.d 83

3.13.2 GM模型的输出文件——opt2.d 84

3.13.3 MGM模型的输出文件——opt3.d 84

3.13.4 GPM模型的输出文件——opt4.d 85

3.13.5 HGDM模型的输出文件——opt5.d 85

3.13.6 GOM模型的输出文件——opt6.d0和opt6.d1 86

3.13.7 YOM模型的输出文件——opt7.d0和opt7.d1 87

3.13.8 Goel(3)模型的输出文件——opt8.d0和opt8.d1 89

3.13.9 NHP3AD模型的输出文件——opt9.d 90

3.13.10 MOM模型的输出文件—opt10.d0和opt10.d1 91

3.13.11 SM模型的输出文件—opt11.d 92

3.13.12 LDM模型的输出文件—opt12.d 93

3.13.13 LVLM模型的输出文件—opt13.d 94

3.13.14 LVQM模型的输出文件—opt14.d 95

3.13.15 其它的输出文件 96

4 SRES的总体结构 98

5 软件可靠性模型的奇异性问题及处理方法 100

5.1 经验模型中的奇异性 100

5.2.1 演化计算 103

5.2 演化计算及其在SRES开发中的试用 103

5.2.2 后沿拟合率 106

5.2.3 准确估计参数的计算方法 107

5.3 软件可靠性模型参数的演化计算 108

5.4 SRTS中采用的参数估计方法 109

5.4.1 GM,MGM,GPM,GOM,YOM的参数估计方程求根问题 110

5.4.2 HGDM的参数估计方程求根问题 110

5.4.3 Goel(3)的参数估计方程求根问题 111

5.4.4 LVLM,LVQM的参数估计方程求根问题 112

附图 116