Testing of embedded system using fault modeling

This paper deals with the problem of testing methods for testing embedded systems The problem addressed in this paper is about methods for testing whether impletation of system are correct . The problem of testing a system for its correctness deals with the designing of test cases .Test cases for correctness of the system with respect to specifications ,are large in number which makes the testing of embedded system infeasible. Robust testing of embedded system will help in solving this problem .Robust testing can be done by considering specifications as finite state machine.