Static Testing And Static Analysis