Re: Rigorous specification for TCP, UDP, and Sockets

From: Peter Sewell (Peter.Sewell_at_cl.cam.ac.uk)
Date: 03/29/05

  • Next message: emilio mastriani: "Racoon(8) Deleting SPD Entries" 
    To: gnn@freebsd.org
Date: Tue, 29 Mar 2005 10:26:13 +0100

    >Hi Peter,
    >
    >Interesting paper and work.

    Many thanks.

    >Are you plannning to share the tools as
    >well? That's what I'd be most interested in seeing, basically the
    >ability to turn your conformance tests into regression tests.

    It's unclear at the moment - we'd certainly like to make that
    regression testing more routine, but the current tools are non-trivial
    to drive. We'll be looking to see how much interest there is, and
    also how accessible the spec is, before going further.

    What kind of regression testing is in use now?

    best wishes,
    Peter

    _______________________________________________
    freebsd-net@freebsd.org mailing list
    http://lists.freebsd.org/mailman/listinfo/freebsd-net
    To unsubscribe, send any mail to "freebsd-net-unsubscribe@freebsd.org"

  • Next message: emilio mastriani: "Racoon(8) Deleting SPD Entries"

    Relevant Pages

    • Why is 2.6.12.2 less stable on my laptop than 2.6.10?
      ... regression testing and validation is what is needed. ... we can push into a "stable" tree? ... Shouldn't changes be regression tested, formally, before its allowed to go ...
      (Linux-Kernel)
    • Re: Regression testing
      ... of the Test Cases would a regression suite comprise? ... Automated or not, creating, maintaining, and reworking regression ... In our case 100% regression testing is ... criteria: 1) how often the program changes, 2) how critical it is to ...
      (comp.software.testing)
    • Re: Unix tool like VMS DTM?
      ... > do regression testing of non-GUI software. ... Not on unix, but Winrunner runs on a pc and can do regression ...
      (comp.os.vms)
    • Re: Stationary means
      ... Discussions about "regression to the mean" tend to focus on fallacies ... Assuming a constant distribution and repeated sampling, ... groups are selected by initial "ability"; ... Was it a realistic expectation that these children would have ...
      (sci.stat.edu)
    • Re: Regression testing
      ... I have a question around regression testing. ... of the Test Cases would a regression suite comprise? ... selected depend on the results of analysis of risks, ...
      (comp.software.testing)