@techreport{oai:ipsj.ixsq.nii.ac.jp:00141268,
 author = {伊藤, 信治 and 宮崎, 邦彦 and 伊藤, 翔 and Shinji, Itoh and Kunihiko, Miyazaki and Sho, Ito},
 issue = {41},
 month = {Mar},
 note = {ビジネスルールは，法改正や顧客要求の変更に伴い，頻繁に変化し続けている．ビジネスルールを変更した場合の確認の観点の 1 つとして，入力と出力の関係が変更前と変更後で維持されるべき部分が維持されていること （等価性） の確認がある．等価性を確認する手段としては，サンプリングテストの活用がある．しかし，サンプリングテストの場合，等価性を保証できるのは，テストした範囲に限定されるという課題がある．本稿では，網羅的に等価性を確認する手段として，SMT ソルバを活用した手法について提案する．また，提案方式を行政事務上のビジネスルールに適用した結果について報告する．, 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.},
 title = {SMTソルバを活用した業務ルールの等価性検証手法},
 year = {2015}
}