Changeset 6 for netcheck/README.txt


Ignore:
Timestamp:
Mar 8, 2013 10:23:47 AM (5 years ago)
Author:
sportzer
Message:

Cleaned up ording and output code and split some of the posix specific stuff off into separate files

File:
1 edited

Legend:

Unmodified
Added
Removed
  • netcheck/README.txt

    r3 r6  
    2121 
    2222 
    23 trace_preprocessor 
     23posix_preprocessor 
    2424------------------------------------------------------------------------ 
    2525Uses generators to wrap the output of posix_test_harness_functions. This 
     
    4949connecting to 0.0.0.0, or connecting to an IPv6 address from an IPv4 
    5050address. Uses ipaddr extensively for indentifying properties of IP 
    51 addresses and uses trace_preprocessor to load preprocessed trace files. 
    52  
    53  
    54 trace_output 
    55 ------------------------------------------------------------------------ 
    56 This is where I've been moving all the logging functionality from 
    57 trace_ordering. It also now handles generating some statistic and 
    58 warnings based on the exceptions raised by the model over the course of 
    59 its execution and the final state of the model.  
     51addresses and uses posix_preprocessor to load preprocessed trace files. 
    6052 
    6153 
     
    6961 
    7062 
    71 trace_ordering 
     63posix_ordering 
    7264------------------------------------------------------------------------ 
    7365Used to run configuration files. Takes the name of a configuration file 
    7466as its only argument and feeds this name into ip_matching to initialize 
    7567the network configuration and get back a list of traces to verify. Then 
    76 the module starts feeding system calls from the traces into 
    77 model_network_syscalls to try and produce an ordering of the calls. 
    78 Uses trace_output for logging results. 
     68the module uses trace_ordering to perform the ordering. 
     69Uses posix_output for logging results. 
    7970 
     71 
     72posix_output 
     73------------------------------------------------------------------------ 
     74This is where I've been moving all the logging functionality from 
     75posix_ordering. It also now handles generating some statistic and 
     76warnings based on the exceptions raised by the model over the course of 
     77its execution and the final state of the model. 
     78 
     79 
     80trace_ordering 
     81------------------------------------------------------------------------ 
     82Used to order traces. This and trace_output are the two non posix 
     83specific files. Uses trace_output for logging results. 
     84 
     85 
     86trace_output 
     87------------------------------------------------------------------------ 
     88Contains a number of useful function for logging ordering results. 
     89 
Note: See TracChangeset for help on using the changeset viewer.