计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2008年
8期
273-274,280
,共3页
周汇%俞军%程君侠%华霞
週彙%俞軍%程君俠%華霞
주회%유군%정군협%화하
浮点运算%随机测试%修正模式%IEEE754标准%边界筛选
浮點運算%隨機測試%脩正模式%IEEE754標準%邊界篩選
부점운산%수궤측시%수정모식%IEEE754표준%변계사선
复杂测试空间中难以命中的冷僻细节,导致在IEEE浮点算法测试过程中难以验证单条浮点运算的正确性.该文针对传统直接随机测试方法的缺点,提出一种边界筛选生成案例的测试方法.该方法对待测算法边界条件建模,求解边界条件,利用解来构造筛选操作数的标准,并通过筛选操作数实现测试.实验证明该方法比直接随机测试方法更可靠.
複雜測試空間中難以命中的冷僻細節,導緻在IEEE浮點算法測試過程中難以驗證單條浮點運算的正確性.該文針對傳統直接隨機測試方法的缺點,提齣一種邊界篩選生成案例的測試方法.該方法對待測算法邊界條件建模,求解邊界條件,利用解來構造篩選操作數的標準,併通過篩選操作數實現測試.實驗證明該方法比直接隨機測試方法更可靠.
복잡측시공간중난이명중적랭벽세절,도치재IEEE부점산법측시과정중난이험증단조부점운산적정학성.해문침대전통직접수궤측시방법적결점,제출일충변계사선생성안례적측시방법.해방법대대측산법변계조건건모,구해변계조건,이용해래구조사선조작수적표준,병통과사선조작수실현측시.실험증명해방법비직접수궤측시방법경가고.
