Equivalence partitioning divides test conditions into groups that should be handled equivalently by the system. Only one condition from each partition needs to be tested. Decision tables help test combinations of inputs and states systematically. State transition testing models systems with different outputs depending on prior states. Use case testing identifies test cases that exercise full transactions between an actor and the system from start to finish.