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

Go to download
Show more of this group Show more artifacts with this name
Show all versions of evosuite-client Show documentation
The newest version!
/**
 * 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),
	SEARCH("Search", "Generating test cases", 4),
	INLINING("Inlining", "Inlining constants", 5),
	MINIMIZING_VALUES("Minimizing values", "Minimizing primitive values in the tests", 6),
	MINIMIZATION("Minimizing", "Minimizing size/length of test cases", 7),
	//TODO, question: why is it before ASSERTION?
	COVERAGE_ANALYSIS("Coverage Analysis","Compute and the different coverage criteria of the generated test suite",8),
	ASSERTION_GENERATION("Generating assertions", "Adding assertions to the test cases", 9),
	JUNIT_CHECK("Check JUnit", "Validate and fix the generated tests",10),
	WRITING_TESTS("JUnit", "Writing JUnit tests to disk", 11),
    WRITING_STATISTICS("Statistics", "Writing statistics to disk", 12),
	DONE("Done", "Test case generation is finished", 13),
	FINISHED("Finished", "Client process is fully finished", 14);

	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;
		}
	}

}