[发明专利]一种电力需求响应一致性测试用例生成系统和方法

权利要求书

1.一种电力需求响应一致性测试用例生成系统，其特征在于，包括：同步积生成模块、压缩模块和探测模块；

所述同步积生成模块，用于计算需求响应测试模型和需求响应测试目的同步积；

所述压缩模块，用于对所述同步积的内部转换动作进行压缩，输出可见同步积；

所述探测模块，用于对满足导向接受条件的所述可见同步积的状态构建子图，生成需求响应测试用例或需求响应完整测试图。

2.根据权利要求1所述的电力需求响应一致性测试用例生成系统，其特征在于，还包括：

确定化操作模块，用于判断所述可见同步积的内部动作是否已经全部消除，并对没有全部消除所述内部动作的所述可见同步积进行强化处理。

3.根据权利要求1所述的电力需求响应一致性测试用例生成系统，其特征在于，还包括：

解析模块，用于判断所述可见同步积的状态是否满足导向接受条件。

4.根据权利要求3所述的电力需求响应一致性测试用例生成系统，其特征在于，所述解析模块具体用于：

通过求解布尔方程系统的最小不动点来判断所述可见同步积的状态是否满足导向接受条件，并将判断结果发送给所述探测模块。

5.根据权利要求4所述的电力需求响应一致性测试用例生成系统，其特征在于，所述探测模块具体用于：

对所述可见同步积进行前向遍历，基于所述判断结果，对满足导向接受条件的所述可见同步积的状态构建子图，生成需求响应测试用例或需求响应完整测试图。

6.根据权利要求1所述的电力需求响应一致性测试用例生成系统，其特征在于，所述压缩模块具体用于：

挤压所述内部转换动作的强连通分量，并采用外部可见的输出动作自循环代替所述同步积，生成悬挂自动机；

基于所述悬挂自动机，通过所述内部转换动作消除冗余交叉，并计算所述内部转换动作的反向闭合转换，输出可见同步积。

7.一种电力需求响应一致性测试用例生成方法，其特征在于，包括：

计算需求响应测试模型和需求响应测试目的同步积；

对所述同步积的内部转换动作进行压缩，输出可见同步积；

对满足导向接受条件的所述可见同步积的状态构建子图，生成需求响应测试用例或需求响应完整测试图。

8.根据权利要求7所述的电力需求响应一致性测试用例生成方法，其特征在于，所述对满足导向接受条件的所述可见同步积的状态构建子图，生成需求响应测试用例或需求响应完整测试图，之前还包括：

判断所述可见同步积的内部动作是否已经全部消除，并对没有全部消除所述内部动作的所述可见同步积进行强化处理。

9.根据权利要求7所述的电力需求响应一致性测试用例生成方法，其特征在于，所述对满足导向接受条件的所述可见同步积的状态构建子图，生成需求响应测试用例或需求响应完整测试图，之前还包括：

判断所述可见同步积的状态是否满足导向接受条件。

10.根据权利要求7所述的电力需求响应一致性测试用例生成方法，其特征在于，所述对所述同步积的内部转换动作进行压缩，输出可见同步积，包括：

挤压所述内部转换动作的强连通分量，并采用外部可见的输出动作自循环代替所述同步积，生成悬挂自动机；

基于所述悬挂自动机，通过所述内部转换动作消除冗余交叉，并计算所述内部转换动作的反向闭合转换，输出可见同步积。