特許
J-GLOBAL ID：201903013112246956
ルールテスト装置およびルールテスト方法
発明者：
,
,
出願人/特許権者：
代理人 (1件)：
特許業務法人第一国際特許事務所
公報種別：特許公報
出願番号（国際出願番号）：特願2016-077762
公開番号（公開出願番号）：特開2017-188001
特許番号：特許第6604892号
出願日： 2016年04月08日
公開日（公表日）： 2017年10月12日
請求項（抜粋）：
【請求項1】 ソフトウェア仕様としてIF-THEN形式で記述したルールのテスト装置であって、
前記ルールが成立するための条件を格納する条件部と当該条件が成立した場合の結果を格納する結果部とを含む前記ルールの1以上の集まりであるルールセットを受け付けるルール作成・修正部と、
論理式で記述されたテストの対象とする入力値の条件を格納する入力条件部と当該入力値の条件を満たす入力に対して期待する結果を格納する期待出力条件部とを含む1以上の論理テストケースを受け付けるテストケース修正・作成部と、
1以上の前記ルールセットと1つの前記論理テストケースから、当該ルールセットの入出力のうち、当該論理テストケースの入力条件を満たしかつ当該論理テストケースの期待出力条件を満たさないケースを表す不合格ケース生成式を生成し、当該不合格ケース生成式の充足可能性を判定することで前記論理テストケースの入力条件を満たす全入力に対する結果が前記期待出力条件を満たすか否かの合否を判定するテスト実行部と、
前記テスト実行部が判定したテスト結果を出力するテスト結果出力部と
を備えるルールテスト装置。
IPC (1件)：
FI (1件)：
引用特許：
前のページに戻る
