Title | ||
---|---|---|
Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach |
Abstract | ||
---|---|---|
Passive testing has proved to be a powerful technique for protocol system fault detection by observing its input/output behaviors yet without interrupting its normal operations. To improve the fault detection capabilities we propose a backward checking method that analyzes in a backward fashion the input/output trace from passive testing and its past. It effectively checks both the control and data portion of a protocol system, compliments the forward checking approaches, and detects more errors. We present our algorithm, study its termination and complexity, and report experiment results on the protocol SCP. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-30232-2_10 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
fault management,input output,forward checking,fault detection,network protocol,normal operator | Fault detection and isolation,Computer science,Real-time computing,Look-ahead,Fault management,Input/output,Passive testing,Transmission protocol,Communications protocol | Conference |
Volume | ISSN | Citations |
3235 | 0302-9743 | 25 |
PageRank | References | Authors |
1.21 | 7 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Baptiste Alcalde | 1 | 83 | 5.69 |
Ana R. Cavalli | 2 | 671 | 76.11 |
Dongluo Chen | 3 | 87 | 4.77 |
Davy Khuu | 4 | 25 | 1.21 |
David Lee | 5 | 195 | 21.40 |