计算机辅助设计与图形学学报
計算機輔助設計與圖形學學報
계산궤보조설계여도형학학보
JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS
2007年
5期
616-621
,共6页
贝叶斯网络%机器学习%路径覆盖率%模拟矢量生成%验证
貝葉斯網絡%機器學習%路徑覆蓋率%模擬矢量生成%驗證
패협사망락%궤기학습%로경복개솔%모의시량생성%험증
以提高验证效率、缩短验证周期为目标,使用贝叶斯网络优化模拟矢量,有效地缩小了用于回归测试的模拟矢量规模.采用信息论中的互信息作为评测准则,在输入变量和分支语句之间建立贝叶斯网络,并使用该网络进行推理和产生新的模拟矢量.实验结果表明:使用不同推理算法生成的模拟矢量长度大大缩短,平均为原有模拟矢量的1*/10左右,其中最高路径覆盖率达到甚至超过了原有样本.
以提高驗證效率、縮短驗證週期為目標,使用貝葉斯網絡優化模擬矢量,有效地縮小瞭用于迴歸測試的模擬矢量規模.採用信息論中的互信息作為評測準則,在輸入變量和分支語句之間建立貝葉斯網絡,併使用該網絡進行推理和產生新的模擬矢量.實驗結果錶明:使用不同推理算法生成的模擬矢量長度大大縮短,平均為原有模擬矢量的1*/10左右,其中最高路徑覆蓋率達到甚至超過瞭原有樣本.
이제고험증효솔、축단험증주기위목표,사용패협사망락우화모의시량,유효지축소료용우회귀측시적모의시량규모.채용신식론중적호신식작위평측준칙,재수입변량화분지어구지간건립패협사망락,병사용해망락진행추리화산생신적모의시량.실험결과표명:사용불동추리산법생성적모의시량장도대대축단,평균위원유모의시량적1*/10좌우,기중최고로경복개솔체도심지초과료원유양본.
