計算品質を考慮した適者生存戦略に基づき近似計算の品質検証を高速化するファジングテスト手法

• Item type: SIG Technical Reports(1)
• 公開日: 2024-03-14
• タイトル: 計算品質を考慮した適者生存戦略に基づき近似計算の品質検証を高速化するファジングテスト手法
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 回路・システム設計
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 名古屋大学大学院情報学研究科
• 著者所属: 名古屋大学大学院情報学研究科
• 著者所属: 名古屋大学大学院情報学研究科
• 著者名: 本多, 佑成; 増田, 豊; 石原, 亨
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 近似計算 (Approximate Computing; AC) は計算方法に近似を導入する計算パラダイムであり，消費電力や回路面積を削減できる技術として特に有望視されている．本研究では，計算結果の品質 (以下，計算品質) に対して目標値を付与し，その目標値を満足するという制約 (以下，計算品質の制約) 下で近似を適用する AC 回路設計手法に的を絞る．本研究では，「計算品質の制約を違反させる入力パタンが存在しないか検証すること」を品質検証と定義する．品質検証を精度よく高速に実施することは，AC 回路の信頼性を保証するために必要不可欠である．本研究では，AC 回路の品質検証を加速化するファジングテスト法を提案する．ファジングは「入力パタンの変異，テスト対象上での実行，および，変異対象のパタン選別」を繰り返すテスト手法であり，予期しない計算結果や異常動作を引き起こす入力パタンの発見に対して好適性を持つ．提案手法の要となる適者生存戦略では，変異前と変異後のパタンの集合から計算品質の低いパタン組を選別し，計算品質のより低いパタンを段階的に変異対象に取り込む．制約付きランダムテストおよび既存の品質検証手法との比較実験を実施したところ，提案手法が計算品質の低い結果を生み出す入力パタンをより効率的に発見できることを実験的に確認した．
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12149313
• 書誌情報: 研究報告組込みシステム（EMB）; 巻 2024-EMB-65, 号 28, p. 1-8, 発行日 2024-03-14
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-868X
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会