public void doStressTest(TempTripleStore tmp,InferenceEngine inf,int ntrials,int D,int N){
  AbstractTripleStore store=inf.database;
  assertSameGraphs(tmp,store);
  for (int trial=0; trial < ntrials; trial++) {
    MDC.put("trial","trial=" + trial);
    retractAndAssert(inf,store,0,D,N);
    assertSameGraphs(tmp,store);
    MDC.remove("trial");
  }
}

public void doStressTest ( TempTripleStore tmp , InferenceEngine inf , int ntrials , int D , int N ) { AbstractTripleStore store = inf . database ; assertSameGraphs ( tmp , store ) ; for ( int trial = 0 ; trial < ntrials ; trial ++ ) { MDC . put ( "trial" , "trial=" + trial ) ; retractAndAssert ( inf , store , 0 , D , N ) ; assertSameGraphs ( tmp , store ) ; MDC . remove ( "trial" ) ; } }
a stress test for truth maintenance using an arbitrary data set . the test scans the statement indices in some order , selecting n explicit statement to retract . it then retracts them , updates the closure , and then re - asserts them and verifies that original closure was restored . < p > note : this test by itself does not guarentee that any entailments of those explicit statements were removed - we need to write other tests for that . repeat several times on the dataset , potentially doing multiple retractions before we back out of them .
