seer-lab/ARC

Finish ConTest module

Closed this issue · 0 comments

kevinjalbert commented

Finish the ConTest module that will perform the following:

  • Backup the original Java classes
  • Instrument the original Java classes with noise
  • Test the software system a set number of times
    • Check for deadlocks using JVM's thread dump
    • Check for timeouts using a configurable time
    • Check for dataraces if the test suite fails
    • Check for success if the test suite passes
  • Restore the original Java classes