This is a method and software for testing computer software. The method applies to a broad range of software but is particularly applicable to software with complex conditions and decisions, e.g., process control, avionics, and other areas. This method also verifies equivalence classes for module