摘要
提出了一种基于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.
出处
《吉林大学学报(工学版)》
EI
CAS
CSCD
北大核心
2011年第6期1684-1689,共6页
Journal of Jilin University:Engineering and Technology Edition
基金
国家自然科学基金重大计划项目(90718003)
国家自然科学基金项目(60873036
60973027)
'863'国家高技术研究发展计划项目(2007AA01Z401)
中央高校基本科研业务费专项基金项目(HEUCF100601)
黑龙江省自然科学基金项目(F201037)
关键词
计算机软件
软件可信性
拟合度
度量
等价
computer software
software dependability
fitting degree
measurement
equivalence