Tests for eMoflon::IBeX

A collection of JUnit tests for eMoflon::IBeX.

Testsuites

testsuites/TestsuiteGT: JUnit tests for graph transformations (GT) via the Java API generated from the GT rule specification.
testsuites/Testsuite: JUnit tests for consistency checking, synchronization, and model generation with Triple Graph Grammars (TGGs).

How to run the tests

Install eMoflon::IBeX.
Go to File/Import.../Team/Team Project Set, check URL and enter in and import one of these PSF files:
- All GT-related projects tests: https://raw.githubusercontent.com/eMoflon/emoflon-ibex-tests/master/testProjectSet-GT.psf
- All TGG-related projects and tests: https://raw.githubusercontent.com/eMoflon/emoflon-ibex-tests/master/testProjectSet-TGG.psf
- All projects and tests: https://raw.githubusercontent.com/eMoflon/emoflon-ibex-tests/master/testProjectSet.psf
Click on the projects TestsuiteGT and Testsuite by selecting one of the *.launch files. Typically, you want to run one of these files:
- TestsuiteGT_HiPE.launch
- Testsuite_HiPE_SAT4J.launch

Name		Name	Last commit message	Last commit date
Latest commit History 1,186 Commits
Algorithms		Algorithms
BPMN-GraphTransformation		BPMN-GraphTransformation
BPMN		BPMN
BenchmarxFamiliesToPersons		BenchmarxFamiliesToPersons
BlockCodeAdapter		BlockCodeAdapter
BlockDiagram		BlockDiagram
BlockDiagramCodeAdapter		BlockDiagramCodeAdapter
BlockDiagramCodeAdapter_EdgeRules		BlockDiagramCodeAdapter_EdgeRules
BlockLanguage		BlockLanguage
ClassInhHier2DB		ClassInhHier2DB
ClassInheritanceHierarchy		ClassInheritanceHierarchy
ClassMultipleInheritanceHierarchy		ClassMultipleInheritanceHierarchy
ClassMultipleInheritanceHierarchyGraphTransformation		ClassMultipleInheritanceHierarchyGraphTransformation
Clazz2GlossarDoc		Clazz2GlossarDoc
CompanyLanguage		CompanyLanguage
CompanyToIT		CompanyToIT
ConstructionPlan		ConstructionPlan
Database		Database
Documents		Documents
EconomicsModel		EconomicsModel
Express2UML		Express2UML
ExpressModel		ExpressModel
ExtDocModel		ExtDocModel
ExtType2Doc_ConcSync		ExtType2Doc_ConcSync
ExtType2Doc_LookAhead		ExtType2Doc_LookAhead
ExtType2Doc_SCDerived		ExtType2Doc_SCDerived
ExtType2Doc_ShortCut		ExtType2Doc_ShortCut
ExtTypeModel		ExtTypeModel
FamiliesToPersons_V0		FamiliesToPersons_V0
FamiliesToPersons_V1		FamiliesToPersons_V1
FamiliesWithSiblings		FamiliesWithSiblings
FastEconomy		FastEconomy
FeatureModelConcise		FeatureModelConcise
FeatureModelConciseToSafe		FeatureModelConciseToSafe
FeatureModelSafe		FeatureModelSafe
FerrymanProblem		FerrymanProblem
FerrymanProblemGraphTransformation		FerrymanProblemGraphTransformation
GlossarDocumentation		GlossarDocumentation
GroupVotersModel		GroupVotersModel
HospitalExample		HospitalExample
HospitalTransformRules/META-INF		HospitalTransformRules/META-INF
HospitalTransformation		HospitalTransformation
IBeXTGGGantt2CPM		IBeXTGGGantt2CPM
ITLanguage		ITLanguage
Java		Java
Java2Doc		Java2Doc
META-INF		META-INF
MetamodelInheritance		MetamodelInheritance
MetamodelInheritance2		MetamodelInheritance2
MetamodelInheritance3		MetamodelInheritance3
MetamodelInheritanceTransformation		MetamodelInheritanceTransformation
MoDiscoIbexTGG		MoDiscoIbexTGG
MocaTree		MocaTree
MocaTreeToProcess		MocaTreeToProcess
ProcessCodeAdapter		ProcessCodeAdapter
ProcessDefinition		ProcessDefinition
SheRememberedCaterpillars		SheRememberedCaterpillars
SheRememberedCaterpillarsGraphTransformation		SheRememberedCaterpillarsGraphTransformation
SimpleChemistry		SimpleChemistry
SimpleChemistryGraphTransformation		SimpleChemistryGraphTransformation
SimpleClassInheritance		SimpleClassInheritance
SimpleDoc		SimpleDoc
SimpleEconomy		SimpleEconomy
SimpleEconomyGraphTransformation		SimpleEconomyGraphTransformation
SimpleFamilies		SimpleFamilies
SimpleFamiliesGraphTransformation		SimpleFamiliesGraphTransformation
SimpleFamiliesToSimplePersonsGraphTransformation		SimpleFamiliesToSimplePersonsGraphTransformation
SimpleJava		SimpleJava
SimpleNetwork		SimpleNetwork
SimpleNetworkGraphTransformation		SimpleNetworkGraphTransformation
SimpleNetworkGraphTransformation2		SimpleNetworkGraphTransformation2
SimplePersons		SimplePersons
SimplePersonsGraphTransformation		SimplePersonsGraphTransformation
SlowEconomy		SlowEconomy
Strategies		Strategies
TerraceHouses		TerraceHouses
TerraceHouses2BlockSet		TerraceHouses2BlockSet
Testsuite		Testsuite
TestsuiteGT		TestsuiteGT
TrainLanguage		TrainLanguage
TrainToVehicle		TrainToVehicle
Triangles		Triangles
TrianglesGraphTransformation		TrianglesGraphTransformation
Types		Types
UML		UML
UML2		UML2
VHDLModel		VHDLModel
VHDLTGGCodeAdapter		VHDLTGGCodeAdapter
VehicleLanguage		VehicleLanguage
Village		Village
Village2ConstrPlan		Village2ConstrPlan
VoterModelGraphTransformation		VoterModelGraphTransformation
WoodenBlockSet		WoodenBlockSet
benchmarx		benchmarx
org.emoflon.express.ide		org.emoflon.express.ide
org.emoflon.express.ui		org.emoflon.express.ui
org.emoflon.express		org.emoflon.express
tggs/IBeXTGGGantt2CPM/src/org/emoflon/ibex/tgg/run/ibextgggantt2cpm		tggs/IBeXTGGGantt2CPM/src/org/emoflon/ibex/tgg/run/ibextgggantt2cpm
.gitignore		.gitignore
README.md		README.md

eMoflon/emoflon-ibex-tests

Folders and files

Latest commit

History