講演抄録/キーワード |
講演名 |
2014-03-11 10:30
SATソルバを活用した決定表作成・検証方式 ○伊藤信治・佐藤直人・金藤栄孝・宮崎邦彦・森 浩起・木村 誠・山口 潔(日立) SS2013-73 |
抄録 |
(和) |
条件の組合せパターンの考慮漏れを防止する方法の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 / / / / |
文献情報 |
信学技報, vol. 113, no. 489, SS2013-73, pp. 7-11, 2014年3月. |
資料番号 |
SS2013-73 |
発行日 |
2014-03-04 (SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2013-73 |