Research on the Model Based Testing Method for the Magnetic Leakage Field of Flaw | IEEE Conference Publication | IEEE Xplore