Automatic testing of TCP/IP implementations using QuickCheck Export

@inproceedings{quickcheck_tcp, abstract = {We describe how to use model based testing for testing a network stack. We present a framework that together with the property based testing tool QuickCheck can be used to test the TCP layer of the Internet protocol stack. TCP is a rather difficult protocol to test, since it hides a lot of operations for the user that communicates to the stack via a socket interface. Internally, a lot happens and by only controlling the interface, full testing is not possible. This is typical for more complex protocols and we therefore claim that the presented method can easily be extended to other cases. We present an automatic test case generator for TCP using Quickcheck. This tester generates packet flows to test specific features of a TCP stack. It then controls the stack under test to run the test by using the interface provided by it (for example, the socket interface), and by sending replies to the packets created by the stack under test. We validated the test framework on the standard Linux TCP/IP implementation.}, address = {New York, NY, USA}, author = {Paris, Javier and Arts, Thomas}, booktitle = {Erlang '09: Proceedings of the 8th ACM SIGPLAN workshop on Erlang}, citeulike-article-id = {6070491}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1596600.1596612}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1596600.1596612}, doi = {10.1145/1596600.1596612}, isbn = {978-1-60558-507-9}, keywords = {erlang, protocols, quickcheck, tcp\_layer, testing}, location = {Edinburgh, Scotland}, pages = {83--92}, posted-at = {2009-11-04 17:03:49}, priority = {2}, publisher = {ACM}, title = {Automatic testing of TCP/IP implementations using QuickCheck}, url = {http://dx.doi.org/10.1145/1596600.1596612}, year = {2009} }

TY - CONF ID - quickcheck_tcp L3 - citeulike-article-id:6070491 N2 - We describe how to use model based testing for testing a network stack. We present a framework that together with the property based testing tool QuickCheck can be used to test the TCP layer of the Internet protocol stack. TCP is a rather difficult protocol to test, since it hides a lot of operations for the user that communicates to the stack via a socket interface. Internally, a lot happens and by only controlling the interface, full testing is not possible. This is typical for more complex protocols and we therefore claim that the presented method can easily be extended to other cases. We present an automatic test case generator for TCP using Quickcheck. This tester generates packet flows to test specific features of a TCP stack. It then controls the stack under test to run the test by using the interface provided by it (for example, the socket interface), and by sending replies to the packets created by the stack under test. We validated the test framework on the standard Linux TCP/IP implementation. CY - Edinburgh, Scotland SN - 978-1-60558-507-9 AD - New York, NY, USA EP - 92 TI - Automatic testing of TCP/IP implementations using QuickCheck PB - ACM T2 - Erlang '09: Proceedings of the 8th ACM SIGPLAN workshop on Erlang SP - 83 KW - erlang KW - protocols KW - quickcheck KW - tcp_layer KW - testing AU - Paris, Javier AU - Arts, Thomas PY - 2009/// UR - http://dx.doi.org/10.1145/1596600.1596612 ER -