de.cau.cs.kieler.kies.transformation.test
Class TransformationRulesTest

java.lang.Object
  extended by de.cau.cs.kieler.kies.transformation.test.TransformationRulesTest

public class TransformationRulesTest
extends Object

This JUnit tests serves as a kind of regression test for Esterel to SyncChart transformations. It executes several tests taking an esterel file and an expected synccharts sematic model (kixs). The esterel file is transformed and the resulting syncchart is compared to the expected one using EMFCompare. Keep in mind that this is a JUnit plugin test, hence it has its own workspace but the test files are kept in the original workspace. For this reason you currently have to define your workspace location relative to the junit workspace.

Rating red

Constructor Summary
TransformationRulesTest()
           
 
Method Summary
 void setup()
          get the workspace root and open a project to work with.
 void testAbort()
           
 void testAssign()
           
 void testCall()
           
 void testDoupto()
           
 void testDowatching()
           
 void testEmit()
           
 void testEvery()
           
 void testExit()
           
 void testHalt()
           
 void testIf()
           
 void testLocalsignal()
           
 void testLocalvariable()
           
 void testLoop()
           
 void testLoopeach()
           
 void testNothing()
           
 void testOptRule1()
           
 void testOptRule2()
           
 void testOptRule3()
           
 void testOptRule4()
           
 void testOptRule5()
           
 void testOptRule6()
           
 void testOptRule7()
           
 void testOptRule8()
           
 void testParallel()
           
 void testPause()
           
 void testPresent()
           
 void testSequence()
           
 void testSuspend()
           
 void testSustain()
           
 void testTrap()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TransformationRulesTest

public TransformationRulesTest()
Method Detail

setup

public void setup()
           throws CoreException
get the workspace root and open a project to work with.

Throws:
CoreException - if anything goes wrong creating the project.

testNothing

public void testNothing()
                 throws Exception
Throws:
Exception

testHalt

public void testHalt()
              throws Exception
Throws:
Exception

testPause

public void testPause()
               throws Exception
Throws:
Exception

testAbort

public void testAbort()
               throws Exception
Throws:
Exception

testAssign

public void testAssign()
                throws Exception
Throws:
Exception

testDoupto

public void testDoupto()
                throws Exception
Throws:
Exception

testDowatching

public void testDowatching()
                    throws Exception
Throws:
Exception

testEmit

public void testEmit()
              throws Exception
Throws:
Exception

testEvery

public void testEvery()
               throws Exception
Throws:
Exception

testIf

public void testIf()
            throws Exception
Throws:
Exception

testLocalsignal

public void testLocalsignal()
                     throws Exception
Throws:
Exception

testLocalvariable

public void testLocalvariable()
                       throws Exception
Throws:
Exception

testLoop

public void testLoop()
              throws Exception
Throws:
Exception

testLoopeach

public void testLoopeach()
                  throws Exception
Throws:
Exception

testParallel

public void testParallel()
                  throws Exception
Throws:
Exception

testPresent

public void testPresent()
                 throws Exception
Throws:
Exception

testCall

public void testCall()
              throws Exception
Throws:
Exception

testSequence

public void testSequence()
                  throws Exception
Throws:
Exception

testSuspend

public void testSuspend()
                 throws Exception
Throws:
Exception

testSustain

public void testSustain()
                 throws Exception
Throws:
Exception

testTrap

public void testTrap()
              throws Exception
Throws:
Exception

testExit

public void testExit()
              throws Exception
Throws:
Exception

testOptRule1

public void testOptRule1()
                  throws Exception
Throws:
Exception

testOptRule2

public void testOptRule2()
                  throws Exception
Throws:
Exception

testOptRule3

public void testOptRule3()
                  throws Exception
Throws:
Exception

testOptRule4

public void testOptRule4()
                  throws Exception
Throws:
Exception

testOptRule5

public void testOptRule5()
                  throws Exception
Throws:
Exception

testOptRule6

public void testOptRule6()
                  throws Exception
Throws:
Exception

testOptRule7

public void testOptRule7()
                  throws Exception
Throws:
Exception

testOptRule8

public void testOptRule8()
                  throws Exception
Throws:
Exception