华南理工大学学报（自然科学版）
華南理工大學學報（自然科學版）
화남리공대학학보（자연과학판）
JOURNAL OF SOUTH CHINA UNIVERSITY OF TECHNOLOGY(NATURAL SCIENCE EDITION)
2014年
5期
128-134
,共7页
冯春阳%闫鑫%杨靓%黄士坦
馮春暘%閆鑫%楊靚%黃士坦
풍춘양%염흠%양정%황사탄
浮点乘%边界角用例%Hensel引理%检错率%仿真验证
浮點乘%邊界角用例%Hensel引理%檢錯率%倣真驗證
부점승%변계각용례%Hensel인리%검착솔%방진험증
floating-point multiplication%corner case%Hensel lemma%error-detecting rate%simulation-based verification
针对浮点乘仿真验证中测试用例空间大、覆盖不全面和边界角用例定位困难等问题,提出了一种基于Hensel引理的规格化边界角浮点乘测试用例生成模型,并从正规格化和负规格化边界角浮点数两方面对测试用例及乘积结果进行了分类讨论.结果表明,与传统的边界角验证法相比,文中模型的平均检错率提高了约7.39％,不同浮点数位宽下的浮点乘检错率最高可增加9.77％,有效提高了浮点乘功能验证的覆盖率和设计可靠性.
針對浮點乘倣真驗證中測試用例空間大、覆蓋不全麵和邊界角用例定位睏難等問題,提齣瞭一種基于Hensel引理的規格化邊界角浮點乘測試用例生成模型,併從正規格化和負規格化邊界角浮點數兩方麵對測試用例及乘積結果進行瞭分類討論.結果錶明,與傳統的邊界角驗證法相比,文中模型的平均檢錯率提高瞭約7.39％,不同浮點數位寬下的浮點乘檢錯率最高可增加9.77％,有效提高瞭浮點乘功能驗證的覆蓋率和設計可靠性.
침대부점승방진험증중측시용례공간대、복개불전면화변계각용례정위곤난등문제,제출료일충기우Hensel인리적규격화변계각부점승측시용례생성모형,병종정규격화화부규격화변계각부점수량방면대측시용례급승적결과진행료분류토론.결과표명,여전통적변계각험증법상비,문중모형적평균검착솔제고료약7.39％,불동부점수위관하적부점승검착솔최고가증가9.77％,유효제고료부점승공능험증적복개솔화설계가고성.
