• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IFIP(International Federation for Information Processing) WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems(SEUS 2007); 20070507-08; Santorini Island(GR) >Cross-Platform Verification Framework for Embedded Systems
【24h】

Cross-Platform Verification Framework for Embedded Systems

机译：嵌入式系统的跨平台验证框架

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

摘要

Many innovations in the automotive sector involve complex electronics and embedded software systems. Testing techniques are one of the key methodologies for detecting faults in such embedded systems.In this paper, a novel cross-platform verification framework including automated test-case generation by model checking is introduced. Comparing the execution behavior of a program instance running on a certain platform to the execution behavior of the same program running on a different platform we denote cross-platform verification. The framework supports various types of coverage criteria. It turned out that end-to-end testing is of high importance due to defects occurring on the actual target platform for the first time.Additionally, formal verification can be applied for checking requirements resulting from the specification using the same model generation mechanism that is used for test data generation. Due to a novel self-assessment mechanism, the confidence into the formal models is increased significantly.We provide a case study for the Motorola embedded controller HCS12 that is heavily used by the automotive industry. We perform structural tests on industrial code patterns using a wide-spread industrial compiler. Using our technique, we found two severe compiler defects that have been corrected in subsequent releases.
机译：汽车领域的许多创新涉及复杂的电子产品和嵌入式软件系统。测试技术是检测此类嵌入式系统故障的关键方法之一。本文介绍了一种新颖的跨平台验证框架，包括通过模型检查自动生成测试用例。将在特定平台上运行的程序实例的执行行为与在不同平台上运行的同一程序的执行行为进行比较，我们表示跨平台验证。该框架支持各种类型的覆盖标准。事实证明，由于首次在实际目标平台上发生缺陷，端到端测试非常重要。此外，可以使用相同的模型生成机制将正式验证应用于检查规范产生的需求用于测试数据生成。由于采用了新颖的自我评估机制，对形式模型的置信度大大提高了。我们提供了一个用于汽车行业的摩托罗拉嵌入式控制器HCS12的案例研究。我们使用广泛的工业编译器对工业代码模式进行结构测试。使用我们的技术，我们发现了两个严重的编译器缺陷，这些缺陷在后续版本中已得到纠正。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号