FSM fault models impact on test performances