edu.uta.cse.fireeye.service.engine

Class CoverageChecker

java.lang.Object

edu.uta.cse.fireeye.service.engine.CoverageChecker

public class CoverageChecker
extends java.lang.Object

This class checks if a test set satisfies t-way coverage. Note that it uses an AETG-like algorithm to maintain independence from the algorithm used for test generation.

Constructor Summary

Constructors

Constructor and Description
CoverageChecker(TestSet ts, SUT sut, int doi) Constructs an instance with a specified test set, SUT, and doi.

Method Summary

Modifier and Type	Method and Description
boolean	check() Checks whether the test set satisfies t-way coverage.
static java.util.ArrayList<Parameter>	expandedParametersForNT(java.util.ArrayList<Parameter> originalParams)
int	getAllCoverableTuples()
int	getAllCoveredTuples()
float	getCoverageRatio(int index)
float[]	getCoverageRatios()
float[]	getCoverageRatios(edu.uta.cse.fireeye.service.CoverageCheckInfo cover) For curver
int	getCoveredTuples(TestSet ts)
int	getDoi()
java.util.ArrayList<int[]>	getParamGroups()
java.util.ArrayList<int[]>	getParamGroups(Relation relation)
java.util.ArrayList<int[]>	getParamGroupsForNT(Parameter param) Get the parameter groups for negative testing
java.util.ArrayList<Parameter>	getParamList(int[] t)
int	getTotalCountOfAllTuples()
int	getTotalCountOfCoverableTuples()
TestSet	getTs()
static void	initConstraintManagerForNT(SUT sut, java.util.ArrayList<Parameter> expandedParamsInOrder, boolean ignoreConstraints) Expand params for the validity check of negative test by assigning constraint manager with valid&invalid values as domain, also need to create additional constraints for negative test rule "one and only one invalid value is in a negative test case".
void	setAllCoverableTuples(int allCoverableTuples)
void	setAllCoveredTuples(int allPossibleTuples)
void	setTs(TestSet ts)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CoverageChecker

public CoverageChecker(TestSet ts,
                       SUT sut,
                       int doi)

Constructs an instance with a specified test set, SUT, and doi. The SUT may contain relations and constraints.

Parameters:

ts - the test set to be checked

sut - the system configuration to be checked against

doi - the strength of coverage to be checked

Method Detail

getParamGroupsForNT

public java.util.ArrayList<int[]> getParamGroupsForNT(Parameter param)

Get the parameter groups for negative testing

Parameters:

param -

Returns:

getParamGroups

public java.util.ArrayList<int[]> getParamGroups()

getParamGroups

public java.util.ArrayList<int[]> getParamGroups(Relation relation)

getCoveredTuples

public int getCoveredTuples(TestSet ts)

getTotalCountOfAllTuples

public int getTotalCountOfAllTuples()

getTotalCountOfCoverableTuples

public int getTotalCountOfCoverableTuples()

check

public boolean check()

Checks whether the test set satisfies t-way coverage. This method considers the possible existence of constraints and relations. So, the coverage it checks may not be a simple t-way coverage.

Returns:

true if t-way coverage is satisfied.

getCoverageRatio

public float getCoverageRatio(int index)

getCoverageRatios

public float[] getCoverageRatios()

getCoverageRatios

public float[] getCoverageRatios(edu.uta.cse.fireeye.service.CoverageCheckInfo cover)

For curver

Returns:

getParamList

public java.util.ArrayList<Parameter> getParamList(int[] t)

getTs

public TestSet getTs()

setTs

public void setTs(TestSet ts)

getAllCoveredTuples

public int getAllCoveredTuples()

setAllCoveredTuples

public void setAllCoveredTuples(int allPossibleTuples)

getAllCoverableTuples

public int getAllCoverableTuples()

setAllCoverableTuples

public void setAllCoverableTuples(int allCoverableTuples)

getDoi

public int getDoi()

initConstraintManagerForNT

public static void initConstraintManagerForNT(SUT sut,
                                              java.util.ArrayList<Parameter> expandedParamsInOrder,
                                              boolean ignoreConstraints)

Expand params for the validity check of negative test by assigning constraint manager with valid&invalid values as domain, also need to create additional constraints for negative test rule "one and only one invalid value is in a negative test case". @FengDuan

expandedParametersForNT

public static java.util.ArrayList<Parameter> expandedParametersForNT(java.util.ArrayList<Parameter> originalParams)