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 metadatas

https://hal.archives-ouvertes.fr/hal-01304898
Contributor : Lip6 Publications <>
Submitted on : Wednesday, April 20, 2016 - 2:34:58 PM
Last modification on : Thursday, March 21, 2019 - 1:19:37 PM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

54