控制软件多任务程序运行时错误检测方法

发动机控制软件多任务程序运行时,共享变量的处理容易发生数组访问越界、除零、数据溢出等错误,从而造成异常的后果。采用动态测试的方法检测此类错误成本大、效率低。本文借助Poly Space测试工具,模拟软件动态运行时的行为,使用静态验证的方法有效检测可能发生的运行时错误,更高效地发现多任务程序中的缺陷。