Testing using CSP Models: Time, Inputs, and Outputs
Testing using CSP Models: Time, Inputs, and Outputs
复制标题
使用 CSP 模型进行测试：时间、输入和输出
DOI：
10.1145/3572837
复制
发表时间：
2023
影响因子：
0.5
通讯作者：
Baxter J
中科院分区：
文献类型：
--
作者：
Baxter J
现有的CSP测试理论满足交互模式（轨迹）和死锁的验证，但不是时间。我们在这里解决细化和测试的基础上方言的CSP，称为tock-CSP，它可以捕捉离散时间属性。这个版本的CSP几十年来一直受到广泛关注;最近，它被赋予了指称语义，并且使用完善的工具进行模型检查已经成为可能。在这里，我们首先装备tock-CSP与一个新的语义测试，区分输入和输出事件：（tock-）CSP的标准模型不区分它们，但测试这是必不可少的。然后，我们提出了一个新的测试理论的时间细化，测试和测试执行的新定义的基础上。最后，我们通过将定时ioco测试和精化与输入和输出关联到ck-CSP来调和精化和测试。有了这些结果，本文提供了，第一次，一个系统的理论，允许定时测试和定时细化来表达。一个重要的实际结果是，这确保了开发人员使用的正确性概念保证了测试在应用于正确的系统时通过，此外，在测试期间识别的故障对应于开发错误。
The existing testing theories for CSP cater for verification of interaction patterns (traces) and deadlocks, but not time. We address here refinement and testing based on a dialect of CSP, calledtock-CSP, which can capture discrete time properties. This version of CSP has been of widespread interest for decades; recently, it has been given a denotational semantics, and model checking has become possible using a well established tool. Here, we first equiptock-CSP with a novel semantics for testing, which distinguishes input and output events: the standard models of (tock-)CSP do not differentiate them, but for testing this is essential. We then present a new testing theory for timewise refinement, based on novel definitions of test and test execution. Finally, we reconcile refinement and testing by relating timed ioco testing and refinement intock-CSP with inputs and outputs. With these results, this paper provides, for the first time, a systematic theory that allows both timed testing and timed refinement to be expressed. An important practical consequence is that this ensures that the notion of correctness used by developers guarantees that tests pass when applied to a correct system and, in addition, faults identified during testing correspond to development mistakes.
登录
查看更多内容
用于可配置性能关键通信接口的验证设计框架
DOI：
--
发表时间：
2011
期刊：
International Conference on Formal Modeling and Analysis of Timed Systems
影响因子：
--
作者：
S. Kharmeh;K. Eder;D. May
通讯作者：
D. May
n-IOCO 完整测试套件
影响因子：
1.9
作者：
Petra van den Bos;Ramon Janssen;Joshua Moerman
通讯作者：
Joshua Moerman
使用 CSP 测试机器人
DOI：
--
发表时间：
2019
期刊：
TAP@FM
影响因子：
--
作者：
Ana Cavalcanti;James Baxter;R. Hierons;R. Lefticaru
通讯作者：
R. Lefticaru
基于CSP的分布式测试一致性关系
DOI：
--
发表时间：
2011
期刊：
International Conference on Testing Software and Systems
影响因子：
--
作者：
Ana Cavalcanti;M. Gaudel;R. Hierons
通讯作者：
R. Hierons
铁路安全和线路容量 - 定时 CSP 的一种方法
影响因子：
6.8
作者：
Yoshinao Isobe;F. Moller;N. H. Nga;M. Roggenbach
通讯作者：
M. Roggenbach