4.6 Fault modeling, test generation and diagnosis