近似計算の品質検証に向けたファジングのフィードバック調整手法の一検討

• Item type: SIG Technical Reports(1)
• 公開日: 2023-03-16
• タイトル: 近似計算の品質検証に向けたファジングのフィードバック調整手法の一検討
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: システム設計・製造関連手法
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 名古屋大学大学院情報学研究科
• 著者所属: 名古屋大学大学院情報学研究科
• 著者所属: 名古屋大学大学院情報学研究科
• 著者名: 本多, 佑成; 増田, 豊; 石原, 亨
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 近似コンピューティング (Approximate Computing; AC) は，一定の計算誤差が許容されるアプリケーションにおいて，計算方法に近似を導入するコンピューティングパラダイムである．機械学習や画像処理などの応用分野において，消費電力や回路面積を削減できる技術として特に有望視されている．本研究では，「計算結果の品質 (例．画像処理アプリケーションにおける画質) に対する制約を AC が違反させないか検証すること」を品質検証と定義し，計算結果の品質 (計算品質) を違反させる入力パタンの効率的な発見を目的として，ファジングを用いた品質検証手法を提案する．提案手法の胆は，計算品質を「つまみ」とした，ファジングのフィードバックループ調整機構にある．ファジングは，「入力の変異，実行，及び，変異へのフィードバック」を繰り返す手法であり，異常動作，ならびに，想定外の計算結果を生み出すテストケースを効率的に生成できることが知られている．提案手法は，ファジングのフィードバックループに計算結果の品質を導入し，計算品質を違反させるテストケースをファジングに探索させる．フィードバックに用いる「計算品質の範囲」を調整するアルゴリズムをあわせて提案する．画像処理アルゴリズムを対象とした評価実験により，提案手法が従来のファジングテスト手法と比較して，計算品質を違反させる入力パタンを最大で 2.46 倍高速に発見できることを実験的に確認した．
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11451459
• 書誌情報: 研究報告システムとLSIの設計技術（SLDM）; 巻 2023-SLDM-202, 号 18, p. 1-7, 発行日 2023-03-16
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8639
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会