18th International Conference on Advanced Information Networking and Applications, 2004. AINA 2004. (2004)
Mar. 29, 2004 to Mar. 31, 2004
Hiroshi Inamura , NTT DoCoMo, Inc., Japan
Osamu Takahashi , NTT DoCoMo, Inc., Japan
Taro Ishikawa , NTT DoCoMo, Inc., Japan
Hiroshi Shigeno , Keio University, Japan
Kenichi Okada , Keio University, Japan
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 flaws 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.
K. Okada, T. Ishikawa, O. Takahashi, H. Inamura and H. Shigeno, "Automating Detection of Faults in TCP Implementations," 18th International Conference on Advanced Information Networking and Applications, 2004. AINA 2004.(AINA), Fukuoka, Japan, 2004, pp. 315.