首页> 外文期刊>Software Testing, Verification and Reliability >Model-based testing for concurrent systems with labelled event structures
【24h】

Model-based testing for concurrent systems with labelled event structures

机译:具有标记事件结构的并发系统的基于模型的测试

获取原文
获取原文并翻译 | 示例

摘要

We propose a theoretical testing framework and a test generation algorithm for concurrent systems specified with true-concurrency models, such as Petri nets or networks of automata. The semantic model of computation of such formalisms is labelled event structures, which allow to represent concurrency explicitly. We introduce the notions of strong and weak concurrency: strongly concurrent events must be concurrent in the implementation, while weakly concurrent ones may eventually be ordered. Theioco type conformance relations for sequential systems rely on the observation of sequences of actions and blockings; thus, they are not capable of capturing and exploiting concurrency of non-sequential behaviours. We propose an extension ofioco for labelled event structures, namedco-ioco, allowing to deal with strong and weak concurrency. We extend the notions of test cases and test execution to labelled event structures and give a test generation algorithm building a complete test suite forco-ioco. Copyright © 2014 John Wiley & Sons, Ltd.
机译:我们为使用并发模型(例如Petri网或自动机网络)指定的并发系统提出了理论测试框架和测试生成算法。此类形式主义计算的语义模型被标记为事件结构,它允许显式表示并发。我们介绍了强并发和弱并发的概念:强并发事件在实现中必须是并发的,而弱并发事件最终可能会被排序。顺序系统的Theioco类型一致性关系依赖于对动作和阻塞序列的观察。因此,它们无法捕获和利用非顺序行为的并发性。我们建议将带标记的事件结构的ioio扩展为co-ioco,以允许处理强和弱的并发。我们将测试用例和测试执行的概念扩展到标记的事件结构,并给出了构建完整的forco-ioco测试套件的测试生成算法。版权所有©2014 John Wiley&Sons,Ltd.

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号