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

摘要：

以提高验证效率、缩短验证周期为目标,使用贝叶斯网络优化模拟矢量,有效地缩小了用于回归测试的模拟矢量规模.采用信息论中的互信息作为评测准则,在输入变量和分支语句之间建立贝叶斯网络,并使用该网络进行推理和产生新的模拟矢量.实验结果表明:使用不同推理算法生成的模拟矢量长度大大缩短,平均为原有模拟矢量的1*/10左右,其中最高路径覆盖率达到甚至超过了原有样本.

关键词：贝叶斯网络、机器学习、路径覆盖率、模拟矢量生成、验证

所属期刊栏目：19

分类号：TP302(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2004AA1Z1010

在线出版日期：2007-06-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：616-621