結果 : static analysis in software testing