OSEK/VDX OS服务调用的规范一致性检测方法

OSEK/VDX（opensystemsandthecorrespondinginterfacesforautomobileelectronic/vehicledistributedexecutive）OS规范描述了一个嵌入式实时操作系统，对系统服务调用的上下文做了严格的限制。违反系统服务调用规范是一种很隐蔽的错误，不会被编译器发现。提出一种OSEK/VDXOS系统服务调用规范一致性的检测方法，利用森林图描述用户自定义代码中的函数及其调用关系，采用矩阵描述OSEK/VDXOS系统服务调用的规则，遍历该森林图的函数调用路径，对于每条路径，结合该规则矩阵判断其规范一致性。实验和分析表明该方法能有效地检测用户自定义代码中隐藏的违反OSEK/VDXOS系统服务调用规范的错误。