static analysis in software testing