|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Analysis of Applicability for Synchronization Complexity Metric
Las Vegas, Nevada USA
April 27-April 29
ISBN: 978-0-7695-4379-6
| ASCII Text | x | ||
| Peter Yastrebenetsky, Mark Trakhtenbrot, "Analysis of Applicability for Synchronization Complexity Metric," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 24-33, 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 2011. | |||
| BibTex | x | ||
| @article{ 10.1109/ECBS.2011.7, author = {Peter Yastrebenetsky and Mark Trakhtenbrot}, title = {Analysis of Applicability for Synchronization Complexity Metric}, journal ={Engineering of Computer-Based Systems, IEEE International Conference on the}, volume = {0}, year = {2011}, isbn = {978-0-7695-4379-6}, pages = {24-33}, doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2011.7}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Engineering of Computer-Based Systems, IEEE International Conference on the TI - Analysis of Applicability for Synchronization Complexity Metric SN - 978-0-7695-4379-6 SP24 EP33 A1 - Peter Yastrebenetsky, A1 - Mark Trakhtenbrot, PY - 2011 KW - synchronization complexity analysis KW - soundness KW - practical applicability VL - 0 JA - Engineering of Computer-Based Systems, IEEE International Conference on the ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.2011.7
The paper analyzes the practical applicability of the novel Synchronization Complexity metric (SCM) introduced by the authors in [14]. This metric characterizes complexity of a program based on the kind and amount of means used for synchronization between its concurrent components. The metric is evaluated with respect to the soundness properties introduced by Weyuker [13] and software measurement scales considered by Zuse [15]. The growth of SCM for real-world applications is also analyzed. The analysis shows that SCM is a useful practical instrument for evaluation of complex software systems. In particular, SCM allows for assessment of the amount of tests needed to achieve a proper coverage in testing of a concurrent program. It also enables comparison between different implementations of a system based on their synchronization complexity.
Index Terms:
synchronization complexity analysis, soundness, practical applicability
Citation:
Peter Yastrebenetsky, Mark Trakhtenbrot, "Analysis of Applicability for Synchronization Complexity Metric," ecbs, pp.24-33, 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 2011
Usage of this product signifies your acceptance of the Terms of Use.
