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. © IFIP International Federation for Information Processing 2004.
Cite
CITATION STYLE
Alcalde, B., Cavalli, A., Chen, D., Khuu, D., & Lee, D. (2004). Network protocol system passive testing for fault management: A backward checking approach. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3235, 150–156. https://doi.org/10.1007/978-3-540-30232-2_10
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
