DocumentCode
3465276
Title
Automatic detection of local and global software failures
Author
Hazy, Peter ; Seviora, Rudolph E.
Author_Institution
Dept. of Electr. & Comput. Eng., Waterloo Univ., Ont., Canada
fYear
2005
fDate
21-22 Oct. 2005
Firstpage
32
Lastpage
37
Abstract
The problem of automatic detection of failures of reactive, session-oriented software programs is described. Detection of failures is carried out by a separate unit, which observes the inputs and outputs of the target program and reports the failures detected.
Keywords
software fault tolerance; specification languages; ITU-T; SDL; automatic software failure detection; session-oriented software program; software reliability; specification-based failure detection; specification-description language; Automata; Automatic control; Computational efficiency; Law; Legal factors; Software reliability; Software systems; Specification languages; Telecommunication control; Telephony; ITU-T SDL; automatic detection of software failures; reactive systems; software failures; software reliability; specification-based failure detection; telecommunication software;
fLanguage
English
Publisher
ieee
Conference_Titel
Control and Communications, 2005. SIBCON '05. IEEE International Siberian Conference on
Print_ISBN
0-7803-9219-1
Type
conf
DOI
10.1109/SIBCON.2005.1611189
Filename
1611189
Link To Document