An Automated Support Tool to Compute State Redundancy Semantic Metric

Abstract

Semantic metrics are quantitative measures of software quality characteristics based on semantic information extracted from the different phases of the software process. The empirical validation of these metrics is necessary required to consider them as quality indicators; which can’t be achieved only through their automatic computing based on the appropriate software tools. However, some semantic metrics are only based on theoretical formulation and require further empirical studies and experiments to validate and exploit them. This paper will take into consideration one of the theoretical metrics to be automatically calculated using various basic programs. The experimental results show that automatical computing of this metric is beneficial and fruitful in two sides. On one side, it has an efficient role in computing semantic metrics from the program functional attitude. On the other side, this step is essential to empirically validate this metric as a software quality indicator.