M2SmallLint : software health monitoring tool
Abstract
Developing error-free applications is a major challenge for computer scientists. Tools to remedy this problem have been developed, notably Rule Checkers and proof assistants. As a particular case of error, a bug is by nature intangible, invisible and difficult to trace. We propose to investigate the correlations between the alerts generated by rule checkers and the internal quality of the software system. In this first version of the work, we present M2SmallLint, a tool for visualizing and navigating through source code properties in order to locate potential errors. This tool enables the visualization of software health.
Downloads
References
J. Sliwerski, T. Zimmermann Et A. Zeller, HATARI: raising risk awareness., ESEC/SIGSOFT FSE, pp. 107-110., 2005.
A. Hora, N. Anquetil Et S. Ducasse, Bug maps: A tool for the visual exploration and analysis of bugs., In : 2012 16th European Conference on Software Maintenance and Reengineering. IEEE., pp. 523-526, 2012.
C. Couto, P. Pires, M. T. Valente Et H. N. A. Andre, Bugmaps-granger: A tool for causality analysis between source code metrics and bugs., Brazilian Conference on Software: Theory and Practice (CBSoft'13)., 2013.
F. Bolte Et S. Bruckner, Vis-a-vis: visual exploration of visualization source code evolution., IEEE Transactions on Visualization and Computer Graphics, pp. 3153-3167., 2020.
Reddivari, Sandeep Et Khan, Mohammed Salman. VisioTM: A Tool for Visualizing Source Code Based on Topic Modeling., 43rd Annual Computer Software and Applications Conference (COMPSAC) IEEE. , pp. 932-933., 2019.
J. Maletic, D. Mosora Et C. Newman, MosaiCode: visualizing large scale software: A tool demonstration., 6th International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT). IEEE, pp. 1-4, 2011.
H. Kienle Et H. Müller, The Rigi reverse engineering environment., 1nd International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 1)., 2008.
PharoConsortium, Welcome to Pharo, 2022. [En ligne]. Available: https://pharo.org/. [Accès le 13 juin 2022].
Synectique, Moose, 2022. [En ligne]. Available: https://moosetechnology.org/. [Accès le 04 juillet 2022].
S. Ducasse, N. Anquetil Et M. U. Bhatti, Mse And Famix 3.0: an interexchange format and source code model family,» 2011.
S. R. C. a. C. F. Kemerer, A Metrics Suite for Object, IEEE Transaction on Software Engineering, 2020.
C. a. N. Harrison, Evaluation of the MOOD Set of Object-Oriented Software Metrics, IEEE Transaction on Software, 2020.
P. Mengal, Métriques Et Critères D’évaluation De La Qualité Du Code Source D’un Logiciel, Revue d’un professionnel de l’industrie du logicie, Paris, 2019.
T. Durieux, F. Madeiral, M. Martinez et R. Abreu, Empirical review of Java program repair tools: A large-scale experiment on 2,141 bugs and 23,551 repair attempts., 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 302-313, 2019.
P. Hegedűs et R. Ferenc, Static code analysis alarms filtering reloaded: A new real-world dataset and its ML-based utilization., IEEE Access, 10, , pp. 55090-55101. , 2022.
S. Heckman Et L. Williams, On establishing a benchmark for evaluating static analysis alert prioritization and classification techniques., Second ACM-IEEE international symposium on Empirical software engineering and measurement ., pp. 41-50, 2008.
T. Kremenek Et D. Engler, Z-ranking: Using statistical analysis to counter the impact of static analysis approximations.,» chez International Symposium, SAS. , San Diego, CA, USA, 2003.
Copyright (c) 2023 Indonesian Journal of Data and Science
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
License and Copyright Agreement
In submitting the manuscript to the journal, the authors certify that:
- They are authorized by their co-authors to enter into these arrangements.
- The work described has not been formally published before, except in the form of an abstract or as part of a published lecture, review, thesis, or overlay journal.
- The work is not under consideration for publication elsewhere.
- The work has been approved by all the author(s) and by the responsible authorities – tacitly or explicitly – of the institutes where the work has been carried out.
- They secure the right to reproduce any material that has already been published or copyrighted elsewhere.
- They agree to the following license and copyright agreement.
Copyright
Authors who publish with Indonesian Journal of Data and Science agree to the following terms:
- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution-NonCommercial 4.0 International License. (CC BY-NC 4.0) that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work.
