SYCO: a systematic testing tool for concurrent objects
| dc.conference.date | 17-18 Marzo 2016 | |
| dc.conference.place | Barcelona, España | |
| dc.conference.title | CC 2016: Proceedings of the 25th International Conference on Compiler Construction | |
| dc.contributor.author | Albert Albiol, Elvira María | |
| dc.contributor.author | Isabel Márquez, Miguel | |
| dc.contributor.author | Gómez-Zamalloa Gil, Miguel | |
| dc.date.accessioned | 2024-02-05T15:20:32Z | |
| dc.date.available | 2024-02-05T15:20:32Z | |
| dc.date.issued | 2016 | |
| dc.description.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-theart 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. | |
| dc.description.department | Depto. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Informática | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.identifier.citation | Elvira Albert, Miguel Gómez-Zamalloa, and Miguel Isabel. 2016. SYCO: a systematic testing tool for concurrent objects. In Proceedings of the 25th International Conference on Compiler Construction (CC 2016). Association for Computing Machinery, New York, NY, USA, 269–270. | |
| dc.identifier.doi | 10.1145/2892208.2892236 | |
| dc.identifier.officialurl | https://doi.org/10.1145/2892208.2892236 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/99061 | |
| dc.language.iso | eng | |
| dc.page.final | 270 | |
| dc.page.initial | 269 | |
| dc.rights | Attribution-NonCommercial-ShareAlike 4.0 International | en |
| dc.rights.accessRights | restricted access | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | |
| dc.subject.keyword | Systematic testing | |
| dc.subject.keyword | Concurrency | |
| dc.subject.keyword | Partial-order reduction | |
| dc.subject.ucm | Lenguajes de programación | |
| dc.subject.unesco | 1203.23 Lenguajes de Programación | |
| dc.title | SYCO: a systematic testing tool for concurrent objects | |
| dc.type | conference paper | |
| dc.type.hasVersion | VoR | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 1b41e88a-837f-414a-af5d-9105b5c0e7c5 | |
| relation.isAuthorOfPublication | 06ba5ba7-fae5-4f98-99b7-3830106dee88 | |
| relation.isAuthorOfPublication | 6eef4c69-fd36-4274-b9c2-e93105ad2268 | |
| relation.isAuthorOfPublication.latestForDiscovery | 6eef4c69-fd36-4274-b9c2-e93105ad2268 |
Download
Original bundle
1 - 1 of 1