《软件可靠性专家系统 SRES 开发》求取 ⇩

目录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——GM14

2.2.3 Modified Geometric Model—MGM15

2.2.4 Geometric Poisson Model——GPM16

2.2.5 Hypergeometric Distribution Model——HGDM17

2.2.6 Goel Okumoto Model——GOM18

2.2.7 Yamada Osaki Model——YOM19

2.2.8 Goel 3P Model——Goel（3）20

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

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

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

2.2.12 Littlewood s Bayesian Debugging Model——LDM24

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

2.2.14 Schneidewind Model——SM27

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

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

2.5 SRTS的使用35

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

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

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

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

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

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

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

3.1 事实42

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

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.d79

3.12.2 适用于WM,MGM,GOM,YOM,GO（3）,NHP3AD的不完全数据输入文件——input2.d80

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

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

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

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

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

3.13　输出文件83

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

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

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

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

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

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

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

3.13.8　Goel（3）模型的输出文件——opt8.d0和opt8.d189

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

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

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

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

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

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

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