Operators for Analyzing Software Reliability with Petri net

被引：1
|
作者：
Yu Ruiqiang [1 ]
Huang Zhiqiu [1 ]
机构：
[1] Nanjing Univ Aeronaut & Astronaut, Coll Informat Sci & Technol, Nanjing 210016, Peoples R China
来源：
ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 2 | 2008年
关键词：
Petri net; software reliability; operator; reduction; decomposition;
D O I：
10.1109/ISISE.2008.100
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Reliability is one of the most important indicators for software quality. Among the present researches of software reliability, majority focus on the appliance of probability statistics model for the whole software system. Few work based on software model for analyzing the software reliability is learned. Reliability Petri Net (RPN) is presented in this paper. In RPN, transaction means the function or module of software, and is marked with reliability gene. Based on analyzing the Petri net structure, four reliability operators are developed to perform the relationships between tractions. Reliability formulas are provided respectively for the reduction and decomposition operations of Petri net. Furthermore, priority of these reliability operators is given. With this research, more complex Petri net model could be greatly simplified and the reliability of the system could be evaluated effectively and easily. An example is provided for demonstrating the practicability of this reliability analysis method.
引用
收藏
页码：358 / 361
页数：4
相关论文
共 50 条
  • [31] Analyzing Application Private Information Leaks with Privacy Petri Net
    Fan, Lejun
    Wang, Yuanzhuo
    Cheng, Xueqi
    Li, Jinming
    2012 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2012, : 370 - 375
  • [32] Modeling and Analyzing Project Performance with Timing Constraint Petri Net
    Yu Ruiqiang
    Huang Zhiqiu
    Wang Lin
    2009 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND TECHNOLOGY, VOL II, PROCEEDINGS, 2009, : 243 - +
  • [33] A PETRI NET BASED PLATFORM FOR DEVELOPING COMMUNICATION SOFTWARE SYSTEMS
    AOYAMA, M
    CHANG, CK
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1992, E75A (10) : 1348 - 1359
  • [34] Application of 00 Petri-net in the parallel software modelling
    Yao, SZ
    Wang, R
    Dong, SZ
    NEW TECHNOLOGIES ON COMPUTER SOFTWARE, 1997, : 94 - 99
  • [35] Analyzing method of change region in BPM based on module of Petri net
    Liu, X., 1655, Asian Network for Scientific Information (12):
  • [36] A Petri Net Modeling Approach for Reliability of PMS with Time Redundancy
    Wu, Xiaoyue
    Yu, Haiyue
    2019 COMPANION OF THE 19TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS-C 2019), 2019, : 249 - 254
  • [37] A Petri Net based approach for reliability prediction of web services
    Zhong, Duhang
    Qi, Zhichang
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: OTM 2006 WORKSHOPS, PT 1, PROCEEDINGS, 2006, 4277 : 116 - +
  • [38] A Petri-Net based validator in reliability of a composite service
    Chi, YL
    Tsai, MH
    Lee, CW
    2005 IEEE INTERNATIONAL CONFERENCE ON E-TECHNOLOGY, E-COMMERCE AND E-SERVICE, PROCEEDINGS, 2005, : 450 - 453
  • [39] A Petri Net Perspective on the Resource Allocation Problem in Software Engineering
    Lopez-Grao, Juan-Pablo
    Colom, Jose-Manuel
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY V, 2012, 6900 : 181 - 200
  • [40] Modeling Software Component Based on Extended Colored Petri Net
    Yu, Yong
    Li, Tong
    Liu, Qing
    Dai, Fei
    INTELLIGENT COMPUTING AND INFORMATION SCIENCE, PT II, 2011, 135 : 429 - 434
12345