Skip to content

Latest commit

 

History

History
 
 

test

Test and analysis scripts

  • test.include: Constants and helper functions for test scripts.

  • test_bug_mining.sh: Tests the bug-mining infrastructure.

  • test_export_command.sh: Tests the export command.

  • test_fix_test_suite.sh: Tests the fix_test_suite.pl script.

  • test_gen_tests.sh: Tests the gen_tests.pl script. Specifically, this script tests the integration of all supported test generators and the compatibility of the generated test suites with the coverage, mutation, and bug detection analyses.

  • test_mutation_analysis.sh: Tests various options for the mutation analysis.

  • test_sanity_check.sh: Checks out each buggy and fixed project version and checks for compilation and required properties.

  • test_tutorial.sh: Runs the tutorial described in the top-level README.

  • test_verify_bugs.sh: Reproduces a bug, or a set of bugs, and verifies that the observed set of triggering tests matches the expected set of triggering tests.