question: 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" ) ; } }
target:  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.