Key Test Design Techniques