Evaluation of Software Dependability Based on Pi Calculus

Abstract:

Article Preview

Evaluation is an important and basic issue for software dependability. However, traditional researches mostly focused on the conceptions and properties of dependability, which resulted in lots of different views about software dependability. Based upon Pi Calculus, dependable action path of software and real action path are set up through series of actions, which is decomposed by running software behaviors. In addition, three kinds of relationships between behaviors are defined. Consequently, the dependability is calculated by comparing the real running software actions to the decomposed ones based on the defined relationships. Experimental result conducted by MWB shows that the proposed method in one behavior is reasonable. At last, a real experiment proves the proposed measure method is more valid than traditional one.

Info:

Periodical:

Key Engineering Materials (Volumes 439-440)

Edited by:

Yanwen Wu

Pages:

832-837

DOI:

10.4028/www.scientific.net/KEM.439-440.832

Citation:

Q. Zhao et al., "Evaluation of Software Dependability Based on Pi Calculus", Key Engineering Materials, Vols. 439-440, pp. 832-837, 2010

Online since:

June 2010

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.