• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Third International Workshop on Telecommunications and Beyond: the Broader Applicability of SDL and MSC SAM 2002 , Jun 24-26, 2002, Aberystwyth, UK >Automatic Generation of Conformance Tests from Message Sequence Charts
【24h】

Automatic Generation of Conformance Tests from Message Sequence Charts

机译：从消息序列图自动生成一致性测试

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

摘要

Over the past five years our group has developed a tool that automatically generates conformance test scripts from a combination of Message Sequence Charts (MSCs), specifying dynamic behaviour, and Protocol Data Units (PDUs), specifying data formats. This paper outlines how tests are derived from MSCs and PDU specifications, and summarises different test strategies. It describes the testing required to prove conformance of various MSC language features ranging from time constraints to MSC variables, in-line expressions and high-level MSCs. We cover test generation for both single process test scripting and concurrent test scripting, where a test is distributed across autonomous processes, co-ordinating through additional messaging. All of the above aspects have been implemented in our tool that is in widespread use across Motorola. Tool support has not only resulted in cycle-time benefits for test preparation, but quality improvement in the testing process, improved test coverage, and validation of requirements specification.
机译：在过去的五年中，我们小组开发了一种工具，该工具可以根据指定动态行为的消息序列图（MSC）和指定数据格式的协议数据单元（PDU）的组合自动生成一致性测试脚本。本文概述了如何从MSC和PDU规范得出测试，并总结了不同的测试策略。它描述了证明各种MSC语言功能（从时间限制到MSC变量，内联表达式和高级MSC）的一致性所需的测试。我们涵盖了单流程测试脚本和并发测试脚本的测试生成，其中测试通过自治的过程分布在各个自治过程中，并通过其他消息进行协调。以上所有方面均已在我们的工具中实现，该工具已在整个摩托罗拉广泛使用。工具支持不仅为测试准备带来了周期时间上的好处，而且还提高了测试过程的质量，提高了测试覆盖率并验证了需求规范。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号