env.wis.jtlv.regression.spec
Class ModelCheckTC
java.lang.Object
junit.framework.Assert
junit.framework.TestCase
env.wis.jtlv.regression.spec.ModelCheckTC
- All Implemented Interfaces:
- junit.framework.Test
public class ModelCheckTC
- extends junit.framework.TestCase
Methods inherited from class junit.framework.TestCase |
countTestCases, getName, run, run, runBare, setName, toString |
Methods inherited from class junit.framework.Assert |
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, fail, fail, failNotEquals, failNotSame, failSame, format |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
getAllDeadlockTC
public static ModelCheckTC[] getAllDeadlockTC()
getAllInvarianceTC
public static ModelCheckTC[] getAllInvarianceTC()
getAllTempEntailTC
public static ModelCheckTC[] getAllTempEntailTC()
getAllReactTC
public static ModelCheckTC[] getAllReactTC()
getAllSAValidTC
public static ModelCheckTC[] getAllSAValidTC()
getAllValidTC
public static ModelCheckTC[] getAllValidTC()
getAllLTLmcTC
public static ModelCheckTC[] getAllLTLmcTC()
getAllCTLmcTC
public static ModelCheckTC[] getAllCTLmcTC()
setUp
public void setUp()
throws java.lang.Exception
- Overrides:
setUp
in class junit.framework.TestCase
- Throws:
java.lang.Exception
tearDown
public void tearDown()
throws java.lang.Exception
- Overrides:
tearDown
in class junit.framework.TestCase
- Throws:
java.lang.Exception
deadlock_0
public void deadlock_0()
throws ModelCheckException
- Throws:
ModelCheckException
deadlock_1
public void deadlock_1()
throws ModelCheckException,
ModuleException
- Throws:
ModelCheckException
ModuleException
invariance_0
public void invariance_0()
throws ModelCheckException
- Throws:
ModelCheckException
invariance_1
public void invariance_1()
throws ModelCheckException
- Throws:
ModelCheckException
temp_entail_0
public void temp_entail_0()
throws ModelCheckException
- Throws:
ModelCheckException
temp_entail_1
public void temp_entail_1()
throws ModelCheckException
- Throws:
ModelCheckException
temp_entail_2
public void temp_entail_2()
throws ModelCheckException
- Throws:
ModelCheckException
temp_entail_3
public void temp_entail_3()
throws ModelCheckException
- Throws:
ModelCheckException
sa_valid_0
public void sa_valid_0()
sa_valid_1
public void sa_valid_1()
sa_valid_2
public void sa_valid_2()
sa_valid_3
public void sa_valid_3()
sa_valid_4
public void sa_valid_4()
sa_valid_5
public void sa_valid_5()
sa_valid_6
public void sa_valid_6()
sa_valid_7
public void sa_valid_7()
valid_0
public void valid_0()
throws ModelCheckException
- Throws:
ModelCheckException
valid_1
public void valid_1()
throws ModelCheckException
- Throws:
ModelCheckException
valid_2
public void valid_2()
throws ModelCheckException
- Throws:
ModelCheckException
valid_3
public void valid_3()
throws ModelCheckException
- Throws:
ModelCheckException
valid_4
public void valid_4()
throws ModelCheckException
- Throws:
ModelCheckException
valid_5
public void valid_5()
throws ModelCheckException
- Throws:
ModelCheckException
valid_6
public void valid_6()
throws ModelCheckException
- Throws:
ModelCheckException
valid_7
public void valid_7()
throws ModelCheckException
- Throws:
ModelCheckException
valid
public void valid()
throws ModelCheckException
- Throws:
ModelCheckException
ltl_mc_0
public void ltl_mc_0()
throws ModelCheckException
- Throws:
ModelCheckException
ltl_mc_1
public void ltl_mc_1()
throws ModelCheckException
- Throws:
ModelCheckException
ltl_mc_2
public void ltl_mc_2()
throws ModelCheckException
- Throws:
ModelCheckException
ltl_mc_3
public void ltl_mc_3()
throws ModelCheckException
- Throws:
ModelCheckException
ltl_mc_4
public void ltl_mc_4()
throws ModelCheckException
- Throws:
ModelCheckException
ltl_mc_5
public void ltl_mc_5()
throws ModelCheckException
- Throws:
ModelCheckException
ltl_mc_6
public void ltl_mc_6()
throws ModelCheckException
- Throws:
ModelCheckException
ltl_mc_7
public void ltl_mc_7()
throws ModelCheckException
- Throws:
ModelCheckException
LTLmodelCheck
public void LTLmodelCheck()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_0
public void ctl_mc_0()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_1
public void ctl_mc_1()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_2
public void ctl_mc_2()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_3
public void ctl_mc_3()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_4
public void ctl_mc_4()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_5
public void ctl_mc_5()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_6
public void ctl_mc_6()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_7
public void ctl_mc_7()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_8
public void ctl_mc_8()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_9
public void ctl_mc_9()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_10
public void ctl_mc_10()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_11
public void ctl_mc_11()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_12
public void ctl_mc_12()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_13
public void ctl_mc_13()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_14
public void ctl_mc_14()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_15
public void ctl_mc_15()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_16
public void ctl_mc_16()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_17
public void ctl_mc_17()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_18
public void ctl_mc_18()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_19
public void ctl_mc_19()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_20
public void ctl_mc_20()
throws ModelCheckException
- Throws:
ModelCheckException
ctl_mc_21
public void ctl_mc_21()
throws ModelCheckException
- Throws:
ModelCheckException
CTLmodelCheck
public void CTLmodelCheck()
throws ModelCheckException
- Throws:
ModelCheckException