| 講演名 | 2014-03-11 SATソルバを活用した決定表作成・検証方式 伊藤 信治, 佐藤 直人, 金藤 栄孝, 宮崎 邦彦, 森 浩起, 木村 誠, 山口 潔, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 条件の組合せパターンの考慮漏れを防止する方法の1つとして、決定表の活用が有効である。しかし、決定表は、条件項目の数が多くなると決定表の規模が指数関数的に大きくなり、その作成やレビューが困難となる。本稿では、決定表の作成やレビューの効率化を目的に、SATソルバを活用して、IF-THEN形式のルールから決定表を作成する方法、および、ルール間の矛盾を検証する方式について報告する。 |
| 抄録(英) | Use of a decision table is an effective method to prevent defects of combination patterns of conditions. However, it is very difficult for developers to make and review it because the size of the decision table increases exponentially with increasing the number of condition items. In this paper, we present the method for generation of the decision table from if-then rule and the method for verification between rules using SAT solver. |
| キーワード(和) | 決定表 / SATソルバ / 形式手法 / 形式検証 |
| キーワード(英) | Decision Table / SAT solver / Formal method / Formal verification |
| 資料番号 | SS2013-73 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2014/3/4(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | SATソルバを活用した決定表作成・検証方式 |
| サブタイトル（和） | |
| タイトル（英） | Generation and Verification of Decision Table using SAT Solver |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 決定表 / Decision Table |
| キーワード(2)（和/英） | SATソルバ / SAT solver |
| キーワード(3)（和/英） | 形式手法 / Formal method |
| キーワード(4)（和/英） | 形式検証 / Formal verification |
| 第 1 著者 氏名（和/英） | 伊藤 信治 / Shinji ITOH |
| 第 1 著者 所属（和/英） | 株式会社日立製作所横浜研究所 Hitachi, Ltd., Yokohama Research Laboratory |
| 第 2 著者 氏名（和/英） | 佐藤 直人 / Naoto SATO |
| 第 2 著者 所属（和/英） | 株式会社日立製作所横浜研究所 Hitachi, Ltd., Yokohama Research Laboratory |
| 第 3 著者 氏名（和/英） | 金藤 栄孝 / Hidetaka KONDOH |
| 第 3 著者 所属（和/英） | 株式会社日立製作所横浜研究所 Hitachi, Ltd., Yokohama Research Laboratory |
| 第 4 著者 氏名（和/英） | 宮崎 邦彦 / Kunihiko MIYAZAKI |
| 第 4 著者 所属（和/英） | 株式会社日立製作所横浜研究所 Hitachi, Ltd., Yokohama Research Laboratory |
| 第 5 著者 氏名（和/英） | 森 浩起 / Hiroki MORI |
| 第 5 著者 所属（和/英） | 株式会社日立製作所情報・通信システム社 Hitachi, Ltd., Information & Telecommunication Systems Company |
| 第 6 著者 氏名（和/英） | 木村 誠 / Makoto KIMURA |
| 第 6 著者 所属（和/英） | 株式会社日立製作所情報・通信システム社 Hitachi, Ltd., Information & Telecommunication Systems Company |
| 第 7 著者 氏名（和/英） | 山口 潔 / Kiyoshi YAMAGUCHI |
| 第 7 著者 所属（和/英） | 株式会社日立製作所情報・通信システム社 Hitachi, Ltd., Information & Telecommunication Systems Company |
| 発表年月日 | 2014-03-11 |
| 資料番号 | SS2013-73 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | 489 |
| ページ範囲 | pp.- |
| ページ数 | 5 |
| 発行日 | |