期刊文献+

利用随机Petri网分析软件可靠性 被引量:7

ANALYZING SOFTWARE RELIABILITY BY USING STOCHASTIC PETRI NET
下载PDF
导出
摘要 提出一种基于随机Petri网的软件可靠性分析方法。该方法的可靠性模型可以很好地描述软件系统的动态变化过程,并可以得到软件系统处于各个状态的瞬时及稳态概率,为系统运行一定时间后的可靠性情况提供有利的分析手段。此外,所获得的结果也可以直接用于指导后期的开发过程。 In this paper it gives an approach based on stochastic Petri net that can evaluate software reliability. The software reliability model build by this method is able to describe the dynamic change process of software well and to get transient and steady state probability of software system in various states, which provides a powerful means for analyzing the reliability after software has operated for a period of time. Moreover, the evaluated results can be used directly as the guidance of software post-development.
作者 李妍琛
出处 《计算机应用与软件》 CSCD 2009年第8期133-135,共3页 Computer Applications and Software
关键词 随机PETRI网 软件可靠性 瞬时可靠度 马尔可夫链 Stochastic Petri Net (SPN) Software reliability Transient reliability Markov chain
  • 相关文献

参考文献5

二级参考文献24

  • 1M Ajmone Marsan, G Conte, G Balbo. A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems[J]. ACM Transactions on Computer System, 1984, 2(2) :93- 122.
  • 2G Ciardo, A Blakemore, jr P F Chimento, et al. Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets[J]. Linear Algebra,Markov Chains and Queueing Models, IMA Volumes in Mathematics and It' s Applications, 1993, 48:145 ~1
  • 3J A Couvillon, R Freire, R Johnson, et al. Performability Modeling with UltraSAN[J]. IEEE Transactions on Software Engineering, 1991, 32:69- 80.
  • 4P Buchholz. A Hierarchical View of GCSPNs and Its Impact on Quantitative and Quantitative Analysis [J].Parallel and Distributed Computing, 1992, 15: 207-224.
  • 5V Mainkar, K S Trivedi. Fixed Point Iteration Using Stochastic Reward Nets[C]. In: Proc. 6th International Workshop on Petri Nets and Performance Models,1995. 21-30.
  • 6P Kemper. Numerical Analysis of Superposed GSPNs [J]. IEEE Transactions on Software Engineering,1996,22:37- 49.
  • 7P Kemper. Transient Analysis of Supperposed GSPNs [C]. In: Proc. 7th International Workshop on Petri Nets and Performance Models, 1997. 101 - 110.
  • 8M Li, N D Georganas. Parametric Analysis of Stochastic Petri Nets [M]. Computer Performance Evaluation,1992. 59-72.
  • 9W Henderson, D Lucic, P G Taylor. A Net Level Performance Analysis of Stochastic Petri Nets[J]. Journal of Australian Mathematical Soc. Ser. B, 1989, 31:176-187.
  • 10S Donatelli, M Sereno. On the Product Form Solution for Stochastic Petri Nets[C]. In:Proc. of International Conference on Application and Theory of Petri Nets,1993. 154- 172.

共引文献11

同被引文献62

引证文献7

二级引证文献35

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部