SMTソルバを活用した業務ルールの等価性検証手法

• Item type: SIG Technical Reports(1)
• 公開日: 2015-03-05
• タイトル: SMTソルバを活用した業務ルールの等価性検証手法
• タイトル / 言語: en
• タイトル: Method for Verifying Equivalency of Business Rules using SMT Solver
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: テスト・検証
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: (株)日立製作所
• 著者所属: (株)日立製作所
• 著者所属: (株)日立製作所
• 著者所属(英): en
• 著者所属(英): Hitachi Ltd.
• 著者所属(英): en
• 著者所属(英): Hitachi Ltd.
• 著者所属(英): en
• 著者所属(英): Hitachi Ltd.
• 著者名: 伊藤, 信治; 宮崎, 邦彦; 伊藤, 翔
• 著者名(英): Shinji, Itoh; Kunihiko, Miyazaki; Sho, Ito
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ビジネスルールは，法改正や顧客要求の変更に伴い，頻繁に変化し続けている．ビジネスルールを変更した場合の確認の観点の 1 つとして，入力と出力の関係が変更前と変更後で維持されるべき部分が維持されていること （等価性） の確認がある．等価性を確認する手段としては，サンプリングテストの活用がある．しかし，サンプリングテストの場合，等価性を保証できるのは，テストした範囲に限定されるという課題がある．本稿では，網羅的に等価性を確認する手段として，SMT ソルバを活用した手法について提案する．また，提案方式を行政事務上のビジネスルールに適用した結果について報告する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Business rules continue to change by law amendment and change of customer's requirements. There is a confirmation of equivalency between pre-change rules and post-change rules as a view of confirmations in case of a change of business rules. Sampling testing technologies enable us to confirm the equivalency. However, there is a problem that the sampling testing technologies cannot guarantee the equivalency of the scope which we don't test. In this paper, we propose method for confirming the equivalency exhaustively using SMT solver and present the result which we applied the method to business rules about administrative affairs.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2015-SE-187, 号 41, p. 1-7, 発行日 2015-03-05
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会