| java.lang.Object
 de.uka.ilkd.key.unittest.UnitTestBuilder
| UnitTestBuilder | | public class UnitTestBuilder (Code) | | Generates a unittest from a proof or a node in a proof-tree.
|
| requireCompleteExecution | | public static boolean requireCompleteExecution(Code) | | |
| createTestForNode | | public String createTestForNode(Node n)(Code) | | Creates a Unittest for the node n. The testdata is derived
only from n.
|
| createTestForNodes | | public String createTestForNodes(ListOfNode l)(Code) | | |
| createTestForProof | | public String createTestForProof(Proof p)(Code) | | Creates a Unittest for the proof p. The testdata is derived
from the leaves of p's proof tree.
|
| createTestForProof | | public String createTestForProof(Proof p, SetOfProgramMethod pms)(Code) | | Creates a Unittest for those branches in the proof tree of
p on which at least one of the program methods in pms is
symbolically executed.
The testdata is derived from the leaves of p's proof tree.
|
| getProgramMethods | | public SetOfProgramMethod getProgramMethods(Proof p)(Code) | | Returns the program methods that are symbolically executed in the
implementation under test p.
|
| getProgramMethods | | public SetOfProgramMethod getProgramMethods(ListOfNode nodes)(Code) | | |
| getStatementCoverage | | public int getStatementCoverage()(Code) | | Returns the percentage of covered statements.
|
|
|