Exemplo n.º 1
0
void cleanup() {
	Stat stat;
	stat.scan_directory( fs::path(".test"), SCAN_MODE_RECURSIVE | SCAN_MODE_FILES | SCAN_MODE_DIRS );
	stat.sort();
	std::reverse( stat.begin(), stat.end() );
	stat.remove();
	fs::remove( fs::path(".test") );
}
Exemplo n.º 2
0
string strFromStat(Stat S){
    string s;
    for (Stat::iterator it = S.begin(); it != S.end(); it++){
        string tmp = "{";
        for (set<int>::iterator i = it->begin(); i != it->end(); i++){
            tmp += strFromInt(*i) + ", ";
        }
        tmp[tmp.size() - 2] = '}';
        tmp[tmp.size() - 1] = ' ';
        s += tmp;
    }
    return s;
}
Exemplo n.º 3
0
/* ===== MAIN ===== */
int main(int argc, char * argv[]) {
	stat.begin();
	std::atexit(exiting);
	signal(SIGSEGV, handler);   // install our handler of errors

	static const unsigned DEFAULTDEPTH = 10;
	int depthlim = DEFAULTDEPTH;     // maxdepth
	char* tc_folder = NULL;  		 // folder containing test cases
	bool isProject = false;			 // project test cases into local ones or not


	enum {
		BFS, DFS, RANDOM, HIT_OR_JUMP, INTERACTIVE
	} traversal = BFS;

	if (argc < 3) {
		fprintf(stderr,
				"\n Usage: %s [options]\n",
				argv[0]);
		fprintf(stderr, " where [options] may be\n");
		fprintf(stderr, "   . exploration options [-bfs|-dfs|-ran|-hoj|-ite] : exploration policy:\n");
		fprintf(stderr, "             -bfs : breadth first\n");
		fprintf(stderr, "             -dfs : depth first\n");
		fprintf(stderr, "             -ran : random\n");
		fprintf(stderr, "             -hoj : hit-or-jump\n");
		fprintf(stderr, "             -ite : interactive in command line\n");
		fprintf(stderr, "     [-d integer] : maximal exploration depth\n");
		fprintf(stderr, "   . test case options\n");
		fprintf(stderr, "     [-o filename]: path to a folder using to contain test cases generated (default is the current folder)\n");
		fprintf(stderr, "     [-sp]        : split test cases to local ones\n");
		fprintf(stderr, "\n");
		return 1;
	}
	printf("_________________________________________________________________\n");
	printf("INPUT:\n");

	for (int i = 1; i < argc; i++) {
		if (argv[i][0] == '-') {
			if (!strcmp(argv[i], "-bfs")){
				traversal = BFS;
				printf("  - Exploration policy: BFS\n");
			}else if (!strcmp(argv[i], "-dfs")){
				traversal = DFS;
				printf("  - Exploration policy: BFS\n");
			}else if (!strcmp(argv[i], "-hoj")){
				traversal = HIT_OR_JUMP;
				printf("  - Exploration policy: Hit-or-Jump\n");
			}else if (!strcmp(argv[i], "-ran")){
				traversal = RANDOM;
				printf("  - Exploration policy: Random\n");
			}else if (!strcmp(argv[i], "-o")){
				tc_folder = (i == argc - 1) ? NULL : argv[i + 1];
				printf("  - Test cases output folder: %s\n", tc_folder);
			}else if (!strcmp(argv[i], "-d")) {
				if (i < argc) {
					depthlim = atoi(argv[i + 1]);
					printf("  - Maximal exploration depth: %d\n", depthlim);
				}
			}
			else if (!strcmp(argv[i], "-sp")){
				isProject = true;
				printf("  - Project global test cases on local ones\n");
			}
		}
	}

	printf("_________________________________________________________________\n");
	printf("PROCESSING ... \n");
	IfEngine* engine = new IfIterator();
	tsp::Explorator *expl = NULL;

	if (traversal == BFS || traversal == DFS) {
		expl = new tsp::Exhaustive(engine, traversal == BFS);
	}
	else if (traversal == HIT_OR_JUMP) {
		expl = new tsp::HitOrJump(engine);
	}
	else if (traversal == RANDOM){
		expl = new tsp::RandomExplorator(engine);
	}

	if (expl){
		stat.expl = expl;

		expl->isProjectTestCases = isProject;
		if (tc_folder)
			expl->testCasesFolder = string(tc_folder);
		expl->numberOfTestCasesGenerated = 0;

		expl->visitAll(depthlim);
	}

	//processing time

	return 0;
}
Exemplo n.º 4
0
Stat::iterator SSfind(Stat &S, int i){
    for (Stat::iterator it = S.begin(); it != S.end(); it++){
        if (it->count(i)) return it;
    }
    return S.end();
}