Inputs and Outputs in CSP A Model and a Testing Theory
Inputs and Outputs in CSP A Model and a Testing Theory
复制标题
CSP 模型和测试理论中的输入和输出
DOI：
10.1145/3379508
复制
发表时间：
2020
影响因子：
0.5
通讯作者：
Cavalcanti A
中科院分区：
文献类型：
--
作者：
Cavalcanti A
当我们区分输入和输出事件时，本文将讨论基于CSP模型的细化和测试。在测试实验中，测试人员（或环境）控制输入，被测系统控制输出。然而，CSP的标准模型和细化关系不区分输入和输出，因此不完全适合测试。在这里，我们考虑一个字母表的事件划分为输入和输出，我们提出了一种新的引用测试模型CSP的输入输出引用跟踪细化的概念。与测试中常用的ioco关系进行了比较，发现它的适用范围更广，强度更强。这意味着使用传统ioco测试发现的错误确实表明开发中的错误。最后，我们提供了一个CSP测试理论，考虑到输入和输出。与我们的理论，它成为可行的开发技术和工具，自动生成的现实和声音测试CSP模型。我们的工作通过确定ioco测试如何用于通知基于细化的结果，反之亦然，来协调通常不同的细化和（正式）测试领域。
This article addresses refinement and testing based on CSP models, when we distinguish input and output events. In a testing experiment, the tester (or the environment) controls the inputs, and the system under test controls the outputs. The standard models and refinement relations of CSP, however, do not differentiate inputs and outputs and are not, therefore, entirely suitable for testing. Here, we consider an alphabet of events partitioned into inputs and outputs, and we present a novel refusal-testing model for CSP with a notion of input-output refusal-traces refinement. We compare that with the ioco relation often used in testing, and we find that it is more widely applicable and stronger. This means that mistakes found using traditional ioco testing do indicate mistakes in the development. Finally, we provide a CSP testing theory that takes into account inputs and outputs. With our theory, it becomes feasible to develop techniques and tools for automatic generation of realistic and sound tests from CSP models. Our work reconciles the normally disparate areas of refinement and (formal) testing by identifying how ioco testing can be used to inform refinement-based results and vice-versa.