int StressTest() { //mem_debug_begin(); PRE_err_init(); stressTest(); PRE_err_cleanup(); //mem_debug_end(); //system("pause"); return 0; }
int main(){ cout<<"Allocating memory"<<endl; state** s = setUpStates(); vector<transition*> t; testSet ts, *prioSet=0, *extendSet=0, *multiextendSet=0; if(!clearWD()){ cerr<<"Error preping up WD\n"; return 1; } setUpTransitions(&t,s); printHeader("Traffic Lights FSM",OUT); printFml(s,&t,OUT); wrapUp(OUT); parseSpecs(s,&t,"specs",&ts); vector<transitionPair*> *tp=getTPairs(s,&t); cout<<"Test cases parsed.\nSelect operation to perform:\n"; cout<<"\t1 - Generate diagrams for the original test set\n"; cout<<"\t2 - Generate diagrams for the minimized test set using Priority Cull\n"; cout<<"\t3 - Generate diagrams for the minimized test set using Subgraph Cull\n"; cout<<"\t4 - Generate diagrams for the minimized test set using Multi-Stage Subgraph Cull\n"; cout<<"\t9 - Perform Stress Test\n"; cout<<"\t0 - Exit application\n"; cout<<"---------------------------------------------\n"; int option=0; cin>>option; float tpc=0; bool *selectedTestCases=0; int MAX_TESTS=0; switch(option){ case 1: ts.printTestSet(s,&t); cout<<"Test set size: "<<ts.getSize()<<endl; tpc=ts.computeTPairCoverage(tp); cout<<"Transition-Pair Coverage: "<<tpc*100<<"%"<<endl; selectedTestCases=ts.getSelectedCases(ts.getSize()); createScript(selectedTestCases, ts.getSize(), string(SCRIPT)); cout<<"---------------------------------------------\nJob Done.\n"; break; case 2: prioSet=ts.priorityCull(tp); prioSet->printTestSet(s,&t); cout<<"Original Test set size: "<<ts.getSize()<<endl; cout<<"Final Test set size: "<<prioSet->getSize()<<endl; tpc=prioSet->computeTPairCoverage(tp); cout<<"Transition-Pair Coverage: "<<tpc*100<<"%"<<endl; selectedTestCases=prioSet->getSelectedCases(ts.getSize()); createScript(selectedTestCases, ts.getSize(), string(SCRIPT)); cout<<"---------------------------------------------\nJob Done.\n"; break; case 3: extendSet=ts.subgraphCull(tp,s); extendSet->printTestSet(s,&t); cout<<"Original Test set size: "<<ts.getSize()<<endl; cout<<"Final Test set size: "<<extendSet->getSize()<<endl; tpc=extendSet->computeTPairCoverage(tp); cout<<"Transition-Pair Coverage: "<<tpc*100<<"%"<<endl; selectedTestCases=extendSet->getSelectedCases(ts.getSize()); createScript(selectedTestCases, ts.getSize(), string(SCRIPT)); cout<<"---------------------------------------------\nJob Done.\n"; break; case 4: multiextendSet=ts.multiStageSubgraphCull(tp,s); multiextendSet->printTestSet(s,&t); cout<<"Original Test set size: "<<ts.getSize()<<endl; cout<<"Final Test set size: "<<multiextendSet->getSize()<<endl; tpc=multiextendSet->computeTPairCoverage(tp); cout<<"Transition-Pair Coverage: "<<tpc*100<<"%"<<endl; selectedTestCases=multiextendSet->getSelectedCases(ts.getSize()); createScript(selectedTestCases, ts.getSize(), string(SCRIPT)); cout<<"---------------------------------------------\nJob Done.\n"; break; case 9: cout<<"Enter number of test cases: "; cin>>MAX_TESTS; stressTest(MAX_TESTS,10,tp,s); break; default: break; } cout<<"Freeing memory.."<<endl; tp->clear(); if(prioSet) delete prioSet; if(extendSet) delete extendSet; if(selectedTestCases) delete [] selectedTestCases; dropStates(s); cout<<"Exiting application.\n"; system("pause"); return 0; }
int main() { stressTest(dumbLastDigit, lastDigitFib); }
void run() { basicTests(); stressTest(); }
jm.resize( 10 ); b = ( jm.size() == 10 ); jm.resize( 5 ); b &= ( jm.size() == 5 ); CVTTEST_PRINT( "resize()", b ); ret &= b; // add measurements: size_t c0, c1, m; c0 = c1 = m = 0; c1 = 1; // adding two times the same should result in single contraint with single measurement jm.addMeasurementForEntity( c0, c1, m ); b = checkSingleConstraintSingleMeasurement( c0, c1, m, jm ); jm.addMeasurementForEntity( c0, c1, m ); b = checkSingleConstraintSingleMeasurement( c0, c1, m, jm ); CVTTEST_PRINT( "addMeasurementForEntity()", b ); ret &= b; b = stressTest(); CVTTEST_PRINT( "stressTest:", b ); ret &= b; return ret; END_CVTTEST }