short-paper

SYCO: a systematic testing tool for concurrent objects

Authors:

Elvira Albert,

Miguel Gómez-Zamalloa,

Miguel IsabelAuthors Info & Claims

CC '16: Proceedings of the 25th International Conference on Compiler Construction

Pages 269 - 270

https://doi.org/10.1145/2892208.2892236

Published: 17 March 2016 Publication History

Get Access

Abstract

We present the concepts, usage and prototypical implementation of SYCO: a SYstematic testing tool for Concurrent Objects. The system receives as input a program, a selection of method to be tested, and a set of initial values for its parameters. SYCO offers a visual web interface to carry out the testing process and visualize the results of the different executions as well as the sequences of tasks scheduled as a sequence diagram. Its kernel includes state-of-the-art partial-order reduction techniques to avoid redundant computations during testing. Besides, SYCO incorporates an option to effectively catch deadlock errors. In particular, it uses advanced techniques which guide the execution towards potential deadlock paths and discard paths that are guaranteed to be deadlock free.

References

[1]

P. Abdulla, S. Aronis, B. Jonsson, and K. F. Sagonas. Optimal Dynamic Partial Order Reduction. In Proc. POPL’14, pp. 373–384. ACM, 2014.

Digital Library

Google Scholar

[2]

E. Albert, P. Arenas, and M. G´omez-Zamalloa. Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. In Proc. FORTE’14, LNCS 8461, pp. 49-65. Springer, 2014.

Crossref

Google Scholar

[3]

E. Albert, P. Arenas, M. G´omez-Zamalloa, and P. Y.H. Wong. aPET: A Test Case Generation Tool for Concurrent Objects. In Proc. ESEC/FSE’13, pp. 595–598. ACM, 2013.

Digital Library

Google Scholar

[4]

E. Albert, M. G´omez-Zamalloa, and M. Isabel. Combining Static Analysis and Testing for Deadlock Detection. Technical report, 2015.

Google Scholar

[5]

S. Aronis and K. Sagonas. Concuerror: Systematic concurrency testing of Erlang programs.

Google Scholar

[6]

A. Flores-Montoya, E. Albert, and S. Genaim. May-Happenin-Parallel based Deadlock Analysis for Concurrent Objects. In FORTE’13, LNCS 7892, pages 273–288. Springer, 2013.

Google Scholar

[7]

S. Genaim and J. Doménech. The EasyInterface Framework, 2015. http://github.com/abstools/easyinterface.

Google Scholar

[8]

E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen. ABS: A Core Language for Abstract Behavioral Specification. In Proc. FMCO’10, LNCS 6957, pp. 142-164. Springer, 2012.

Digital Library

Google Scholar

[9]

M. Musuvathi and S. Qadeer. Concurrency Unit Testing with CHESS. Tech. Report MSR-TR-2008-04, Microsoft Research, January 2008.

Google Scholar

[10]

D. Marinov G. Agha S. Lauterburg, R. K. Karmani. Basset: A Tool for Systematic Testing of Actor Programs. In Proceedings of FSE 2010, pages 363–364. ACM, 2010.

Digital Library

Google Scholar

Cited By

View all

de Boer FJohnsen EPun VTapia Tarifa S(2024)Proving Correctness of Parallel Implementations of Transition System ModelsACM Transactions on Programming Languages and Systems10.1145/366063046:3(1-50)Online publication date: 17-Sep-2024
https://dl.acm.org/doi/10.1145/3660630
Albert Ede la Banda MGómez-Zamalloa MIsabel MStuckey P(2023)Optimal dynamic partial order reduction with context-sensitive independence and observersJournal of Systems and Software10.1016/j.jss.2023.111730202:COnline publication date: 1-Aug-2023
https://dl.acm.org/doi/10.1016/j.jss.2023.111730
Gomez-Zamalloa MIsabel M(2021)Deadlock-Guided TestingIEEE Access10.1109/ACCESS.2021.30654219(46033-46048)Online publication date: 2021
https://doi.org/10.1109/ACCESS.2021.3065421
Show More Cited By

Index Terms

SYCO: a systematic testing tool for concurrent objects
1. Computing methodologies
  1. Concurrent computing methodologies
    1. Concurrent programming languages
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Concurrent programming languages

Recommendations

aPET: a test case generation tool for concurrent objects
ESEC/FSE 2013: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering

We present the concepts, usage and prototypical implementation of aPET, a test case generation tool for a distributed asynchronous language based on concurrent objects. The system receives as input a program, a selection of methods to be tested, and a ...
Iterative context bounding for systematic testing of multithreaded programs
PLDI '07: Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation

