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

Testing Communicating Systems: a Model, a Methodology, and a Tool

机译：测试通信系统：模型，方法论和工具

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

摘要

This paper follows two main lines of research. The first line is related to the study of models for the description of systems. For this line, we introduce the model of Communicating Systems (CS), which defines a set of common resources, a set of entities, and a topology of communication. The second line focuses on testing methodologies adapted to protocol testing. For this line, we give a formal definition of a generic generation algorithm (GGA). We demonstrate that the CS model with a GGA supports various 1) test architectures, 2) test types: conformance, interoperability, embedded, component testing, and 3) test approaches: passive and active testing. The paper presents also the main characteristics of the TGSE tool (Test Generation, Simulation, and Emulation). TGSE is made-up of a test case generator, based on the CS model and implementing a GGA, a graphic simulator of the execution of a sequence generated by TGSE, and a real-time emulator of communicating specifications. In its current version, TGSE supports the passive and active testing of one or several components with data and temporal constraints.
机译：本文遵循两个主要研究方向。第一行与用于系统描述的模型研究有关。对于这一行，我们介绍了通信系统（CS）模型，该模型定义了一组公共资源，一组实体和通信拓扑。第二行重点介绍适用于协议测试的测试方法。对于这一行，我们给出了通用生成算法（GGA）的正式定义。我们证明带有GGA的CS模型支持各种1）测试体系结构，2）测试类型：一致性，互操作性，嵌入式，组件测试，以及3）测试方法：被动和主动测试。本文还介绍了TGSE工具的主要特征（测试生成，仿真和仿真）。 TGSE由一个基于CS模型并实现GGA的测试用例生成器，一个执行TGSE生成的序列的图形仿真器以及一个通信规格的实时仿真器组成。在当前版本中，TGSE支持具有数据和时间约束的一个或多个组件的被动和主动测试。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号