期刊文献+

一种嵌入式系统的可靠性测试与评价方法 被引量:1

A Reliability Assessment Method of Embedded System
下载PDF
导出
摘要 使用Markov模型进行嵌入式系统的可靠性测评,能够明显地节约计算时间,并保证可靠性测评的准确性,因而越来越受到人们的关注。在Markov模型中,可以使用敏感性因子描述嵌入式系统可靠性,建立敏感性因子和测试资源的关联,为系统模块分配可靠性指标,把嵌入式系统的可靠性测试,转化为相应的优化问题。文中介绍了一种基于Markov模型的嵌入式系统可靠性测试与评价方法,包括测评框架、设计指标分配和敏感性分析等内容,说明如何依照可靠性测评框架对嵌入式系统进行可靠性测评。 The reliability evaluation of embedded systems by using the Markov model could significantly save computing time,but still ensure the accuracy of reliability evaluation,which,therefore,is attracting more and more attention.In the Markov model,the sensitivity factor can be used to describe the reliability of embedded system,establishing the association between sensitivity factors and test resources,in order to distribute system reliability index modules for system modules.Meanwhile,the reliability test of embedded systems can be converted into the corresponding optimization problem.It proposes reliability test and evaluation methods of embedded system based on Markov model embedded system,covering the evaluation framework,design specification distribution and sensitivity analysis,etc.Besides,it showed the evaluation methods of the reliability of embedded system based on the reliability evaluation framework.
作者 郭振杰 黄斐
出处 《计算机技术与发展》 2012年第2期153-155,158,共4页 Computer Technology and Development
基金 住房和城乡建设部科学技术项目计划资助项目(2008-k9-8)
关键词 MARKOV模型 嵌入式系统 可靠性测评 Markov module embedded system reliability assessment
  • 相关文献

参考文献6

二级参考文献110

  • 1叶鑫欣.建立海南自由贸易区法律问题研究[J].东南大学学报(哲学社会科学版),2009,11(S2):99-102. 被引量:7
  • 2黄伟,张阿玲,张晓华.我国区域间GDP增长根源的实证研究——基于地区间投入产出表的试算[J].财贸研究,2005,16(5):1-10. 被引量:5
  • 3刘秉镰,章彰.港口与保税区一体化的经济效益分析[J].南开经济研究,1997(3):32-37. 被引量:13
  • 4王珊 等.数据仓库技术与联机分析处理[M].北京:科学出版社,1999.1-76.
  • 5LYUMR 刘喜成 钟婉懿 等译.软件可靠性工程手册[M].北京:电子工业出版社,1997..
  • 6[1]Gronau I, Hartman A, Kirshin A, Nagin K, Olvovsky S. A methodology and architecture for automated software testing. http://www.haifa.il.ibm.com/projects/verification/gtcb/papers/gtcbmanda.pdf, 2000
  • 7[2]Chow T S. Testing design modeled by finite-state machines. IEEE Transactions on Software Engineering, 1978,4(3): 178~187
  • 8[3]Offutt J, Abdurazik A. Generating test cases from UML specifications. UML' 99, USA, 1999
  • 9[4]Poore J H. Introduction to the special issue on: model-based statistical testing of software intensive systems. Information and Software Technology, 2000, 42(12):797~799
  • 10[5]Beizer B. Black-Box Testing: Techniques for Functional Testing of Software and Systems, Wiley, New York, USA, 1995

共引文献234

同被引文献4

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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