Automatic testing of TCP/IP implementations using quickcheck

Erlang'09 - Proceedings of the 2009 ACM SIGPLAN Erlang Workshop, Co-located with the International Conference on Functional Programming, ICFP'09

Volumn , Issue , 2009, Pages 83-91

  Paris, Javier ^a   Arts, Thomas ^b  

^a UNIVERSITY OF A CORUÑA   (Spain)

^b UNIVERSITY OF GOTHENBURG   (Sweden)

Author keywords

Reliability

Indexed keywords

AUTOMATIC TEST; COMPLEX PROTOCOLS; NETWORK STACK; PACKET FLOWS; PROPERTY BASED TESTING; TCP STACKS; TCP/IP IMPLEMENTATION; TEST FRAMEWORK; USE-MODEL;

AUTOMATIC TESTING; COMPUTER OPERATING SYSTEMS; FUNCTIONAL PROGRAMMING; INTERNET; TRANSMISSION CONTROL PROTOCOL;

INTERNET PROTOCOLS;

EID: 70450253211     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1596600.1596612     Document Type: Conference Paper

References (7)

1. Thomas Arts, John Hughes, Joakim Johansson, and Ulf Wiger. Testing Telecoms Software with Quviq QuickCheck. In ERLANG'06: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang, New York, NY, USA, 2006. ACM Press.
2. Koen Claessen and John Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, pages 268-279, New York, NY, USA, 2000. ACM.
3. John Hughes. Quickcheck Testing for Fun and Profit. In Michael Hanus, editor, 9th International Symposium on Practical Aspects of Declarative Languages. Springer, 2007.
4. Information Sciences Institute. RFC 793: Transmission control protocol, 1981. URL http://rfc.sunsite.dk/rfc/rfc793.html. Edited by Jon Postel. Available at http://rfc.sunsite.dk/rfc/rfc793.html.
5. Van Jacobson, Craig Leres, and Steven McCanne. libpcap: Packet capture library. URL http://www.tcpdump.org.
6. Javier Paris, Victor Gulias, and Alberto Valderruten. A high performance erlang TCP/IP stack. In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, pages 52-61, New York, NY, USA, 2005. ACM. ISBN 1-59593-066-3. doi: http://doi.acm.org/10.1145/1088361.1088372.
7. Raid Zaghal and Javed Khan. EFSM/SDL modeling of the original TCP standard (RFC793) and the Congestion Control Mechanism of TCP Reno. URL http://www.medianet.kent.edu/technicalreports.html.