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

Measuring method of software dependability based on Pi calculus

作　　者：赵倩[1,2] 王慧强[2] 冯光升[2] 赵靖[2] 

机构地区：[1]哈尔滨商业大学计算机与信息工程学院,哈尔滨150028 [2]哈尔滨工程大学计算机科学与技术学院,哈尔滨150001

出　　处：《吉林大学学报（工学版）》2011年第6期1684-1689,共6页Journal of Jilin University:Engineering and Technology Edition

基　　金：国家自然科学基金重大计划项目(90718003);国家自然科学基金项目(60873036;60973027);'863'国家高技术研究发展计划项目(2007AA01Z401);中央高校基本科研业务费专项基金项目(HEUCF100601);黑龙江省自然科学基金项目(F201037)

摘　　要：提出了一种基于Pi演算的软件可信性度量方法,将软件运行行为分解成一系列并联或串联动作。然后,通过度量软件运行过程及结果与预期目标之间的拟合度对软件可信性进行定量研究。实验分析表明,该方法简化了软件可信性度量过程,并能够实时有效地度量软件可信性的变化情况,适用于度量对可信性变化实时性要求较高的软件。A measuring method of software dependability based on Pi calculus was proposed.In this method,the running behaviors of software were decomposed into parallel or series of actions.Then the dependability of the software was quantitatively analyzed by comparison of the real running results with the expected results.Experimental analysis shows that the proposed method can simplify the measuring process of software dependability and timely and effectively monitor the changes of the software dependability.The results suggest that the proposed method can be applied for real-time measurement of software dependability.

关 键 词：计算机软件 软件可信性 拟合度 度量 等价 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]