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

• paper • Previous Articles     Next Articles

Measuring method of software dependability based on Pi calculus

ZHAO Qian1,2, WANG Hui-qiang2, FENG Guang-sheng2, ZHAO Jing2   

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

PDF (PC)

608

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

CLC Number: 

  • TP311.5
[1] JIA Hong-lei, WANG Wan-peng, CHEN Zhi, ZHUANG Jian, WANG Wen-jun, LIU Hui-li. Real-time pressure measurement of profiling elastic press roller based on soil cone index [J]. 吉林大学学报(工学版), 2018, 48(4): 1169-1175.
[2] MOU Zong-lei, SONG Ping, ZHAI Ya-yu, CHEN Xiao-xiao. High accuracy measurement method for synchronous triggering pulse transmission delay in distributed test system [J]. 吉林大学学报(工学版), 2018, 48(4): 1274-1281.
[3] MA Jian, FAN Jian-ping, LIU Feng, LI Hong-hui. The evolution model of objective-oriented software system [J]. 吉林大学学报(工学版), 2018, 48(2): 545-550.
[4] YU Hua-nan, DU Yao, GUO Shu-xu. High-precision synchronous phasor measurement based on compressed sensing [J]. 吉林大学学报(工学版), 2018, 48(1): 312-318.
[5] LUO Yang-xia, GUO Ye. Software recognition based on features of data dependency [J]. 吉林大学学报(工学版), 2017, 47(6): 1894-1902.
[6] FENG Jian-xin. Recursive robust filtering for uncertain systems with delayed measurements [J]. 吉林大学学报(工学版), 2017, 47(5): 1561-1567.
[7] CHEN He, YANG Zhi-jun, WU Zhao-chun, Feng Zhi-gang, ZHAO Ke-jia, LI Di-fei, TIAN Di. Standard generator and its calibration method for analog component video signal with distortion [J]. 吉林大学学报(工学版), 2017, 47(4): 1159-1164.
[8] WANG Qi-ming, SU Jian, ZHANG Lan, CHEN Qiu-yu, XU Guan. Forward kinematics of orthogonal Stewart platform based on L-M algorithm [J]. 吉林大学学报(工学版), 2017, 47(1): 97-104.
[9] YING Huan, WANG Dong-hui, WU Cheng-gang, WANG Zhe, TANG Bo-wen, LI Jian-jun. Efficient deterministic replay technique on commodity system environment [J]. 吉林大学学报(工学版), 2017, 47(1): 208-217.
[10] LI Yong, HUANG Zhi-qiu, WANG Yong, FANG Bing-wu. New approach of cross-project defect prediction based on multi-source data [J]. 吉林大学学报(工学版), 2016, 46(6): 2034-2041.
[11] WANG Nian-bin, ZHU Guan-wen, ZHOU Lian-ke, WANG Hong-wei. Novel dataspace index for efficient processing of path query [J]. 吉林大学学报(工学版), 2016, 46(3): 911-916.
[12] CUI Jin-sheng, HOU Xu-yan, DENG Zong-quan, PAN Wan-jing, JIANG Sheng-yuan. Measurement system and experiment study of the effective thermal conductivity of granular system in a vacuum [J]. 吉林大学学报(工学版), 2016, 46(2): 457-464.
[13] DING Ning, LI Hai-bin, PENG Le-li, YU Zhi-shuai, CHANG Yu-chun. Design of interpolation chip for small photoelectric encoders [J]. 吉林大学学报(工学版), 2016, 46(2): 602-608.
[14] TE Ri-gen, JIANG Sheng, LI Xiong-fei, LI Jun. Document compression scheme based on integer data [J]. 吉林大学学报(工学版), 2016, 46(1): 228-234.
[15] CHEN Peng-fei, TIAN Di, YANG Guang. Design and implementation of LIBS software based on MVC architecture [J]. 吉林大学学报(工学版), 2016, 46(1): 242-245.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
Copyright © Journal of Jilin University(Engineering and Technology Edition), All Rights Reserved.
Tel: +86-431-85095297　Fax: +86-431-85094074　E-mail: xbgxb@jlu.edu.cn
Powered by Beijing Magtech Co. Ltd