A study of some influencing factors in testability and diagnostics based on FSMs
Karim Karoui, A. Ghedamsi, Rachida Dssouli · 2003
It is well known that the tests and diagnostics influence greatly communication software reliability. The testability and the easiness of the diagnostic process of communication software are becoming major concerns of the design community. The fault detection and the fault localization problems are strongly related issues. The ease of diagnostics can be seen as a criterion of testability; it is in fact characterized by specific requirements at the design level. We make a clear link between these two issues and we study the influence of some testability factors on the diagnostic activity. We present our results and hints on "diagnosability" in the context of a finite state machine model.