Nurul Rismayanti
Universitas Muslim Indonesia, Makassar

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search

M2SmallLint : software health monitoring tool Hayatou Oumarou; Nurul Rismayanti
Indonesian Journal of Data and Science Vol. 4 No. 2 (2023): Indonesian Journal of Data and Science
Publisher : yocto brain

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.56705/ijodas.v4i2.90

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.