Multithreaded programs are difficult to get right because of unexpected interaction between concurrently executing threads. Traditional testing methods are inadequate for catching subtle concurrency errors which manifest themselves late in the ...
Iterative context bounding for systematic testing of multithreaded programs
Proceedings of the 2007 PLDI conference

Multithreaded programs are difficult to get right because of unexpected interaction between concurrently executing threads. Traditional testing methods are inadequate for catching subtle concurrency errors which manifest themselves late in the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

CC '16: Proceedings of the 25th International Conference on Compiler Construction

March 2016

270 pages

ISBN:9781450342414

DOI:10.1145/2892208

General Chair:
Ayal Zaks
Intel, Israel / Technion, Israel
,
Program Chair:
Manuel Hermenegildo
IMDEA SW Institute, Spain / T.U. Madrid-UPM, Spain

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

IEEE-CS: Computer Society

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 March 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Conference

CGO '16

Sponsor:

CGO '16: 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization

March 17 - 18, 2016

Barcelona, Spain

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
152
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)1

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

de Boer FJohnsen EPun VTapia Tarifa S(2024)Proving Correctness of Parallel Implementations of Transition System ModelsACM Transactions on Programming Languages and Systems10.1145/366063046:3(1-50)Online publication date: 17-Sep-2024
https://dl.acm.org/doi/10.1145/3660630
Albert Ede la Banda MGómez-Zamalloa MIsabel MStuckey P(2023)Optimal dynamic partial order reduction with context-sensitive independence and observersJournal of Systems and Software10.1016/j.jss.2023.111730202:COnline publication date: 1-Aug-2023
https://dl.acm.org/doi/10.1016/j.jss.2023.111730
Gomez-Zamalloa MIsabel M(2021)Deadlock-Guided TestingIEEE Access10.1109/ACCESS.2021.30654219(46033-46048)Online publication date: 2021
https://doi.org/10.1109/ACCESS.2021.3065421
Schlatte RJohnsen EKamburjan ETapia Tarifa S(2021)Modeling and Analyzing Resource-Sensitive Actors: A Tutorial IntroductionCoordination Models and Languages10.1007/978-3-030-78142-2_1(3-19)Online publication date: 14-Jun-2021
https://dl.acm.org/doi/10.1007/978-3-030-78142-2_1
Storey KMercer EParizek P(2019)A Sound Dynamic Partial Order Reduction Engine for Java PathfinderACM SIGSOFT Software Engineering Notes10.1145/3364452.336445744:4(15-19)Online publication date: 12-Dec-2019
https://dl.acm.org/doi/10.1145/3364452.3364457
Albert Ede la Banda MGómez-Zamalloa MIsabel MStuckey PZhang DMøller A(2019)Optimal context-sensitive dynamic partial order reduction with observersProceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3293882.3330565(352-362)Online publication date: 10-Jul-2019
https://dl.acm.org/doi/10.1145/3293882.3330565
Wasser NHeydari Tabar AHähnle R(2019)Modeling Non-deterministic C Code with Active ObjectsFundamentals of Software Engineering10.1007/978-3-030-31517-7_15(213-227)Online publication date: 1-May-2019
https://dl.acm.org/doi/10.1007/978-3-030-31517-7_15
Sulzmann MStadtmüller KSabel DThiemann P(2018)Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector ClocksProceedings of the 20th International Symposium on Principles and Practice of Declarative Programming10.1145/3236950.3236959(1-13)Online publication date: 3-Sep-2018
https://dl.acm.org/doi/10.1145/3236950.3236959
Hähnle RSteffen B(2018)Constraint-Based Behavioral Consistency of Evolving Software SystemsMachine Learning for Dynamic Software Analysis: Potentials and Limits10.1007/978-3-319-96562-8_8(205-218)Online publication date: 20-Jul-2018
https://doi.org/10.1007/978-3-319-96562-8_8
Albert EGómez-Zamalloa MRubio ASammartino MSilva A(2018)SDN-Actors: Modeling and Verification of SDN ProgramsFormal Methods10.1007/978-3-319-95582-7_33(550-567)Online publication date: 12-Jul-2018
https://doi.org/10.1007/978-3-319-95582-7_33
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

aPET: a test case generation tool for concurrent objects

Iterative context bounding for systematic testing of multithreaded programs

Iterative context bounding for systematic testing of multithreaded programs