|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TConfiguration | |
de.uds.cs.st.dd.core | The core package contains all classes directly related to Delta Debugging and JUnit. |
de.uds.cs.st.dd.core.deltacreator | This package provides convenience classes to split any input into TConfigurations. |
de.uds.cs.st.dd.core.resolver | Resolving functionality for the Delta Debugging algorithm. |
de.uds.cs.st.dd.core.splitter | Splitting functionality for the Delta Debugging algorithm. |
de.uds.cs.st.dd.core.test | Tests all classes of the core package (currently, only DD, OutcomeCache, and TConfiguration are tested). |
de.uds.cs.st.dd.core.tester | Testing functionality for the Delta Debugging algorithm. |
Uses of TConfiguration in de.uds.cs.st.dd.core |
Fields in de.uds.cs.st.dd.core declared as TConfiguration | |
private TConfiguration |
InputDeltaDebugger.config
Stores the initial set of deltas (chunks of the input file). |
private TConfiguration |
InputDeltaDebugger.result
Stores the result of the minimization. |
private TConfiguration |
DD.failingSubset
Used to store the failing subset of the ddDiff algorithm. |
private TConfiguration |
DD.passingSubset
Used to store the passing subset of the ddDiff algorithm. |
private TConfiguration |
DD.temporary
Used to store a temporary configuration. |
private TConfiguration |
DD.cc
Used to store a temporary configuration. |
Methods in de.uds.cs.st.dd.core that return TConfiguration | |
TConfiguration |
InputDeltaDebugger.getResult()
Returns the result of this Delta Debugging run. |
private TConfiguration |
DD.getRealConfig(TConfiguration indexc)
Retrieves the original elements of the test case according to the specified index configuration. |
private TConfiguration |
DD.ddSplit(TConfiguration c,
int n)
Splits the given configuration into n subsets by calling the split method of the attached Splitter object. |
private TConfiguration |
DD.ddResolve(TConfiguration csub,
TConfiguration c,
int direction)
Resolves a configuration that produced an unresolved test outcome. |
private TConfiguration |
DD.ddGen(TConfiguration c,
boolean minimize,
boolean maximize)
Calls the Delta Debugging algorithm with initialized minimizing and maximizing parameters. |
private TConfiguration |
DD.dd(TConfiguration c,
int n)
The main Delta Debugging algorithm: This function applies Delta Debugging to the specified configuration. |
TConfiguration |
DD.ddMin(TConfiguration c)
Calls the Delta Debugging algorithm. |
TConfiguration |
DD.ddMax(TConfiguration c)
Calls the Delta Debugging algorithm. |
TConfiguration |
DD.ddMix(TConfiguration c)
Calls the Delta Debugging algorithm. |
TConfiguration |
DD.ddDiff(TConfiguration c)
Calculates a 1-minimal failure-inducing difference by applying the Delta Debugging algorithm. |
TConfiguration |
DD.ddDiff(TConfiguration pass,
TConfiguration fail)
Calculates a 1-minimal failure-inducing difference by applying the * Delta Debugging algorithm. |
private TConfiguration |
DD.diff(TConfiguration c1,
TConfiguration c2,
int n)
The Delta Debbuging algorithm to calculate a 1-minimal failure-inducing difference. |
TConfiguration |
DD.getPassingSubset()
Returns the passing subset of a 1-minimal failure-inducing difference. |
TConfiguration |
DD.getFailingSubset()
Returns the failing subset of a 1-minimal failure inducing difference. |
TConfiguration |
TConfiguration.copy()
Returns a copy of this TConfiguration. |
TConfiguration |
TConfiguration.subSet(int startIndex,
int endIndex)
Returns a new TConfiguration that contains a subset of the original TConfiguration. |
TConfiguration |
TConfiguration.minus(TConfiguration config)
Returns a TConfiguration containing all elements that are in this object but not in the passed parameter. |
TConfiguration |
TConfiguration.intersect(TConfiguration config)
Returns all elements that are in this configuration and in the specified one. |
TConfiguration |
TConfiguration.union(TConfiguration config)
Returns a union of this configuration with the passed parameter. |
Methods in de.uds.cs.st.dd.core with parameters of type TConfiguration | |
private void |
InputDeltaDebugger.minimizeConfig(TConfiguration c,
DD dd,
PrintWriter writer)
Minimizes a given configuration. |
private void |
InputDeltaDebugger.isolateConfig(TConfiguration c,
DD dd,
PrintWriter writer)
Isolates a given configuration. |
private void |
InputDeltaDebugger.createDDReport(PrintWriter writer,
String status,
TConfiguration result)
Sends a message to remotely connected processes by writing contents into * the writer object. |
private void |
InputDeltaDebugger.createEnhancedDDReport(PrintWriter writer,
String status,
TConfiguration result,
TConfiguration pass,
TConfiguration fail)
Sends a message to remotely connected processes by writing contents into * the writer object. |
private void |
InputDeltaDebugger.createEnhancedDDReport(PrintWriter writer,
String status,
TConfiguration result,
TConfiguration pass,
TConfiguration fail)
Sends a message to remotely connected processes by writing contents into * the writer object. |
private void |
InputDeltaDebugger.createEnhancedDDReport(PrintWriter writer,
String status,
TConfiguration result,
TConfiguration pass,
TConfiguration fail)
Sends a message to remotely connected processes by writing contents into * the writer object. |
private void |
DD.createOriginalConfig(TConfiguration c,
TConfiguration c2)
Creates a copy of the original configurations and stores the elements in an array. |
private void |
DD.createOriginalConfig(TConfiguration c,
TConfiguration c2)
Creates a copy of the original configurations and stores the elements in an array. |
private TConfiguration |
DD.getRealConfig(TConfiguration indexc)
Retrieves the original elements of the test case according to the specified index configuration. |
private int |
DD.ddTest(TConfiguration c)
Testing functionality of the Delta Debugging algorithm. |
private TConfiguration |
DD.ddSplit(TConfiguration c,
int n)
Splits the given configuration into n subsets by calling the split method of the attached Splitter object. |
private TConfiguration |
DD.ddResolve(TConfiguration csub,
TConfiguration c,
int direction)
Resolves a configuration that produced an unresolved test outcome. |
private TConfiguration |
DD.ddResolve(TConfiguration csub,
TConfiguration c,
int direction)
Resolves a configuration that produced an unresolved test outcome. |
private int |
DD.testAndResolve(TConfiguration csub,
TConfiguration r,
TConfiguration c,
int direction)
Tests a configuration as long as its test outcome is unresolved. |
private int |
DD.testAndResolve(TConfiguration csub,
TConfiguration r,
TConfiguration c,
int direction)
Tests a configuration as long as its test outcome is unresolved. |
private int |
DD.testAndResolve(TConfiguration csub,
TConfiguration r,
TConfiguration c,
int direction)
Tests a configuration as long as its test outcome is unresolved. |
private void |
DD.reportProgress(TConfiguration c,
String title)
Reports a progress information to all registered viewers. |
private int |
DD.testMix(TConfiguration csub,
TConfiguration c,
int direction)
Performs a testing of subsets. |
private int |
DD.testMix(TConfiguration csub,
TConfiguration c,
int direction)
Performs a testing of subsets. |
private TConfiguration |
DD.ddGen(TConfiguration c,
boolean minimize,
boolean maximize)
Calls the Delta Debugging algorithm with initialized minimizing and maximizing parameters. |
private TConfiguration |
DD.dd(TConfiguration c,
int n)
The main Delta Debugging algorithm: This function applies Delta Debugging to the specified configuration. |
TConfiguration |
DD.ddMin(TConfiguration c)
Calls the Delta Debugging algorithm. |
TConfiguration |
DD.ddMax(TConfiguration c)
Calls the Delta Debugging algorithm. |
TConfiguration |
DD.ddMix(TConfiguration c)
Calls the Delta Debugging algorithm. |
TConfiguration |
DD.ddDiff(TConfiguration c)
Calculates a 1-minimal failure-inducing difference by applying the Delta Debugging algorithm. |
TConfiguration |
DD.ddDiff(TConfiguration pass,
TConfiguration fail)
Calculates a 1-minimal failure-inducing difference by applying the * Delta Debugging algorithm. |
TConfiguration |
DD.ddDiff(TConfiguration pass,
TConfiguration fail)
Calculates a 1-minimal failure-inducing difference by applying the * Delta Debugging algorithm. |
private TConfiguration |
DD.diff(TConfiguration c1,
TConfiguration c2,
int n)
The Delta Debbuging algorithm to calculate a 1-minimal failure-inducing difference. |
private TConfiguration |
DD.diff(TConfiguration c1,
TConfiguration c2,
int n)
The Delta Debbuging algorithm to calculate a 1-minimal failure-inducing difference. |
TConfiguration |
TConfiguration.minus(TConfiguration config)
Returns a TConfiguration containing all elements that are in this object but not in the passed parameter. |
TConfiguration |
TConfiguration.intersect(TConfiguration config)
Returns all elements that are in this configuration and in the specified one. |
TConfiguration |
TConfiguration.union(TConfiguration config)
Returns a union of this configuration with the passed parameter. |
boolean |
TConfiguration.isSubsetEq(TConfiguration config)
Returns true, if this object is a subset or equal to the passed argument, false otherwise. |
Constructors in de.uds.cs.st.dd.core with parameters of type TConfiguration | |
TConfiguration(TConfiguration source)
Creates a new TConfiguration that contains all elements of the source TConfiguration. |
Uses of TConfiguration in de.uds.cs.st.dd.core.deltacreator |
Methods in de.uds.cs.st.dd.core.deltacreator that return TConfiguration | |
private static TConfiguration |
BlockDeltaCreator.makeConfiguration(File file,
int partition)
Splits the given file into separate blocks and returns a TConfiguration object that consists of these blocks. |
static TConfiguration |
BlockDeltaCreator.getConfiguration(File file)
Splits the given file into separate blocks and returns a TConfiguration object that consists of these blocks. |
static TConfiguration |
BlockDeltaCreator.getConfiguration(File file,
int partition)
Splits the given file into separate blocks and returns a TConfiguration object that consists of these blocks. |
static TConfiguration |
ElementDeltaCreator.getConfiguration(String s)
Splits the given string into separate characters and returns * a TConfiguration object that consists of these characters. |
static TConfiguration |
ElementDeltaCreator.getConfiguration(Collection c)
Splits the given collection into separate objects and returns * a TConfiguration object that consists of these objects. |
static TConfiguration |
ElementDeltaCreator.getConfiguration(Object[] o)
Splits the given array of objects into separate objects and returns * a TConfiguration object that consists of these objects. |
private static TConfiguration |
GenericDeltaCreator.makeConfiguration(String text,
char character)
Splits the given text into separate chunks and returns a TConfiguration object that consists of these chunks. |
static TConfiguration |
GenericDeltaCreator.getConfiguration(String text,
char character)
Splits the given text into separate chunks and returns a TConfiguration object that consists of these chunks. |
private static TConfiguration |
LineDeltaCreator.makeConfiguration(String text)
Splits the given text into separate lines and returns a TConfiguration * object that consists of these lines. |
static TConfiguration |
LineDeltaCreator.getConfiguration(File file)
Splits the contents of the given file into separate lines and returns * a TConfiguration object that consists of these lines. |
static TConfiguration |
LineDeltaCreator.getConfiguration(String text)
Splits the given text into separate lines and returns a TConfiguration * object that consists of these lines. |
Uses of TConfiguration in de.uds.cs.st.dd.core.resolver |
Methods in de.uds.cs.st.dd.core.resolver that return TConfiguration | |
TConfiguration |
DefaultResolver.resolve(TConfiguration csub,
TConfiguration c,
int direction)
|
TConfiguration |
Resolver.resolve(TConfiguration csub,
TConfiguration c,
int direction)
Tries to resolve the two configurations. |
Methods in de.uds.cs.st.dd.core.resolver with parameters of type TConfiguration | |
TConfiguration |
DefaultResolver.resolve(TConfiguration csub,
TConfiguration c,
int direction)
|
TConfiguration |
DefaultResolver.resolve(TConfiguration csub,
TConfiguration c,
int direction)
|
TConfiguration |
Resolver.resolve(TConfiguration csub,
TConfiguration c,
int direction)
Tries to resolve the two configurations. |
TConfiguration |
Resolver.resolve(TConfiguration csub,
TConfiguration c,
int direction)
Tries to resolve the two configurations. |
Uses of TConfiguration in de.uds.cs.st.dd.core.splitter |
Methods in de.uds.cs.st.dd.core.splitter that return TConfiguration | |
TConfiguration |
DefaultSplitter.split(TConfiguration c,
int n)
The default splitter simply creates n equally sized subsets of the given configuration and stores the result in a new configuration. |
TConfiguration |
Splitter.split(TConfiguration c,
int n)
|
Methods in de.uds.cs.st.dd.core.splitter with parameters of type TConfiguration | |
TConfiguration |
DefaultSplitter.split(TConfiguration c,
int n)
The default splitter simply creates n equally sized subsets of the given configuration and stores the result in a new configuration. |
TConfiguration |
Splitter.split(TConfiguration c,
int n)
|
Uses of TConfiguration in de.uds.cs.st.dd.core.test |
Fields in de.uds.cs.st.dd.core.test declared as TConfiguration | |
private TConfiguration |
TConfigurationTest.c1
A TConfiguration used for testing. |
private TConfiguration |
TConfigurationTest.c2
A TConfiguration used for testing. |
Methods in de.uds.cs.st.dd.core.test that return TConfiguration | |
static TConfiguration |
DDTest.createTConfiguration1()
Creates a configuration that consists of 20 integers (1..20). |
static TConfiguration |
DDTest.createTConfiguration2()
Creates a configuration that consists of single words. |
Methods in de.uds.cs.st.dd.core.test with parameters of type TConfiguration | |
int |
DDTest.SimpleTester.test(TConfiguration c)
This method overrides the method from the Tester interface. |
private void |
DDTest.SimpleTester.displayOutput(TConfiguration c,
int result)
Displays some debugging output. |
int |
DDTest.SimpleTester.test1(TConfiguration c)
Test 1: Fails for configurations that contain 5 and 8. |
int |
DDTest.SimpleTester.test2(TConfiguration c)
Test 2: Fails for configurations that contain the numbers 1 - 8. |
int |
DDTest.SimpleTester.test3(TConfiguration c)
Test 3: Fails for configurations that contain the numbers 1 - 8. |
int |
DDTest.SimpleTester.test4(TConfiguration c)
Test 4: Fails for configurations that contain the numbers 1 - 8. |
private void |
TConfigurationTest.addSomeElements(TConfiguration c,
int start,
int count)
Adds the integers start, start + 1, start + 2, ..., start + count - 1 to * the specified TConfiguration. |
private void |
TConfigurationTest.assertEquality(TConfiguration c1,
TConfiguration c2)
Asserts equality of two TConfigurations. |
private void |
TConfigurationTest.assertEquality(TConfiguration c1,
TConfiguration c2)
Asserts equality of two TConfigurations. |
Uses of TConfiguration in de.uds.cs.st.dd.core.tester |
Methods in de.uds.cs.st.dd.core.tester with parameters of type TConfiguration | |
int |
JUnitFileTester.test(TConfiguration c)
Tests a given configuration by writing the contents of it (characters) * into the test file and then calling the test method of the super class * (JUnitTester). |
int |
JUnitTester.test(TConfiguration c)
Performs a JUnit test and returns the test outcome. |
int |
NullTester.test(TConfiguration c)
|
int |
Tester.test(TConfiguration c)
Performs a test given the specified configuration. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |