How to Evaluate the effectiveness and efficiency of static testing