Effective methods for software testing