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

fYear

1999

fDate

1999

Firstpage

109

Lastpage

115

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computers and Communications, 1999. Proceedings. IEEE International Symposium on

Conference_Location

Red Sea

Print_ISBN

0-7695-0250-4

Type

conf

DOI

10.1109/ISCC.1999.780780

Filename

780780