位置:成果数据库 > 期刊 > 期刊详情页
基于灰色随机Petri网的构件化软件可靠性早期评估方法
  • ISSN号:1009-3486
  • 期刊名称:《海军工程大学学报》
  • 时间:0
  • 分类:TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]海军工程大学电子工程学院,武汉430033
  • 相关基金:国家自然科学基金资助项目(60774029)
中文摘要:

针对构件化软件系统本身的复杂性和早期可靠性评估存在的"贫信息、少数据"的问题,提出了一种灰色随机Petri网(GrSPN)模型。该模型在随机Petri网的变迁速率中引入灰数,首先结合系统GrSPN模型的可达树确定系统的状态标识集及其子集,然后将得到的GrSPN转化为与其同构的连续时间马尔可夫链(MC)。通过对MC的平稳状态分布对软件系统可靠性进行分析,得到用灰数表示的稳态概率,然后根据白化权函数对结果进行白化,得到软件系统每个可达状态标识下的稳态概率,进而求得系统可靠度。最后,结合某构件化软件可靠性早期评估实例验证了该模型的有效性。

英文摘要:

Aiming at the complexity of software systems and the problem of pure information and few data in early reliability evaluations,a model based on grey stochastic Petri net(GrSPN) was proposed.In the model,interval gray numbers was introduced into the transition rates.Combining with the reachable tree of GrSPN,the state marks of the system and its subset were gained.Then the GrSPN model was translated into Markov chain(MC) being isomorphic with it.The analysis of reliability of the software system by means of the stable state distribution of MC leaded to obtaining the steady probability of each reachable state,which was expressed by interzone gray numbers.And the whiten values of the steady probability was gained based on whitening transforming functions.Finally the model proposed was applied to the evaluation of some software system,and the result proves that this model is effective.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《海军工程大学学报》
  • 中国科技核心期刊
  • 主管单位:海军工程大学
  • 主办单位:海军工程大学
  • 主编:马曲立
  • 地址:武汉解放大道717号
  • 邮编:430033
  • 邮箱:
  • 电话:027-65460736
  • 国际标准刊号:ISSN:1009-3486
  • 国内统一刊号:ISSN:42-1106/E
  • 邮发代号:
  • 获奖情况:
  • 荣获《中国学术期刊(光盘版)检索与评价数据规范...,2006年,2008年,2010年,连续三届荣获"首届中国...,2009年荣获"全国高校科技期刊优秀编辑质量奖"
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘(网络版),波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版)
  • 被引量:5967