• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Symposium on Model-Based Safety and Assessment >A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems
【24h】

A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems

机译：一种系统的要求驱动试验生成安全关键系统

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We describe ongoing work into the generation of test cases for safety critical systems using Event-B and the Rodin toolset. Verification of software to DO-178C is a two stage process. First a suite of test cases must be validated against the system requirements (requirements coverage), and then the software implementation is verified using the validated test suite. During verification of the implementation structural coverage is also measured. Our work focuses on the first step, the generation of test cases and their validation against the requirements. We construct closed-system models incorporating both the system to be tested and its environment. These models capture the system requirements, and describe the interactions between the system and its environment. In particular, safety constraints can be represented by invariants, and their preservation ensured through event guards. From these models test cases can be generated, and requirements coverage can be measured from model coverage.
机译：我们使用事件-B和Rodin工具集描述了对安全关键系统的测试用例的持续工作。软件验证到DO-178C是一个两个阶段的过程。首先，必须针对系统要求（需求覆盖）验证一套测试用例，然后使用验证的测试套件验证软件实现。在验证期间，还测量了实现结构覆盖。我们的工作侧重于第一步，生成测试案例及其对要求的验证。我们构建包含要测试的系统的闭合系统模型及其环境。这些模型捕获系统要求，并描述了系统与环境之间的相互作用。特别地，安全约束可以通过不变性来表示，并且它们通过事件后卫确保了它们的保存。从这些模型可以生成测试用例，可以从模型覆盖范围来测量需求覆盖率。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号