%0 Journal Article %T OSEK/VDX OS服务调用的规范一致性检测方法 %A 李银国 %A 叶家盛 %A 蒋建春 %J 重庆邮电大学学报(自然科学版) %D 2010 %X OSEK/VDX(opensystemsandthecorrespondinginterfacesforautomobileelectronic/vehicledistributedexecutive)OS规范描述了一个嵌入式实时操作系统,对系统服务调用的上下文做了严格的限制。违反系统服务调用规范是一种很隐蔽的错误,不会被编译器发现。提出一种OSEK/VDXOS系统服务调用规范一致性的检测方法,利用森林图描述用户自定义代码中的函数及其调用关系,采用矩阵描述OSEK/VDXOS系统服务调用的规则,遍历该森林图的函数调用路径,对于每条路径,结合该规则矩阵判断其规范一致性。实验和分析表明该方法能有效地检测用户自定义代码中隐藏的违反OSEK/VDXOS系统服务调用规范的错误。 %K 嵌入式实时操作系统 %K OSEK/VDX(open %K systems %K and %K the %K corresponding %K interfaces %K for %K automobile %K electronic/vehicle %K distributed %K executive) %K OS规范 %K 系统服务调用 %K 一致性检测 %U http://journal.cqupt.edu.cn/jcuptnse/jcuptnse/ch/reader/view_abstract.aspx?file_no=20100618&flag=1