Static Analysis In Software Testing