Map
Index
Random
Help
th

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

QuoteRef: bishS1_2006 , p. 64



Topic:
communication protocols
Topic:
model checker

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 up

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

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.