Five Techniques for Creating Testable Requirements