defects4j icon indicating copy to clipboard operation
defects4j copied to clipboard

How to use an external test suite

Open keepingm opened this issue 1 year ago • 1 comments

hi, When I use the defects4j test -s project_id-version_id-test_suite_src.test_id.tar.bz2,what is the internal format of tar.bz2?Can you give an example to illustrate

keepingm avatar Jan 26 '24 08:01 keepingm

Hi @keepingm,

These external test suites are compressed archives of JUnit test classes (source code). When using the -s argument, defects4J extracts these test suites, and then compiles and runs them -- with all dependencies of the corresponding project on the classpath. You can run test generation for EvoSuite or Randoop to obtain example archives. (You can create these archives yourself as long as you follow the naming conventions.)

Best, René

rjust avatar Jan 31 '24 01:01 rjust