• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文学位 >A novel approach for generating test suites for component-based safety critical systems.
【24h】

A novel approach for generating test suites for component-based safety critical systems.

机译：一种用于为基于组件的安全关键系统生成测试套件的新颖方法。

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

摘要

Safety-critical system is a class of systems whose failure may cause severe consequences as such systems have absolute demands regarding correctness of functional as well as timing behavior of the system. Our proposed CAGILY framework introduces a formal framework for identifying a set of test cases from a well-specified system to validate critical functionalities of the system. This framework incorporates the concept of component identification and specification, and defines contracts/morphisms by adapting the theories of constraint cross-product in category theory to generate sets of comprehensive test suites. The formalization of the system is provided by specifying the system composition using the specification and verification tool called Specware. Further, we have developed and implemented Sampuma tool, which generates a set of test cases depending on the constraints imposed on the system. We illustrate the effectiveness of our proposed approach by applying it to a case study of mine pump problem. The important feature of our approach is that, we have been able to decompose the system depending upon their functional requirements and then testing the system for its critical functionality. (Abstract shortened by UMI.)
机译：安全关键系统是一类系统，其故障可能会导致严重的后果，因为此类系统对功能的正确性以及系统的定时行为具有绝对的要求。我们提出的CAGILY框架引入了一个正式框架，用于从规范良好的系统中识别出一组测试用例，以验证系统的关键功能。该框架结合了组件识别和规范的概念，并通过采用类别理论中约束交叉乘积的理论来定义合同/同构，以生成综合的测试套件集。通过使用称为Specware的规范和验证工具指定系统组成来提供系统的形式化。此外，我们已经开发并实现了Sampuma工具，该工具根据施加在系统上的约束条件生成一组测试用例。我们通过将其应用于矿井泵问题的案例研究来说明我们提出的方法的有效性。我们方法的重要特征是，我们已经能够根据其功能需求分解系统，然后测试系统的关键功能。 （摘要由UMI缩短。）

著录项

  • 作者

    Kanade, Sudhan.;

  • 作者单位

    Concordia University (Canada).;

  • 授予单位 Concordia University (Canada).;
  • 学科 Engineering Electronics and Electrical.
  • 学位 M.A.Sc.
  • 年度 2004
  • 页码 102 p.
  • 总页数 102
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 无线电电子学、电信技术;
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号