Testing Requirement Analysis Method Based on Signal Path for High Reliability Software. - Yunyun Ma; Jinbo Wang 001; Yuelong Qu; Tao Zhang (DSA, 2017)