• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>SOFSEM 2009: Theory and practice of computer science >Automatic Bug Detection in Microcontroller Software by Static Program Analysis
【24h】

Automatic Bug Detection in Microcontroller Software by Static Program Analysis

机译：通过静态程序分析自动检测微控制器软件中的错误

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and platform specific, and bugs are often a consequence of neglecting subtle specifications of the microcontroller architecture. Currently, there are hardly any tools for analyzing such software automatically. In this paper, we outline specifics of microcontroller software that explain why those programs are different to standard C/C++ code. We develop a static program analysis for a specific microcontroller, in our case the ATmegal6, to spot code deficiencies, and integrate it into our generic static analyzer Goanna. Finally, we illustrate the results by a case study of an automotive application. The case study highlights that - even without formal proof - the proposed static techniques can be valuable in pinpointing software bugs that are otherwise hard to find.
机译：微控制器软件通常仅包含几百行代码，但与标准应用程序代码有很大不同。该软件是高度硬件和平台特定的，并且错误通常是由于忽略微控制器体系结构的微妙规格导致的。当前，几乎没有任何工具可以自动分析此类软件。在本文中，我们概述了微控制器软件的细节，这些细节解释了为什么这些程序与标准C / C ++代码不同。我们为特定的微控制器（在我们的情况下为ATmegal6）开发了静态程序分析，以发现代码缺陷，并将其集成到我们的通用静态分析器Goanna中。最后，我们通过汽车应用案例研究来说明结果。该案例研究突出表明-即使没有正式的证据-提出的静态技术对于查明原本很难发现的软件错误也很有价值。

著录项

  • 来源
  • 会议地点 Spindleruv Mlyn(CZ);Spindleruv Mlyn(CZ)
  • 作者

    Ansgar Fehnker; Ralf Huuck; Bastian Schlich; Michael Tapp;

  • 作者单位

    National ICT Australia Ltd. (NICTA) Locked Bag 6016, University of New South Wales Sydney NSW 1466, Australia;

    National ICT Australia Ltd. (NICTA) Locked Bag 6016, University of New South Wales Sydney NSW 1466, Australia;

    RWTH Aachen University, Embedded Software Laboratory Ahornstr. 55, 52074 Aachen, Germany;

    National ICT Australia Ltd. (NICTA) Locked Bag 6016, University of New South Wales Sydney NSW 1466, Australia;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 计算技术、计算机技术;
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号