Concurrent Program Metrics Drawn by Quasar - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008

Concurrent Program Metrics Drawn by Quasar

Claude Kaiser
  • Fonction : Auteur
Christophe Pajault
  • Fonction : Auteur
  • PersonId : 981232
Jean-François Pradat-Peyre
  • Fonction : Auteur
  • PersonId : 978585
  • IdRef : 110946456

Résumé

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.

Dates et versions

hal-01304898 , version 1 (20-04-2016)

Identifiants

Citer

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⟩
60 Consultations
0 Téléchargements

Altmetric

Partager

More