OASIcs.ICLP.2016.18.pdf
- Filesize: 279 kB
- 5 pages
Document
Testing of Concurrent Programs
Author
-
Part of:
Volume:
Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)
Series: Open Access Series in Informatics (OASIcs)
Conference: International Conference on Logic Programming (ICLP) - License:
Creative Commons Attribution 3.0 Unported license
- Publication date: 2016-11-11
Cite AsGet BibTex
Miguel Isabel. Testing of Concurrent Programs. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, pp. 18:1-18:5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016)
https://doi.org/10.4230/OASIcs.ICLP.2016.18
https://doi.org/10.4230/OASIcs.ICLP.2016.18
Abstract
Testing concurrent systems requires exploring all possible non-deterministic interleavings that the concurrent execution may have, as any of the interleavings may reveal erroneous behaviour. This introduces a new problem: the well-known state space problem, which is often computationally intractable. In the present thesis, this issue will be addressed through: (1) the development of new Partial-Order Reduction Techniques and (2) the combination of static analysis and testing (property-based testing) in order to reduce the combinatorial explosion. As a preliminary result, we have performed an experimental evaluation on the SYCO tool, a CLP-based testing framework for actor-based concurrency, where these techniques have been implemented. Finally, our experiments prove the effectiveness and applicability of the proposed techniques.
Keywords
- Property-based Testing
- Partial Order Reduction
- Deadlock-Guided Testing
- Deadlock Detection
- Systematic Testing
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads