• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Software and systems modeling >Environment modeling and simulation for automated testing of soft real-time embedded software
【24h】

Environment modeling and simulation for automated testing of soft real-time embedded software

机译：用于自动测试软实时嵌入式软件的环境建模和仿真

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

摘要

Given the challenges of testing at the system level, only a fully automated approach can really scale up to industrial real-time embedded systems (RTES). Our goal is to provide a practical approach to the model-based testing of RTES by allowing system testers, who are often not familiar with the system's design but are application domain experts, to model the system environment in such a way as to enable its black-box test automation. Environment models can support the automation of three tasks: the code generation of an environment simulator to enable testing on the development platform or without involving actual hardware, the selection of test cases, and the evaluation of their expected results (oracles). From a practical standpoint-and such considerations are crucial for industrial adoption-environment modeling should be based on modeling standards (1) that are at an adequate level of abstraction, (2) that software engineers are familiar with, and (3) that are well supported by commercial or open source tools. In this paper, we propose a precise environment modeling methodology fitting these requirements and discuss how these models can be used to generate environment simulators. The environment models are expressed using UML/MARTE and OCL, which are international standards for real-time systems and constraint modeling. The presented techniques are evaluated on a set of three artificial problems and on two industrial RTES.
机译：鉴于在系统级进行测试的挑战，只有一种完全自动化的方法才能真正扩展到工业实时嵌入式系统（RTES）。我们的目标是通过允许通常不熟悉系统设计但是应用程序领域专家的系统测试人员为RTES的基于模型的测试提供一种实用的方法，从而使系统环境成为可能。盒测试自动化。环境模型可以支持以下三个任务的自动化：环境模拟器的代码生成，可以在开发平台上进行测试，也可以不涉及实际硬件，选择测试用例，以及评估其预期结果（Oracle）。从实践的角度出发-这些考虑对于工业采用至关重要-环境建模应基于建模标准（1）具有足够的抽象水平，（2）软件工程师熟悉的标准和（3）受到商业或开源工具的良好支持。在本文中，我们提出了一种适合这些要求的精确环境建模方法，并讨论了如何将这些模型用于生成环境模拟器。环境模型使用UML / MARTE和OCL表示，这是实时系统和约束建模的国际标准。在一组三个人工问题和两个工业RTES上评估了提出的技术。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号