...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Computers >Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm
【24h】

Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm

机译：从语义到算法的STATECHART规范的自动测试用例

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

摘要

—This paper studies automatic test cases generation for Statechart specifications. Applying Tretmans’ approach to generate test cases from labeled transition systems, we provide a solid mathematical basis for conformance testing and automatic test case generation for Statechart specifications. In order to make the test cases generation process more simple and efficient, we propose observable semantics as a suitable semantics model for describing observable behavior subset of a Statechart specification, which is different from complete semantics used for Statechart specification verification and model checking. Then we describe how to use this semantics model for not only generation reactive systems but also critical reactive systems. We also propose a formal conformance relation based on presented semantics model and test hypothesis, and provide an algorithm which, for a Statechart specification, generates a test suite. For Statechart specifications with graph semantics the algorithm can generate complete test suite, and for Statechart specifications with tree semantics cost-efficient sound test suite can be generated.
机译：- 这篇论文研究了StateChart规范的自动测试用例。应用Tretmans'方法从标记的转换系统生成测试用例，我们为StateChart规范的一致性测试和自动测试用例生成提供了坚实的数学依据。为了使测试用例的生成过程更简单且有效，我们将可观察的语义提出是一种合适的语义模型，用于描述StateChart规范的可观察行为子集，这与用于StateChart规范验证和模型检查的完整语义不同。然后，我们介绍如何使用本语法模型不仅是生成的反应系统，而且还用于关键的反应系统。我们还提出了一种基于所呈现的语义模型和测试假设的正式一致性关系，并提供了一种算法，该算法对于StateCart规范，可以生成测试套件。对于使用Graph语义的StateChart规范，算法可以生成完整的测试套件，并且对于具有树语义的StateChart规范，可以生成具有树语性成本高效的声音测试套件。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号