Tag Archives: University of Coruña

  • Automatic Testing of TCP/IP Implementations Using Quickcheck
    2009-09-05 Erlang Central

    Videos



    Developing a network stack is difficult. It is highly concurrent by design, there are many time-related tasks that must be performed, and it must be reasonably efficient to be useful. Testing a network stack is also hard, because it involves using a packet sniffer and looking at long packet dumps. Usually, tests are run using a well known stack as peer, such as the Linux kernel TCP/IP stack. However this approach has some problems. Many errors are difficult to find and to reproduce because they ...


    Read more