A Method of Third Party Verification for System Products Including the Presumption of Fault Location and Cause, and its Evaluation on the Implementation