Testing Requirement Analysis Method Based on Signal Path for High Reliability Software | IEEE Conference Publication | IEEE Xplore