In this paper a comprehensive methodology for software execution time estimation is presented. The methodology is supported by rigorous mathematical models of C statements in terms of elementary operations. The deterministic contribution is combined with a statistical term accounting for all those aspects that cannot be quantified exactly. The methodology has been validated by realizing a complete prototype toolset, used to carry out the experiments.
['Carlo Brandolese', 'William Fornaciari', 'Fabio Salice', 'Donatella Sciuto']
Source-level execution time estimation of C programs