Cavalcanti, A., Hierons, R.M. orcid.org/0000-0002-4771-1446 and Nogueira, S. (2020) Inputs and outputs in CSP : a model and a testing theory. ACM Transactions on Computational Logic, 21 (3). 24. ISSN 1529-3785
Abstract
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.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2020 Association for Computing Machinery. This is an author-produced version of a paper subsequently published in ACM Transactions on Computational Logic. Uploaded in accordance with the publisher's self-archiving policy. |
Keywords: | Exhaustive test set; process algebra; reinement; refusal-testing model |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Funding Information: | Funder Grant number Engineering and Physical Science Research Council EP/R025134/2 |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 22 Jan 2020 10:42 |
Last Modified: | 24 Aug 2020 08:28 |
Status: | Published |
Publisher: | Association for Computing Machinery |
Refereed: | Yes |
Identification Number: | 10.1145/3379508 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:155706 |