Quote: validated a TCP/IP/Socket specification by model checking actual traces; 97% success for UDP and 91% success for TCP; half of the TCP failures due to test and check problems

Quotation Skeleton

The experimental validation process shows that the [TCP/IP/Socket] specification admits almost all the test traces generated. For UDP, … we have focused recently on the BSD traces, … Of the TCP non-successes: 42 are due to … 43 traces are due to a collection of … Of the 194 host LTS rules 142 are … tests (e.g., rules dealing with file-descriptor resource limits … ); and 20 either have not had tests …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: communication protocols (62 items)
Topic: model checker (49 items)