TY - GEN
T1 - Automating detection of faults in TCP implementations
AU - Inamura, Hiroshi
AU - Takahashi, Osamu
AU - Ishikawa, Taro
AU - Shigeno, Hiroshi
AU - Okada, Kenichi
N1 - Copyright:
Copyright 2012 Elsevier B.V., All rights reserved.
PY - 2004
Y1 - 2004
N2 - We propose a new environment for testing the behavior of TCP. We analyze existing test methodologies and show that there is still a need to reduce the loads imposed on both the worker and the expert. The Auto Detector is extensible and so well supports both the automation of predefined tasks and the communication tools needed to ensure gradual refinement by the participants. To show the effectiveness of our proposal, actual software flaw s found in HP/UX and the Windows operating system are taken as examples of how to realize the automation of reproduction and detection tasks; it is flexible enough to resolve real-world issues.
AB - We propose a new environment for testing the behavior of TCP. We analyze existing test methodologies and show that there is still a need to reduce the loads imposed on both the worker and the expert. The Auto Detector is extensible and so well supports both the automation of predefined tasks and the communication tools needed to ensure gradual refinement by the participants. To show the effectiveness of our proposal, actual software flaw s found in HP/UX and the Windows operating system are taken as examples of how to realize the automation of reproduction and detection tasks; it is flexible enough to resolve real-world issues.
UR - http://www.scopus.com/inward/record.url?scp=3042663875&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=3042663875&partnerID=8YFLogxK
U2 - 10.1109/AINA.2004.1283930
DO - 10.1109/AINA.2004.1283930
M3 - Conference contribution
AN - SCOPUS:3042663875
SN - 0769520510
SN - 9780769520513
T3 - Proceedings - International Conference on Advanced Information Networking and Application (AINA)
SP - 315
EP - 320
BT - Proceedings - 18th International Conference on Advanced Information Networking and Applications, AINA 2004 Volume 1 (Regional Papers)
A2 - Barolli, L.
T2 - Proceedings - 18th International Conference on Advanced Information Networking and Applications, AINA 2004
Y2 - 29 March 2004 through 31 March 2004
ER -