A methodology for statistical evaluation of estimated and real testability measures