| 講演名 | 2003/3/7 プログラム仕様表現の自動化における図式の一手法 金近 勇治, 安原 敦, 佐藤 匡正, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | プログラムの試験や保守において,仕様とプログラムの対応は重要な要素となる.プログラムから使用要素を抽出する方法として,記呼実行法が効果的である.しかし,多くの実行経路をもつプログラムでは,実行結果の複雑化を招く.本論文では,プログラムを関数へ分割し,関数の設定参照関係を経路とすることにより,経路数を削減する手法を提案する.本手法では,繰返しおよび選択構造を関数化することにより,経路を削減する. |
| 抄録(英) | In program testing and maintenance, correspondence between the specification and the program is the important element. Symbolic execution is an effective technique for extracting specification elements from programs. However, it would lead to complicated results when programs with so many numbers of paths are applied. This paper proposes an approach of reducing paths by dividing a program into functions and considering relations of functions to paths. In this way, iterations and selections are functionalized, then paths are reduced. |
| キーワード(和) | 記号実行 / 機能実行 / 関数化 |
| キーワード(英) | Symbolic Execution / Functional Execution / Functionalization |
| 資料番号 | SS2002-48 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2003/3/7(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | プログラム仕様表現の自動化における図式の一手法 |
| サブタイトル（和） | |
| タイトル（英） | An Automation Method of representing the program specification |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 記号実行 / Symbolic Execution |
| キーワード(2)（和/英） | 機能実行 / Functional Execution |
| キーワード(3)（和/英） | 関数化 / Functionalization |
| 第 1 著者 氏名（和/英） | 金近 勇治 / Yuji KANECHIKA |
| 第 1 著者 所属（和/英） | 島根大学大学院総合理工学研究科 Interdisciplinary Graduates School of Science and Engineering , Shimane University |
| 第 2 著者 氏名（和/英） | 安原 敦 / Atsushi YASUHARA |
| 第 2 著者 所属（和/英） | 島根大学大学総合理工学部 Faculty of Science and Engineering, Shimane University |
| 第 3 著者 氏名（和/英） | 佐藤 匡正 / Tadamasa SATOU |
| 第 3 著者 所属（和/英） | 島根大学大学総合理工学部 Faculty of Science and Engineering, Shimane University |
| 発表年月日 | 2003/3/7 |
| 資料番号 | SS2002-48 |
| 巻番号（vol） | vol.102 |
| 号番号（no） | 703 |
| ページ範囲 | pp.- |
| ページ数 | 5 |
| 発行日 | |