计算机辅助设计与图形学学报
計算機輔助設計與圖形學學報
계산궤보조설계여도형학학보
JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS
2014年
9期
1509-1521
,共13页
浮点乘%仿真验证%边界角用例%Hensel lifting%随机法%检错率
浮點乘%倣真驗證%邊界角用例%Hensel lifting%隨機法%檢錯率
부점승%방진험증%변계각용례%Hensel lifting%수궤법%검착솔
floating-point multiplication%simulation-based verification%corner case%Hensel lifting%random test%error-detecting rate
针对浮点乘仿真验证时覆盖率不全面和边界角用例定位难的问题,提出一种随机法和Hensel lifting理论联合的浮点乘测试用例生成方法.首先通过分析测试用例生成域设计了一个浮点乘测试用例产生及功能仿真平台;然后利用Hensel lifting理论提出一种统一的边界角浮点乘测试用例生成模型.将所提方法用于文中设计的功能仿真平台中,并将该平台与典型浮点测试工具集进行浮点乘性能比较的实验结果表明,该方法可使浮点乘检错率随浮点数位宽的增加而提升,最高增幅可达9.77％,比随机法检错率平均提高15.98％,比典型浮点测试工具集检错率平均提高1.9％.
針對浮點乘倣真驗證時覆蓋率不全麵和邊界角用例定位難的問題,提齣一種隨機法和Hensel lifting理論聯閤的浮點乘測試用例生成方法.首先通過分析測試用例生成域設計瞭一箇浮點乘測試用例產生及功能倣真平檯;然後利用Hensel lifting理論提齣一種統一的邊界角浮點乘測試用例生成模型.將所提方法用于文中設計的功能倣真平檯中,併將該平檯與典型浮點測試工具集進行浮點乘性能比較的實驗結果錶明,該方法可使浮點乘檢錯率隨浮點數位寬的增加而提升,最高增幅可達9.77％,比隨機法檢錯率平均提高15.98％,比典型浮點測試工具集檢錯率平均提高1.9％.
침대부점승방진험증시복개솔불전면화변계각용례정위난적문제,제출일충수궤법화Hensel lifting이론연합적부점승측시용례생성방법.수선통과분석측시용례생성역설계료일개부점승측시용례산생급공능방진평태;연후이용Hensel lifting이론제출일충통일적변계각부점승측시용례생성모형.장소제방법용우문중설계적공능방진평태중,병장해평태여전형부점측시공구집진행부점승성능비교적실험결과표명,해방법가사부점승검착솔수부점수위관적증가이제승,최고증폭가체9.77％,비수궤법검착솔평균제고15.98％,비전형부점측시공구집검착솔평균제고1.9％.
