期刊文献+

基于Bayes方法的软件运行剖面建模 被引量:3

The New Algorithm of Evaluating SOP Based on Bayes Method
下载PDF
导出
摘要 软件运行剖面对于软件可靠性和软件测试具有重要意义,关于软件运行剖面建模,已提出多种方法。但是这些方法都未考虑先验信息,在现场测试数据匮乏的情况下,将这些先验信息丢弃不用,难以对实际运行剖面作出适当的估计。论文讨论了基于Bayes方法的软件运行剖面建模,该方法能够把先验信息与实际测试信息很好地结合起来,并给出了相应的算法。经仿真验证,基于Bayes方法的软件运行剖面建模方法能够较好地估计软件的实际运行剖面。 SOP(software operational profile)is important for software reliability and software test.There have been many SOP models up to date.However,the prior information is not used in these models.When the testing data is not enough,it is difficult to evaluate pragmatic SOP properly.In this paper,the static model of SOP is improved.Bayes method is used to combine prior information with factual testing information.The paper gives a general algorithm of evaluating SOP.Through the simulation,it shows that the new method is better than traditional statistical method.
出处 《计算机工程与应用》 CSCD 北大核心 2004年第10期34-36,84,共4页 Computer Engineering and Applications
基金 国家863高技术研究发展计划(编号:2001AA113192) 航空基础科学基金(编号:01F51025)资助
关键词 软件运行剖面 BAYES方法 Dirichlet分布 software operational profile,Bayes method,Dirichlet distribution
  • 相关文献

参考文献5

  • 1Kai-Yuan Cai.Software Defect and Operational Profile Modeling[M].Kluwer Boston,1998.
  • 2Kyle Siegrist.The Multinomisl Distribution.http://www.math.uah.edu/stat/bernoulli/bemoulli6.html.
  • 3JamesOBerger著 贾乃光译.统计决策论及贝叶斯分析[M].北京:中国统计出版社,1998..
  • 4白成刚.一种基于Bayes方法的优化算法[J].系统工程理论与实践,2001,21(11):80-82. 被引量:4
  • 5张学文.概率的二项分布和多项分布[EB/OL].http://localbbs.net/entropy/zxw/C11g.htm,.

二级参考文献1

共引文献3

同被引文献21

  • 1颜炯,王戟,陈火旺.基于UML的软件Markov链使用模型构造研究[J].软件学报,2005,16(8):1386-1394. 被引量:29
  • 2伦立军,丁雪梅,李英梅.基于遗传算法的测试数据生成研究[J].计算机工程,2005,31(23):82-84. 被引量:14
  • 3姬孟洛,齐治昌,王怀民.包含依赖输入分支程序的符号化WCET分析[J].软件学报,2006,17(3):628-637. 被引量:2
  • 4Paul C. Jorgensen. Software Testing (Second Editiong) [M]. Beijing: China Machine Press. 2003. 7.
  • 5Broekman B, Notenboom E. Testing Enbedded Software [M]. Beijing: Publishing House of Electronics Industry, 2004. 1.
  • 6John D. Musa. Software Reliability Engineering [M]. Beijing: China Machine Press. 2003. 5.
  • 7Zekici S, Soyer R. Reliability of software with an operational profile [J]. European Journal of Operational Research (2003) 149: 459-474.
  • 8Keshav Pingali, Gianfranco Bilardi, Optimal Control Dependence Computation and the Roman Chariots Problem [J]. ACM Transactions on Programming Languages and Systems. May 1997, 19 (3) : 462-491.
  • 9Cytron R, Ferrante J, Rosen B, Wegman KMN, Zadeck FK. Efficiently computing static single assignment form and the control dependence graph [J]. ACM Trans. on Programming Languages and Systems, 1991, 13 (4): 451-490.
  • 10Mansour N and Salame M. Data Generation for Path Testing[J]. Software Quality Journal, 2004, 12 (2) : 121-136.

引证文献3

二级引证文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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