Skip to Main content Skip to Navigation
Conference papers

Concurrent Program Metrics Drawn by Quasar

Abstract : Aiming at developing reliable concurrent software, the engineering practice uses appropriate metrics. Our tool Quasar analyses automatically the concurrent part of programs and produces data reporting its analysis process. We attempt to use the data as metrics for concurrent programming. The first aim of Quasar is the validation of concurrent code; in addition, the reported data may be relevant to mark the quality of code, to evaluate different concurrency semantics, to compare the execution indeterminism of different implementations of a concurrency pattern and to estimate the scalability of a solution. As a case study we analyse with Quasar several implementations of a distributed symmetric non-deterministic rendezvous algorithm. We consider two possible uses of the collected data for indeterminism estimation and for concurrent software quality.
Document type :
Conference papers
Complete list of metadata
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Wednesday, April 20, 2016 - 2:34:58 PM
Last modification on : Friday, January 8, 2021 - 5:38:07 PM

Links full text



Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre. Concurrent Program Metrics Drawn by Quasar. Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Jun 2008, Venice, Italy. pp.101-114, ⟨10.1007/978-3-540-68624-8_8⟩. ⟨hal-01304898⟩



Les métriques sont temporairement indisponibles