[发明专利]一种用于地面测试的有限状态机方法

说明书

技术领域：

本发明用于支持综合维护信息系统各成员系统的地面交互式测试，涉及一种用于地面测试的有限状态机方法。

背景技术：

交互式测试是综合维护系统用户与成员系统之间的一个互动过程。成员系统的自检测试通常会受到各种条件的抑制，在这种情况下，就需要用户人为的执行一些操作来保证测试过程的畅通；另外，成员系统在自检测试过程中，处于什么阶段或是何种状态，用户都无法知晓。

当综合维护系统各成员系统支持维护自检时，若用户通过操作界面对支持维护自检的成员系统进行自检测试，综合维护管理服务(IMMS)会向该成员系统发送维护自检命令，成员系统在收到该命令后会将相应检测状态及检测结果发送给IMMS。

对于用户通过WEB人机界面启动维护自检的操作、成员系统在维护自检各阶段反馈的响应、又或是成员系统需要与用户进行交互而给予的指示等诸如此类的信息，都需要进行预处理，转换为成员系统或WEB终端可识别的消息；而对于这些消息的传输时机控制、传输次数统计以及消息丢失后的处理方法，更是需要进行管理。

发明内容：

本发明的目的是为综合维护系统WEB人机界面和各成员系统之间的交互式测试提供接口，对通信消息进行封装以及对测试过程加以管理。

本发明提供一种用于地面测试的有限状态机方法，基于ARINC624协议，创建一个有限状态机用于同步成员系统的维护自检过程，并协调成员系统与WEB人机界面之间的交互。

本发明的技术方案如下：

一种用于地面测试的有限状态机方法，主要通过以下环节实现：

(1)初始化

创建并初始化ARINC624协议结构体，其数据结构含有以下几个关键成员：请求结构体、响应结构体、状态枚举量、事件列表、用户请求队列、成员系统消息队列和状态机输出队列；

(2)启动协议状态机线程：

状态机初始状态为NORMAL，在当前状态下，状态机监听来自WEB人机界面的用户请求事件，即执行某成员系统的维护自检；

(3)维护自检运行条件检测：

状态机收到用户请求之后，根据成员系统的状态消息判断该成员系统维护自检的运行条件是否满足；若条件满足，状态机封装用户请求并发送至成员系统；否则，状态机构建页面以告知用户自检测试的抑制信息；

(4)状态机状态跃迁：

状态机将用户启动自检测试的请求发送至成员系统之后，将监听成员系统的响应事件，并根据成员系统的响应信息进行状态跃迁，以同步成员系统自检测试的状态；

(5)协同交互：

状态机会成员系统自检测试的当前状态经由页面的构建反馈至WEB人机界面以告知用户知晓。

以上环节(5)中，成员系统需要继续执行自检测试时，状态机以页面形式将交互指令显示于用户，并将用户后继的操作请求反馈至成员系统，以继续或终止测试；成员系统执行完自检测试后，状态机以页面形式将相关提示显示给用户并反馈用户操作给成员系统。

本发明的用于地面测试的有限状态机方法，还包括超时及异常处理：

在超出等待时间时，状态机向用户或成员系统发送特定的消息以保证测试过程的正常执行；在交互过程出现网络错误、数据丢失等异常时，状态机也执行相应操作以告知用户或成员系统，以避免资源被无限时占用。

本发明具有以下技术效果：

本发明作为用户与成员系统交互式测试的接口，有效地提供了统一的控制和处理机制，即对WEB人机界面和成员系统之间的交互式测试过程进行管理、提供统一的控制和处理流程。

附图说明：

图1是状态机处理交互式测试的流程；

图2是ARINC624协议状态机状态跃迁图。

具体实施方式：

本发明的实现流程如下：

(1)初始化：软件运行伊始，创建并初始化ARINC624协议结构体，该数据结构含有以下几个关键成员：请求结构体、响应结构体、状态枚举量、事件列表、用户请求队列、成员系统消息队列、状态机输出队列；

(2)启动协议状态机线程：状态机初始状态为NORMAL，在当前状态下，状态机监听来自WEB人机界面的用户请求事件，即执行某成员系统的维护自检；

(3)维护自检运行条件检测：状态机收到用户请求之后并非立即将请求发送给成员系统，而是藉由成员系统的状态消息判断该成员系统维护自检的运行条件是否满足。若条件满足，状态机封装用户请求并发送至成员系统；否则，状态机构建页面以告知用户自检测试的抑制信息；