[2] SIEH V,TSCHACHE O,BALBACH F.Verify:evaluation of reliability using VHDL-Models with embedded fault descriptions［C］//The 27th IEEE International Symposium on Fault-Tolerant Computing,Seattle,1997:32-36.

[4] ELHADEF M,DAS S,NAYAK A.System-level fault diagnosis using comparison models:an artificial-immune-systems-based approach［J］.Journal of Networks,2006,1(5): 43-53.

[7] YIN Y,LIU B.A method of test case automatic generation for embedded software［C］//International Conference on Information Engineering and Computer Science,IEEE, 2009:1-5.

[8] CHESSA S,SANTI P.Comparison-based system-level fault diagnosis in Ad Hoc networks［C］//Proceedings of the IEEE Symposium on Reliable Distributed Systems,2001:257-266.

[9] YU S Y,MCCLUSKEY E J.On-line testing and recovery in TMR systems for real-time applications［C］//Test Conference Proceedings,International,IEEE,2001:240-249.