A New Method of Testability Quantitative Requirements Demonstration Based on Efficacy Simulation | IEEE Conference Publication | IEEE Xplore