IBMRationalFunctionalTester(简称RFT)