Fault behaviors analysis of embedded programs: Fault behaviors analysis of embedded programs