Class PromTest

  • All Implemented Interfaces:
    junit.framework.Test

    public class PromTest
    extends junit.framework.TestCase
    The base class for unit tests in ProM. A class the extends this class is a JUnit test suite that gets automatically enriched with two kinds of tests. 1) Inclass Method Tests: these are tests generated from all methods in the plugin code that are annotated with TestMethod and the corresponding attributes. Tests are generated from all classes stored in "./bin". 2) Automated test scripts: these are tests that run a sequence of scripted tests that are stored in a specified location: defaultTestScriptDir. The tests may access files/compare results to files stored in defaultTestDir.
    Author:
    Dirk Fahland
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String defaultClassFileLocations
      Default location of class files that contain methods which are annotated with TestMethod and which shall be run in the JUnit test.
      static java.lang.String defaultTestDir
      Default location of test files that is used if the system property test.testFileRoot is not set.
      static java.lang.String defaultTestScriptDir
      Default location of test script files inside defaultTestDir that is used if the system property test.testScriptRoot is not set.
    • Constructor Summary

      Constructors 
      Constructor Description
      PromTest()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static java.util.Collection<? extends java.lang.Object> inlineTests()  
      static java.util.Collection<? extends java.lang.Object> testScripts()  
      • Methods inherited from class junit.framework.TestCase

        assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, countTestCases, createResult, fail, fail, failNotEquals, failNotSame, failSame, format, getName, run, run, runBare, runTest, setName, setUp, tearDown, toString
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Field Detail

      • defaultTestDir

        public static final java.lang.String defaultTestDir
        Default location of test files that is used if the system property test.testFileRoot is not set. Overwrite this value if necessary. Default value "./tests/testfiles".
        See Also:
        Constant Field Values
      • defaultTestScriptDir

        public static final java.lang.String defaultTestScriptDir
        Default location of test script files inside defaultTestDir that is used if the system property test.testScriptRoot is not set. By default, this location is "autoscripts". Overwrite this value if necessary.
        See Also:
        Constant Field Values
      • defaultClassFileLocations

        public static final java.lang.String defaultClassFileLocations
        Default location of class files that contain methods which are annotated with TestMethod and which shall be run in the JUnit test. Overwrite this value if necessary. Default value "./tests/testfiles".
        See Also:
        Constant Field Values
    • Constructor Detail

      • PromTest

        public PromTest()
    • Method Detail

      • testScripts

        public static java.util.Collection<? extends java.lang.Object> testScripts()
      • inlineTests

        public static java.util.Collection<? extends java.lang.Object> inlineTests()