问用于测试用例公式的Drools

EN

我正在测试一个相当复杂的系统，它根据一些业务规则(以半正式文本形式编写)运行。

目标是创建测试用例，这些测试用例覆盖尽可能多的系统状态。我想通过以下方式自动执行此任务：

1)在Drools中形式化业务规则2)然后使用某种机制创建所有可能情况的列表(需要测试)

例如，我有以下两个规则的业务规则包(这只是一个示例，实际的业务规则要复杂得多)：

global List outErrorCodes;
global Boolean condition1;
global Boolean condition2;
global Boolean condition3;

rule "01"
    when
        eval( condition3 == false);     
    then 
        outErrorCodes.add("ERROR_CODE1");
end

rule "02"
    when
        eval((condition1 == true) && (condition2 == true));
    then
        outErrorCodes.add("ERROR_CODE2");
end

condition1、condition2和condition3是输入。outErrorCode是输出。

也就是说，condition1、condition2和condition3描述了某种情况，而outErrorCode描述了系统在该特定情况下的预期行为。

我想创建一种机制，根据规则中的逻辑自动创建所有可能的元组(condition1、condition2、condition3、outErrorCodes)的列表。每个元组表示系统的一种状态。

然后，这些元组将用作创建实际测试用例的基础。

是否可以使用Drools？如果是这样--如何实现？

非常感谢你提前

Dmitri