[发明专利]联锁软件自动测试方法

权利要求书

1.一种联锁软件的自动测试方法，其特征在于，基于联锁软件的应用场景分析联锁软件所包含的所有联锁设备对象，并采用形式化语言建立与联锁设备对象一一对应的站场对象模型，根据所述站场对象模型中的对象变量设计联锁软件应用场景的通用测试用例脚本，并依据联锁软件的测试输入数据形成特定应用的测试用例，从而根据该测试用例自动测试联锁软件。

2.如权利要求1所述的一种联锁软件的自动测试方法，其特征在于，所述特定应用的测试用例的生成方法，包含以下步骤：

S101、分析联锁软件应用场景及其所包含的所有联锁设备对象，并分析应用场景下联锁设备对象关联的联锁逻辑变量；

S102、基于形式化语言建立联锁设备对象的站场对象模型，并建立站场对象模型的对象变量与联锁设备对象的联锁逻辑变量间的一一映射关系；

S103、基于站场对象模型及其对象变量设计联锁软件应用场景的通用测试用例脚本；

S104、处理联锁软件的测试输入数据，并依据该测试输入数据对通用测试用例脚本进行实例化，生成特定应用的测试用例。

3.如权利要求1所述的一种联锁软件的自动测试方法，其特征在于，所述根据特定应用的测试用例自动测试联锁软件的方法，包含以下步骤：

S201、对联锁软件进行系统初始化，建立联锁软件测试的环境模型；

S202、读取特定应用的联锁软件输入数据，提取该输入数据中的联锁逻辑变量，并获取联锁逻辑变量与对象变量间的映射关系；

S203、依据联锁逻辑变量与对象变量间的映射关系，将特定应用场景的测试用例中的执行语句转换成联锁软件输入数据中输入变量的赋值；

S204、联锁软件根据输入变量的赋值进行联锁运算，并输出联锁软件输出变量的数值；

S205、通过判断联锁软件输出变量的数值是否满足预期设置的结果，从而判断联锁软件是否满足要求。

4.如权利要求2所述的一种联锁软件的自动测试方法，其特征在于，所述步骤S101中分析联锁软件应用场景及其所包含的所有联锁设备对象的方法，包含：分析联锁软件应用场景的功能并将其划分为若干测试场景模块，分别分析每个测试场景模块包含的联锁设备对象及其对应的属性，从而识别联锁软件所包含的所有联锁设备对象，以保证测试需求的完整性和充分性。

5.如权利要求2所述的一种联锁软件的自动测试方法，其特征在于，所述步骤S102中基于形式化语言建立联锁设备对象的站场对象模型的方法，包含：分别对联锁软件中的联锁设备对象建立对象模型，并根据联锁设备对象的设备属性在联锁数据中的逻辑状态定义，采用形式化建模语言，建立联锁设备的面向对象的站场对象模型。

6.如权利要求2所述的一种联锁软件的自动测试方法，其特征在于，所述联锁设备对象的联锁逻辑变量以及站场对象模型的对象变量均包含输入变量、输出变量及逻辑中间变量。

7.如权利要求6所述的一种联锁软件的自动测试方法，其特征在于，采用正则表达式对联锁设备对象的联锁逻辑变量与站场对象模型的对象变量间的一一映射关系进行匹配，从而能够快速检索到同一类设备具有相同功能时定义的对象变量。

8.如权利要求2所述的一种联锁软件的自动测试方法，其特征在于，所述步骤S103中，采用形式化语言编写基于站场对象模型及其对象变量的联锁软件应用场景的通用测试用例脚本。

9.如权利要求2所述的一种联锁软件的自动测试方法，其特征在于，所述步骤S104中处理联锁软件的测试输入数据的方法，包括：识别该测试输入数据中的联锁设备对象信息、布尔逻辑变量、站场拓扑结构连接关系及站场设备对象的属性信息。

10.如权利要求9所述的一种联锁软件的自动测试方法，其特征在于，所述步骤S104中测试用例脚本实例化时，对当前测试用例对应的测试输入数据中包含的站场设备对象及其关联的联锁逻辑变量的所有组合关系进行实例化。