org.evosuite.rmi.service.ClientState Maven / Gradle / Ivy

Go to download
/**
 * Copyright (C) 2010-2018 Gordon Fraser, Andrea Arcuri and EvoSuite
 * contributors
 *
 * This file is part of EvoSuite.
 *
 * EvoSuite is free software: you can redistribute it and/or modify it
 * under the terms of the GNU Lesser General Public License as published
 * by the Free Software Foundation, either version 3.0 of the License, or
 * (at your option) any later version.
 *
 * EvoSuite is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
 * Lesser Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with EvoSuite. If not, see .
 */
package org.evosuite.rmi.service;

import org.evosuite.Properties;

/**
 * FIXME: sync with ProgressMonitor, and finish set it in all client code
 *
 * @author arcuri
 *
 */


public enum ClientState {

	NOT_STARTED("Not started", "EvoSuite has not started client process", 0),
	STARTED("Started", "Client process has been launched", 1),
	INITIALIZATION("Initializing", "Analyzing classpath and dependencies", 2),
	CARVING("Carving", "Carving JUnit tests", 3),
	CARVING_MODEL("Carving", "Carving behavioral models", 4),
	SEARCH("Search", "Generating test cases", 5),
	INLINING("Inlining", "Inlining constants", 6),
	MINIMIZING_VALUES("Minimizing values", "Minimizing primitive values in the tests", 7),
	MINIMIZATION("Minimizing", "Minimizing size/length of test cases", 8),
	//TODO, question: why is it before ASSERTION?
	COVERAGE_ANALYSIS("Coverage Analysis","Compute and the different coverage criteria of the generated test suite",9),
	ASSERTION_GENERATION("Generating assertions", "Adding assertions to the test cases", 10),
	JUNIT_CHECK("Check JUnit", "Validate and fix the generated tests",11),
	WRITING_TESTS("JUnit", "Writing JUnit tests to disk", 12),
    WRITING_STATISTICS("Statistics", "Writing statistics to disk", 13),
	DONE("Done", "Test case generation is finished", 14),
	FINISHED("Finished", "Client process is fully finished", 15);

	private String name;
	private String description;
	private int numPhase = 0;
	private int progress = 0;

	private int startProgress = 0;
	private int maxProgress = 0;

	ClientState(String name, String description, int numPhase) {
		this.name = name;
		this.description = description;
		this.numPhase = numPhase;
		setProgressBoundaries(numPhase);
	}

	public String getName() {
		return name;
	}

	public String getDescription() {
		return description;
	}

	public int getNumPhase() {
		return numPhase;
	}

	public int getOverallProgress() {
		return progress;
	}

	public int getStartProgress() {
		return startProgress;
	}

	public int getEndProgress() {
		return maxProgress;
	}

	public int getPhaseProgress() {
		int divisor = maxProgress - startProgress;
		if(divisor == 0)
			return 0;
		return (progress - startProgress) / divisor;
	}

	public void setProgressOfPhase(float progress) {
		this.progress = startProgress + (int)((maxProgress - startProgress) * progress);
	}



	private void setProgressBoundaries(int numPhase) {

		switch(numPhase) {
		case 1: // client started
			progress = 1;
			startProgress = 1;
			maxProgress = 1;
			break;

		case 2: // Static analysis started
			progress = 2;
			startProgress = 2;
			maxProgress = 9;
			break;

		case 3: // Test carving - TODO
			progress = 5;
			startProgress = 5;
			maxProgress = 9;
			break;

		case 4: // Search has started
			progress = 10;
			startProgress = 10;
			if(Properties.ASSERTIONS) {
				maxProgress = 33;
			} else {
				maxProgress = 66;
			}
			break;

		case 5: // inlining
			if(Properties.ASSERTIONS) {
				startProgress = 33;
			} else {
				startProgress = 66;
			}
			maxProgress = startProgress + 5;
			progress = startProgress;
			break;
		case 6: // minimizing values
			if(Properties.ASSERTIONS) {
				startProgress = Properties.INLINE ? 33 + 5 : 33;
			} else {
				startProgress = Properties.INLINE ? 66 + 5 : 66;
			}
			maxProgress = startProgress + 5;
			progress = startProgress;
			break;

		case 7: // minimizing tests
			if(Properties.ASSERTIONS) {
				startProgress = Properties.INLINE ? 33 + 5 : 33;
				maxProgress = 66;
			} else {
				startProgress = Properties.INLINE ? 66 + 5 : 66;
				maxProgress = 93;
			}
			if(Properties.MINIMIZE_VALUES) {
				startProgress += 5;
			}
			progress = startProgress;
			break;

		case 8: // coverage analysis
			startProgress = 67;
			maxProgress = 75;
			progress = startProgress;
			break;

		case 9: // generating assertions
			startProgress = 76;
			maxProgress = 92;
			progress = startProgress;
			break;

		case 10: // writing statistics
			startProgress = 93;
			maxProgress = 94;
			progress = startProgress;
			break;

		case 11: // writing tests
			startProgress = 95;
			maxProgress = 98;
			progress = startProgress;
			break;

		case 12: // shutting down
			startProgress = 99;
			maxProgress = 100;
			progress = startProgress;
			break;

		default:
			startProgress = 100;
			maxProgress = 100;
			progress = 100;
		}
	}

}