Testable Requirements as a Sizing Measure