首页> 中文期刊> 《电子技术与软件工程》 >控制软件多任务程序运行时错误检测方法

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

         

摘要

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

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号