期刊文献+

使用贝叶斯网络的高效模拟矢量生成方法 被引量:7

An Efficient Approach to Simulation Vector Generation Using Bayesian Network
下载PDF
导出
摘要 以提高验证效率、缩短验证周期为目标,使用贝叶斯网络优化模拟矢量,有效地缩小了用于回归测试的模拟矢量规模.采用信息论中的互信息作为评测准则,在输入变量和分支语句之间建立贝叶斯网络,并使用该网络进行推理和产生新的模拟矢量.实验结果表明:使用不同推理算法生成的模拟矢量长度大大缩短,平均为原有模拟矢量的1/10左右,其中最高路径覆盖率达到甚至超过了原有样本. Improving the efficiency of simulation-based for regression test are huge and unnecessary. They made validation is important. Most of simulation vectors the covering process inefficient. In this paper, we used Bayesian network to describe the relation between the inputs and the branch statements. The new simulation vectors were generated by reasoning on the network. We performed experiments on some functional modules. The results indicate that the average vector length generated by the Bayesian network using different reference algorithms is about 10% of the original one, but the best path coverage even exceeds the original one.
出处 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第5期616-621,共6页 Journal of Computer-Aided Design & Computer Graphics
基金 国家"八六三"高技术研究发展计划(2004AA1Z1010).
关键词 贝叶斯网络 机器学习 路径覆盖率 模拟矢量生成 验证 validation Bayesian network machine learning path coverage generation of simulation vectors
  • 相关文献

参考文献9

  • 1Lachish Oded,Marcus Eitan,Ur Shmuel,et al.Hole analysis for functional coverage data[C]//Proceedings of Design Automation Conference,New Orleans,2002:807-812
  • 2Fine Shai,Ziv Avi.Enhancing the control and efficiency of the covering process[C]//Proceedings of the High-Level Design Validation and Test Workshop,San Francisco,California,2003:96-101
  • 3Braun M,Rosenstiel W,Schubert K-D.Comparison of Bayesian networks and data mining for coverage directed verification category simulation-based verification[C]//Proceedings of the High-Level Design Validation and Test Workshop,San Francisco,California,2003:91-95
  • 4Fine Shai,Ziv Avi.Coverage directed test generation for functional verification using Bayesian networks[C]//Proceedings of Design Automation Conference,Anaheim,California,2003:286-291
  • 5Fine Shai,A Freund,I Jaeger,et al.Harnessing machine learning to improve the success rate of stimuli generation[C]//Proceedings of the High-Level Design Validation and Test Workshop,San Francisco,California,2005:112-118
  • 6邢永康,沈一栋.学习信度网的结构[J].计算机科学,2000,27(10):83-87. 被引量:8
  • 7林士敏,田凤占,陆玉昌.贝叶斯学习、贝叶斯网络与数据采掘[J].计算机科学,2000,27(10):69-72. 被引量:34
  • 8王双成,林士敏,陆玉昌.贝叶斯网络结构学习分析[J].计算机科学,2000,27(10):77-79. 被引量:10
  • 9林士敏,田凤占,陆玉昌.用于数据采掘的贝叶斯分类器研究[J].计算机科学,2000,27(10):73-76. 被引量:30

二级参考文献19

  • 1[1]Friedman N. Bayesian Network Classifiers. Machine Learning, 1997,29:131~163
  • 2[2]Duda R O, Hart P E- Pattern Classification and Scence Analysis, New York: John Wiley & Sons, 1973
  • 3[3]Langley P, et al. An analysis of Bayesian classifiers. In: Proc. Of the National Conf. On Artificial Intelligence (AAAI' 92). Menlo Park, CA: AAAI Press, 1992. 223~228
  • 4[4]Chow C K, Liu C N. Approximating discrete probability distributions with dependence tree. IEEE Trans. On Information Theory, 1968,14: 462~467
  • 5[5]Pearl J. Probabilistic Reasoning in Intelligent Systems. San Francisco ,CA: Morgan Kaufmann, 1988. 387~390
  • 6[6]Elkan C. Boosting and naive Bayesian learning : [Technical Report No. CS97-557]. Department of Computer Science & Engineering, Univ. Of California, 1997
  • 7[1]Heckerman D. Learning Bayesian Networks: [Technical Report MSR-TR-95-02]. Microsoft Research, Microsoft Corporation, 1995
  • 8[2]Friedman N. Bayesian Network Classifiers. Machine Learning, 1997,29: 131~163
  • 9[3]Heckerman D. Bayesian Networks for Data Mining. Data Mining and Knowledge Discovery, 1997,1: 79~119
  • 10[1]Verma T, Pearl J. Equivalence and synthesis of causal models. In: Proc. Of Sixth Conference on Uncertainty in AI, Boston, MA, Morgan Kaufmann, 1990. 220~227

共引文献74

同被引文献147

引证文献7

二级引证文献34

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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