Static Analysis Tools In Software Testing