[发明专利]一种在汽车软件运行中监控执行逻辑流的方法及系统

权利要求书

1.一种在汽车软件运行中监控执行逻辑流的方法，其特征在于，所述方法包括：

步骤1，根据所述汽车软件的执行逻辑路径设置各个检查点；

步骤2，在各个所述检查点添加报告程序；所述报告程序用于异步向逻辑监控程序报告当前运行位置的检查点的枚举值；

步骤3，确定所述汽车软件的各个待监控执行逻辑路径，确定各个所述待监控执行逻辑路径的起始检查点和结束检查点，将各个待监控执行逻辑路径的起始检查点和结束检查点之间的检查点组成转换点组，并分别建立起始检查点列表、结束检查点列表和转换点组列表后存储到配置文件中；

步骤4，所述汽车软件运行到任一所述检查点时，向逻辑监控程序报告当前的检查点，所述逻辑监控程序根据所述报告程序检查当前运行的逻辑流是否符合定义的预期，当不符合预期时通知异常处理程序进行处理。

2.根据权利要求1所述的方法，其特征在于，所述步骤1设置各个所述检查点的过程包括：

根据时序图或流程图分析识别得到所述汽车软件运行的执行逻辑路径，在各个的执行逻辑路径的上分别设置检查点；所述执行逻辑路径包括：顺序执行、循环执行以及判断分支执行。

3.根据权利要求1所述的方法，其特征在于，所述检查点用枚举类型定义；

所述步骤2包括：生成各个所述检查点的枚举定义。

4.根据权利要求1所述的方法，其特征在于，所述步骤3中所述转换点组为相邻的两个所述检查点；所述转换点组中，一个所述检查点为源点，另一个所述检查点为目标点。

5.根据权利要求1所述的方法，其特征在于，所述步骤4中，所述逻辑监控程序接收到上报的当前检查点后，所述逻辑监控程序的监控模式为非活动状态时，检查当前运行的逻辑流是否符合定义的预期的过程包括：

判断当前检查点是否在所述起始检查点列表中，是则将所述逻辑监控程序的监控模式的状态变更为活动状态，并记录当前的检查点；否则忽略该当前检查点。

6.根据权利要求4所述的方法，其特征在于，所述步骤4中，所述逻辑监控程序接收到上报的当前检查点后，所述逻辑监控程序的监控模式为活动的状态时，检查当前运行的逻辑流是否符合定义的预期的过程包括：

判断当前检查点是否在所述结束检查点列表中：

是则将所述逻辑监控程序的监控模式的状态变更为非活动状态，等待下一轮监控的开始；

否则在所述转换组列表中查找匹配项，所述匹配项为：所述逻辑监控程序记录的检查点为所述源点并且当前检查点是与该源点匹配的目标点；如果能找到所述匹配项，则说明汽车软件当前运行是按照设计者的执行时序在运行，此时将记录的检查点更新为当前检查点，等待下一个检查点；如果未能找到所述匹配项，则说明汽车软件未按照软件设计者预定的执行逻辑运行，此时所述逻辑监控程序向异常处理程序报告当前的异常。

7.根据权利要求1所述的方法，其特征在于，所述异常处理程序进行处理的内容包括：恢复动作。

8.一种在汽车软件运行中监控执行逻辑流的系统，其特征在于，包括：检查点设置模块、监控程序添加模块、配置文件生成模块和监控模块；

所述检查点设置模块，用于根据所述汽车软件的执行逻辑路径设置各个检查点；

所述监控程序添加模块，用于在各个所述检查点添加报告程序；所述报告程序用于异步向逻辑监控程序报告当前运行位置的检查点的枚举值；

所述配置文件生成模块，用于确定所述汽车软件的各个待监控执行逻辑路径，确定各个所述待监控执行逻辑路径的起始检查点和结束检查点，将各个待监控执行逻辑路径的起始检查点和结束检查点之间的检查点组成转换点组，并分别建立起始检查点列表、结束检查点列表和转换点组列表后存储到配置文件中；

所述监控模块，用于在所述汽车软件运行到任一所述检查点时，向逻辑监控程序报告当前的检查点，所述逻辑监控程序根据所述报告程序检查当前运行的逻辑流是否符合定义的预期，当不符合预期时通知异常处理程序进行处理。