基于Pi演算的软件可信性度量方法.PDF

第 卷 第 期 （ ） ４１ ６ 吉林大学学报 工学版 Ｖｏｌ．４１ Ｎｏ．６ 　 　 　 年 月 （ ） ２０１１ １１ Ｎｏｖ．２０１１ 　 ＪｏｕｒｎａｌｏｆＪｉｌｉｎＵｎｉｖｅｒｓｉｔ Ｅｎ ｉｎｅｅｒｉｎ ａｎｄＴｅｃｈｎｏｌｏ Ｅｄｉｔｉｏｎ 　 　 　 ｙ ｇ ｇ 　 ｇｙ 　 　 基于 演算的软件可信性度量方法 Ｐｉ ， １２ ２ ２ ２ ， ， ， 赵 倩 王慧强 冯光升 赵 靖 　 　 （ ， ； ， 哈尔滨商业大学计算机与信息工程学院 哈尔滨 哈尔滨工程大学计算机科学与技术学院 １． １５００２８ ２． 哈尔滨 ） １５０００１ ： ， 摘 要 提出了一种基于 演算的软件可信性度量方法 将软件运行行为分解成一系列并联 Ｐｉ 　 。 ， 或串联动作 然后 通过度量软件运行过程及结果与预期目标之间的拟合度对软件可信性进 。 ， ， 行定量研究 实验分析表明 该方法简化了软件可信性度量过程 并能够实时有效地度量软件 ， 。 可信性的变化情况 适用于度量对可信性变化实时性要求较高的软件 ： ； ； ； ； 关键词 计算机软件 软件可信性 拟合度 度量 等价 中图分类号： 文献标志码： 文章编号： （ ） ＴＰ３１１．５ Ａ １６７１５４９７２０１１０６１６８４０６ 　　 　　 － － － Ｍｅａｓｕｒｉｎ ｍｅｔｈｏｄｏｆｓｏｆｔｗａｒｅｄｅｅｎｄａｂｉｌｉｔ ｂａｓｅｄｏｎＰｉｃａｌｃｕｌｕｓ ｇ 　 　 　 ｐ ｙ 　 　 　 　 　 ，