复旦学报(自然科学版)
複旦學報(自然科學版)
복단학보(자연과학판)
JOURNAL OF FUDAN UNIVERSITY(NATURAL SCIENCE)
2008年
1期
45-49
,共5页
周汇%俞军%程君侠%华霞
週彙%俞軍%程君俠%華霞
주회%유군%정군협%화하
浮点运算%IEEE 754标准%修正模式%随机测试%边界筛选
浮點運算%IEEE 754標準%脩正模式%隨機測試%邊界篩選
부점운산%IEEE 754표준%수정모식%수궤측시%변계사선
针对常用的随机测试生成方法的弱点,提出一种用于IEEE浮点乘法验证的边界条件筛选测试生成方法.其基本思路为:对待测算法边界条件建模;求解边界条件;用求得的解构造筛选操作数的标准;筛选操作数实现测试.应用该方法于典型芯片Intel387SX和实际设计项目C387L数学协处理器,证实该方法比随机测试生成方法更为可靠.
針對常用的隨機測試生成方法的弱點,提齣一種用于IEEE浮點乘法驗證的邊界條件篩選測試生成方法.其基本思路為:對待測算法邊界條件建模;求解邊界條件;用求得的解構造篩選操作數的標準;篩選操作數實現測試.應用該方法于典型芯片Intel387SX和實際設計項目C387L數學協處理器,證實該方法比隨機測試生成方法更為可靠.
침대상용적수궤측시생성방법적약점,제출일충용우IEEE부점승법험증적변계조건사선측시생성방법.기기본사로위:대대측산법변계조건건모;구해변계조건;용구득적해구조사선조작수적표준;사선조작수실현측시.응용해방법우전형심편Intel387SX화실제설계항목C387L수학협처리기,증실해방법비수궤측시생성방법경위가고.
