Example #1
0
def parsererrorTestSuite(depth):
    print "Running parser error Test Cases"
    # generate new test data
    generateNegativeTestData(depth, "parsererror")

    fsmlFiles = glob.glob("./testdata/negative/fsm/parsererror/*.fsml")
    return unittest.TestSuite([parsererrorTestCase(fsmlFile) for fsmlFile in fsmlFiles])
Example #2
0
def resolutionTestSuite(depth):
    print "Running resolution error Test Cases"
    # generate new test data
    generateNegativeTestData(depth, "resolution")

    fsmlFiles = glob.glob("./testdata/negative/fsm/resolution/*.fsml")
    return unittest.TestSuite([ResolutionTestCase(fsmlFile) for fsmlFile in fsmlFiles])
Example #3
0
def duplicateIdTestSuite(depth):
    print "Running duplicate id's error Test Cases"
    # generate new test data
    generateNegativeTestData(depth, "duplicateids")

    fsmlFiles = glob.glob("./testdata/negative/fsm/duplicateids/*.fsml")
    return unittest.TestSuite([DuplicateIdTestCase(fsmlFile) for fsmlFile in fsmlFiles])
Example #4
0
def determinismTestSuite(depth):
    print "Running determinism error Test Cases"
    # generate new test data
    generateNegativeTestData(depth, "determinism")

    fsmlFiles = glob.glob("./testdata/negative/fsm/determinism/*.fsml")
    return unittest.TestSuite([DeterminismTestCase(fsmlFile) for fsmlFile in fsmlFiles])
Example #5
0
def singleinitialTestSuite(depth):
    print "Running single initial error Test Cases"
    # generate new test data
    generateNegativeTestData(depth, "singleinitial")

    fsmlFiles = glob.glob("./testdata/negative/fsm/singleinitial/*.fsml")
    return unittest.TestSuite([SingleinitialTestCase(fsmlFile) for fsmlFile in fsmlFiles])
Example #6
0
def illegalInputTestSuite(depth):
    print "Running illegal input Test Cases"
    # generate new test data
    generateNegativeTestData(depth, "illegal")

    fsmlFiles = sorted(glob.glob("./testdata/negative/input/illegal/fsm/*.fsml"))
    inputFiles = sorted(glob.glob("./testdata/negative/input/illegal/*.json"))
    return unittest.TestSuite(
        [IllegalInputTestCase(fsmlFile, inputFile) for fsmlFile, inputFile in zip(fsmlFiles, inputFiles)]
    )