1 20 package gov.nasa.jpf.mc; 21 22 import gov.nasa.jpf.jvm.TestJPF; 23 24 import junit.framework.TestSuite; 25 26 import junit.textui.TestRunner; 27 28 31 public class TestVMDeadlockJPF extends TestJPF { 32 static String testClass = "gov.nasa.jpf.mc.TestVMDeadlock"; 33 34 public TestVMDeadlockJPF (String name) { 35 super(name); 36 } 37 38 public static void main (String [] args) { 39 TestRunner.run(suite()); 40 } 41 42 public static TestSuite suite () { 43 TestSuite suite = new TestSuite(); 44 45 suite.addTest(new TestVMDeadlockJPF("testSyncMthDeadlock")); 46 suite.addTest(new TestVMDeadlockJPF("testSyncBlockDeadlock")); 47 suite.addTest(new TestVMDeadlockJPF("testMixedDeadlock")); 48 suite.addTest(new TestVMDeadlockJPF("testMissedSignalDeadlock")); 49 50 return suite; 52 } 53 54 public void testMissedSignalDeadlock () { 55 String [] args = { testClass, "testMissedSignalDeadlock" }; 56 runJPFDeadlock(args); 57 } 58 59 public void testMixedDeadlock () { 60 String [] args = { testClass, "testMixedDeadlock" }; 61 runJPFDeadlock(args); 62 } 63 64 public void testSyncBlockDeadlock () { 65 String [] args = { testClass, "testSyncBlockDeadlock" }; 66 runJPFDeadlock(args); 67 } 68 69 70 public void testSyncMthDeadlock () { 71 String [] args = { testClass, "testSyncMthDeadlock" }; 72 runJPFDeadlock(args); 73 } 74 } | Popular Tags |