Functions tested
with Ballista OS Test
Listed below are the functions
tested the last time Ballista OS Test was run. In addition to the basic result
information, a link is provided for each function to a csh script. When
executed, the csh script will generate C++ code that reproduces the robustness
errors encountered for the selected function. One c++ file is created for each
robustness error encountered.
There are two basic ways to use the script information
- Find the test case you are interested in within the script and copy that
single command to the command line
- The command should be performed after you are in the /outfiles directory.
- The output will be placed in the directory and file specified at the end
of the command.
- For example for the access function with parameters set to
b_ptr_buf=BUF_LARGE and b_short_int_common=ZERO: (all on one line)
.../ballista/outfiles>
./create_code_standAlone.pl access Abort 2 b_ptr_buf BUF_LARGE
b_short_int_common ZERO >
access_bug_report/access.b_ptr_bufBUF_LARGE.b_short_int_commonZERO.cpp
- The other option will be to run the entire script and create all the
programs with a single command
- The script is already saved as a file. The file is stored as
/outfiles/functionName_bug_report/genCode.
- Executing this script may create thousands of c++ files depending on the
number of robustness errors detected.
- For example for the access function
.../ballista/outfiles/access_bug_report> genCode
| FUNCTION |
# TESTS |
# RESTARTS |
# ABORTS |
# SETUP FAILS |