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

吉林大学学报(工学版) ›› 2011, Vol. 41 ›› Issue (6): 1684-1689.

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

赵倩^1,2,王慧强²,冯光升²,赵靖²

1.哈尔滨商业大学计算机与信息工程学院|哈尔滨 150028；2. 哈尔滨工程大学计算机科学与技术学院|哈尔滨 150001

收稿日期:2010-03-15 出版日期:2011-11-01 发布日期:2011-11-01
作者简介:赵倩(1980-),女,讲师|博士.研究方向:自律计算|软件可信性|软件演化.E-mail:zhaoqian@hrbeu.edu.cn
基金资助:
国家自然科学基金重大计划项目（90718003）;国家自然科学基金项目（60873036,60973027）; “863”国家高技术研究发展计划项目（2007AA01Z401）;中央高校基本科研业务费专项基金项目（HEUCF100601）;黑龙江省自然科学基金项目（F201037）

Measuring method of software dependability based on Pi calculus

ZHAO Qian^1,2, WANG Hui-qiang², FENG Guang-sheng², ZHAO Jing²

1.School of Computer and Information Engineering, Harbin University of Commerce, Harbin 150028, China|2. College of Computer Science and Technology, Harbin Engineering University, Harbin 150001, China

Received:2010-03-15 Online:2011-11-01 Published:2011-11-01

摘要/Abstract

摘要：

提出了一种基于Pi演算的软件可信性度量方法，将软件运行行为分解成一系列并联或串联动作。然后,通过度量软件运行过程及结果与预期目标之间的拟合度对软件可信性进行定量研究。实验分析表明，该方法简化了软件可信性度量过程，并能够实时有效地度量软件可信性的变化情况,适用于度量对可信性变化实时性要求较高的软件。

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

Abstract:

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.

Key words: computer software, software dependability, fitting degree, measurement, equivalence

中图分类号:

TP311.5

赵倩^1,2,王慧强²,冯光升²,赵靖². 基于Pi演算的软件可信性度量方法[J]. 吉林大学学报(工学版), 2011, 41(6): 1684-1689.

ZHAO Qian, WANG Hui-qiang, FENG Guang-sheng, ZHAO Jing. Measuring method of software dependability based on Pi calculus[J]. 吉林大学学报(工学版), 2011, 41(6): 1684-1689.

参考文献

相关文章 15

[1]	王旭, 欧阳继红, 陈桂芬. 基于垂直维序列动态时间规整方法的图相似度度量[J]. 吉林大学学报(工学版), 2018, 48(4): 1199-1205.
[2]	马健, 樊建平, 刘峰, 李红辉. 面向对象软件系统演化模型[J]. 吉林大学学报(工学版), 2018, 48(2): 545-550.
[3]	罗养霞, 郭晔. 基于数据依赖特征的软件识别[J]. 吉林大学学报(工学版), 2017, 47(6): 1894-1902.
[4]	石文孝, 孙浩然, 王少博. 无线Mesh网络信道分配与路由度量联合优化算法[J]. 吉林大学学报(工学版), 2017, 47(6): 1918-1925.
[5]	应欢, 王东辉, 武成岗, 王喆, 唐博文, 李建军. 适用于商用系统环境的低开销确定性重放技术[J]. 吉林大学学报(工学版), 2017, 47(1): 208-217.
[6]	李勇, 黄志球, 王勇, 房丙午. 基于多源数据的跨项目软件缺陷预测[J]. 吉林大学学报(工学版), 2016, 46(6): 2034-2041.
[7]	王念滨, 祝官文, 周连科, 王红卫. 支持高效路径查询的数据空间索引方法[J]. 吉林大学学报(工学版), 2016, 46(3): 911-916.
[8]	特日跟, 江晟, 李雄飞, 李军. 基于整数数据的文档压缩编码方案[J]. 吉林大学学报(工学版), 2016, 46(1): 228-234.
[9]	康辉, 王家琦, 梅芳. 基于Pi演算的并行编程语言[J]. 吉林大学学报(工学版), 2016, 46(1): 235-241.
[10]	陈鹏飞, 田地, 杨光. 基于MVC架构的LIBS软件设计与实现[J]. 吉林大学学报(工学版), 2016, 46(1): 242-245.
[11]	刘磊, 王燕燕, 申春, 李玉祥, 刘雷. Bellman-Ford算法性能可移植的GPU并行优化[J]. 吉林大学学报(工学版), 2015, 45(5): 1559-1564.
[12]	冯晓宁, 王卓, 张旭. 基于L-π演算的WSN路由协议形式化方法[J]. 吉林大学学报(工学版), 2015, 45(5): 1565-1571.
[13]	李明哲, 王劲林, 陈晓, 陈君. 基于网络处理器的流媒体应用架构模型(VPL)[J]. 吉林大学学报(工学版), 2015, 45(5): 1572-1580.
[14]	张艳, 梁栋, 鲍文霞, 朱明, 孙怡宁. 基于相关性度量的触觉步态特征优化[J]. 吉林大学学报(工学版), 2015, 45(5): 1608-1614.
[15]	王克朝, 王甜甜, 苏小红, 马培军. 基于频繁闭合序列模式挖掘的学生程序雷同检测[J]. 吉林大学学报(工学版), 2015, 45(4): 1260-1265.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed