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

说明书

本申请公开了一种电力需求响应一致性测试用例生成系统和方法，其中系统包括：同步积生成模块、压缩模块和探测模块；同步积生成模块，用于计算需求响应测试模型和需求响应测试目的同步积；压缩模块，用于对同步积的内部转换动作进行压缩，输出可见同步积；探测模块，用于对满足导向接受条件的可见同步积的状态构建子图，生成需求响应测试用例或需求响应完整测试图，解决了现有的电力需求响应系统进行一致性测试时，测试用例固定所导致的一致性测试结果不准确的技术问题。

技术领域

本申请涉及测试用例生成技术领域，尤其涉及一种电力需求响应一致性测试用例生成系统和方法。

背景技术

电力需求响应系统规模庞大，数量众多，从需求响应主站到终端可分为多种类型，其所具备的功能也不尽相同，不同的需求响应系统设计目的也各不相同。现有技术中对所有的电力需求响应系统使用相同的需求响应测试用例来进行一致性测试，测试用例固定，模式僵化，导致一致性测试结果不准确。

发明内容

本申请提供了一种电力需求响应一致性测试用例生成系统和方法，用于解决现有的电力需求响应系统进行一致性测试时，测试用例固定所导致的一致性测试结果不准确的技术问题。

有鉴于此，本申请第一方面提供了一种电力需求响应一致性测试用例生成系统，包括：

同步积生成模块、压缩模块和探测模块；

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

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

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

可选的，还包括：

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

可选的，还包括：

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

可选的，所述解析模块具体用于：

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

可选的，所述探测模块具体用于：

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

可选的，所述压缩模块具体用于：

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

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

本申请第二方面提供了一种电力需求响应一致性测试用例生成方法，包括：

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

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

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

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

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