文献

J-GLOBAL ID：201802285721775822   整理番号：18A0535910

入力誘発高浮動小数点不正確性のための効率的な大域的探索【Powered by NICT】

Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies

著者 (4件)： Yi Xin ,  Chen Liqian ,  Mao Xiaoguang ,  Ji Tao
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： APSEC  ページ： 11-20  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 実数演算アルゴリズムを実装するために数値コードを使用したときに浮動小数点丸め誤差が広がった。特に,高い浮動小数点の不正確さは,誘発されて一度深刻な問題を引き起こす可能性がある。高い浮動小数点不正確さを誘発するコンクリートテストケースを見つけることができることを試験法,デバッグを支援し,高不正確さを低減するのに役立つ。最近,二試験法は数値計算プログラム:局所性鋭敏型遺伝的アルゴリズム(LSGA)と二成分誘導ランダムテスト(BGRT)における高い浮動小数点不正確さを引き起こす入力見つけるために提案されている。しかし,実験はLSGAは誤警報の高い速度をもたらす可能性がある探索空間が大きい場合BARTは容易に局所的最大値に陥ることがあることを示した。本論文では,数値コードにおける高い浮動小数点不正確さを誘発する新しい試験方法を提案した。主なアイデアは,テストケースの大域的探索プロセスをガイドするための誤差解析から導いた発見的規則を活用している。ランダムおよびBGRT法との比較実験は,実際の科学的プログラムを含むベンチマークを行った。実験結果により,提案アプローチでは,12実世界プログラム(特にその入力空間である大規模なプログラムのための)の11の高い浮動小数点不正確さを誘発し,良好な安定性を持つことを入力を効率的に探索できることを示した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： ベンチマーク ,  数値計算 ,  比較試験 ,  遺伝的アルゴリズム ,  デバッギング ,  局所性 ,  *アルゴリズム ,  誤差解析
準シソーラス用語： テストケース ,  探索空間 ,  誤警報 ,  試験方法 ,  丸め誤差 ,  実数演算 ,  *浮動小数点 , 【Automatic Indexing@JST】

分類 (5件)： 図形・画像処理一般  (JE04010I) ,  計算機システム開発  (JD02010R) ,  CAD,CAM  (JE10000A) ,  数値計算  (JE02000J) ,  専用演算制御装置  (JC04030Y)

タイトルに関連する用語 (4件)： 誘発 ,  浮動小数点 ,  正確性 ,  探索