• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IFIP TC6/WG 6.1 International Conference on Testing of Communicating Systems(TestCom 2005); 20050531-0602; Montreal(CA) >A Model-Based Approach for Robustness Testing
【24h】

A Model-Based Approach for Robustness Testing

机译：基于模型的鲁棒性测试方法

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

摘要

Robustness testing is a part of the validation process which consists in testing the behavior of a system implementation under exceptional execution conditions in order to check if it still fulfills some robustness requirements. We propose a theoretical framework for model-based robustness testing together with an implementation within the If validation environment. Robustness test cases are generated from both a (partial) operational specification and an abstract fault model. This generation technique is inspired from the ones used in (classical) confor-mance testing - already implemented in several tools. This framework is illustrated on a small example.
机译：健壮性测试是验证过程的一部分，该过程包括在异常执行条件下测试系统实现的行为，以检查系统是否仍满足某些健壮性要求。我们提出了一个基于模型的鲁棒性测试的理论框架，以及在If验证环境中的实现。鲁棒性测试用例是根据（部分）操作规范和抽象故障模型生成的。这种生成技术的灵感来自（经典）一致性测试中使用的技术-已经在多种工具中实现。一个小例子说明了这个框架。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号