Package caseine.extra.utils.mutations

Class DynamicTestExecutor

java.lang.Object

caseine.extra.utils.mutations.DynamicTestExecutor

Direct Known Subclasses:

DynamicTestExecutorImpl4, DynamicTestExecutorImpl5

public abstract class DynamicTestExecutor
extends Object

This class is introduced to run dynamically classes of tests. It is specifically used in the problems of tests by mutation (cf. Lab on mutants).

Author:

Christophe Saint-Marcel <christophe.saint-marcel@univ-grenoble-alpes.fr>

Constructor Summary

Constructors

Constructor	Description
DynamicTestExecutor(String testClass, String newPackageName)	Construct the executor.

Method Summary

Modifier and Type	Method	Description
protected void	cleanClassPath()	Remove tmp directory.
protected Path[]	compileSources(Path[] javaFiles)	Compile sources.
abstract boolean	doTest()	Play now a single test.
protected String[]	readCodes(String... classNames)	Read sources.
protected String	replacePackaging(String testName, String src)	Change the package to reference the mutant.
protected Path[]	saveSources(String[] sources, String[] classNames)	Save the source files.

Methods inherited from class java.lang.Object

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

Constructor Details

DynamicTestExecutor

public DynamicTestExecutor(String testClass,
 String newPackageName)
                    throws FileNotFoundException

Construct the executor.

Parameters:

testClass - class of test

newPackageName - location of the mutant

Throws:

FileNotFoundException

Method Details

readCodes

protected String[] readCodes(String... classNames)
                      throws FileNotFoundException

Read sources.

Parameters:

classNames -

Returns:

Throws:

FileNotFoundException

saveSources

protected Path[] saveSources(String[] sources,
 String[] classNames)
                      throws IOException

Save the source files.

Parameters:

sources - codes

classNames -

Returns:

Throws:

IOException

compileSources

protected Path[] compileSources(Path[] javaFiles)

Compile sources.

Parameters:

javaFiles -

Returns:

doTest

public abstract boolean doTest()
                        throws Exception

Play now a single test.

Returns:

number of failures

Throws:

Exception

replacePackaging

protected String replacePackaging(String testName,
 String src)

Change the package to reference the mutant.

Parameters:

testName - name of the class with its packages

src - the source to modify

Returns:

the modified source

cleanClassPath

protected void cleanClassPath()

Remove tmp directory.