潘和平;毛新跃;朱宣 基于SPN模型的软件可靠性评估方法。 （英语） Zbl 1363.68040号 武汉大学自然科学杂志。 21，第3期，242-248（2016）. 摘要：软件可靠性评估作为软件安全评估的重要手段，也是软件安全运行的基础。传统的软件系统安全评估方法是基于功能和结构度量的定性评估，往往忽视基于失效和故障的定量研究。本文提出了一个随机转移函数作为随机Petri网（SPN）理论可靠性的度量参数。通过计算系统的稳定性概率、失效概率和平均首次失效时间，建立了软件可靠性的评估和度量方法。通过实例分析，该方法可以快速、准确地对软件可靠性指标进行有效评估，为软件安全评估提供了一种新的方法。 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：随机Petri网;软件;可靠性;评价 PDF格式BibTeX公司 XML格式引用 \textit{P.Pan}等人，武汉理工大学。21，第3号，242--248（2016；Zbl 1363.68040） 全文： DOI程序 参考文献： [1] 张杰，朱旭，张磊，等。软件可靠性测试流程的设计与应用[J]。计算机测量与控制，2011，19（4）：796–799。 [2] Maevsky D A，Yaremchuk S A，Shapa L N.先验软件可靠性评估方法[J]。可靠性理论与应用，2014，9（1）：64–72。 [3] 秋山F.软件系统调试示例[C]//世界计算机大会。柏林：DBLP计算机科学参考书目，1971:353–279。 [4] Halstead M H.软件科学要素[M]。北荷兰：爱思唯尔出版社，1977年·兹比尔0381.68007 [5] 马德川，贾义勇，徐凯，等.可重构路由平台组件的可靠性评估[J]。北京邮电大学学报，2013，36（2）：55-59·doi:10.1016/S1005-8885（13）60248-4 [6] Macabe T J.复杂性度量[J]。IEEE软件工程学报，1976，2（4）：308–320·Zbl 0352.68066号 ·doi:10.1109/TSE.1976.233837 [7] Stamatelatos M，Vesley W.航天应用故障树手册[M]。华盛顿特区：美国国家航空航天局安全和任务保障办公室，2002年。 [8] 赵杰，刘海伟，崔庚，等.软件测试和运行可靠性分析[J]。哈尔滨工业大学学报，2008，15（3）：345-350。 [9] Xu RZ，Han YF，Huang C，et al.成本与软件可靠性关系的研究[J]。武汉大学自然科学学报，2005，10（1）：9-12·doi:10.1007/BF02828606 [10] 邵立林。基于直觉梯形模糊信息的敏捷开发软件可靠性评估方法研究[J]。国际计算技术进步杂志，2012，4（8）：255-261。 [11] Wu C H，Ma J C，Wei H T，等。基于马尔可夫链的软件可靠性早期评估研究[J]。空军预警学院学报，2014，28（3）：199-202。 [12] 赵朝光，蒲志斌.软件可靠性评估模型及ITS Petri网描述[J]。计算机应用与软件，2012，29（1）：141–144。 [13] 杜根B J，盖斯特R M，特里维迪S K，等。扩展随机Petri网：应用与分析[C]//计算机性能、建模、测量与评估国际研讨会。巴黎：表演，1984:507-519。 [14] Musa J D，Okumoto K。基本和对数泊松执行时间模型在软件可靠性度量中的应用[C]//软件可靠性建模和识别。柏林，海德堡：施普林格-弗拉格出版社，1987:68–100。 [15] Zuberek W M.使用无界时间Petri网进行性能评估[C]//第三届Petri网和性能模型国际研讨会论文集。华盛顿特区：IEEE计算机协会，1989:180–186。 [16] Zhang Y.基于SOA的服务可靠性评估方法研究[J]。计算机技术与发展，2015，25（4）：67-70，74。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。