Title :
A study of some influencing factors in testability and diagnostics based on FSMs
Author :
Karoui, K. ; Ghedamsi, A. ; Dssouli, R.
Author_Institution :
Inst. Nat. des Sci. Appliquees et de Technol., Ecole Nationale des Ingenieurs de Tunis, Tunisia
Abstract :
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
Keywords :
fault location; finite state machines; program testing; software reliability; telecommunication computing; FSM; communication software reliability; diagnostics; fault detection; fault localization; finite state machine model; testability; Automata; Context modeling; Decision support systems; Delta modulation; Fault detection; Protocols; Runtime; Software reliability; Software testing; Time factors;
Conference_Titel :
Computers and Communications, 1999. Proceedings. IEEE International Symposium on
Conference_Location :
Red Sea
Print_ISBN :
0-7695-0250-4
DOI :
10.1109/ISCC.1999.780780
