MAKING CHALLENGES MATTER 08 – MDE @ Nspyre

MAKING CHALLENGES MATTER
08 – MDE @ Nspyre
Nspyre is dé technische specialist op het gebied van automatisering. Wij zijn constant op
zoek naar vernieuwing, niet alleen in oplossingen voor onze klanten maar ook binnen de
organisatie zelf. Als jij denkt dat je uit het goede hout gesneden bent voor één van onze
uitdagingen, meld je dan nu aan voor een gesprek voor een mogelijkheid tot afstuderen bij
Nspyre. Contact via [email protected]
Afstudeerstage op het gebied van Model Driven Engineering
Model Driven Engineering is een relatief nieuwe software ontwikkelmethodiek. MDE heeft
onder andere als doelstelling om de productiviteit en kwaliteit in het
softwareontwikkelingsproces te verbeteren en de afstand tussen business en IT te
verkleinen. MDE is een modelgedreven ontwikkeltechniek, dit wil zeggen dat er gewerkt
wordt in verschillende modellen. Deze beginnen met een zeer hoog abstractieniveau,
vervolgens worden deze modellen getransformeerd naar een model met een lager
abstractieniveau. Uiteindelijk kan vanuit de modellen automatisch de software code worden
gegenereerd met behulp van transformatie.
Het doel van dit onderzoek is om technieken te ontwikkelen die modellen gebruiken om
automatisch testcases te creëren. Hierbij breid je huidige model-based testing tools zoals
SpecExplorer, ModelJUnit uit om efficiënt te kunnen testen.
Onderwerp van dit opdracht gaat eerst focussen op:
- MBT en model checking: onderzoek doen naar mogelijkheden om test model te verifiëren,
door gebruik te maken van formele technieken voor dat deze modellen worden gebruikt voor
test case generatie.
Mogelijk vervolge onderwerpen zij:
- Gebruik van Eclipse Modeling Framework in MBT (b.v. EMF, QVT, etc.)
- Gebruik van high-level models in MBT (b.v. SysML, AADL, etc.)
- Combination of MBT en formele verificatie:
- MBT en statistical testing: gebruik van user profielen/Markov chain voor test generen en
reliability testing.
- MBT en Model re-use /Model learning: ons klanten hebben bestaande modellen en willen
deze (her)gebruiken voor MBT.
Zoek jij een afstudeerstage op het gebied van MDE? Nspyre biedt je de mogelijkheden om
jouw studie succesvol op dit gebied af te ronden. Als veelbelovende informaticastudent krijg
je bij Nspyre de kans kennis en ervaring op te doen met nieuwe en innovatieve
technologieën, talen en tools. Onze begeleiding, training en coaching bij het uitvoeren van
jouw opdracht verzekeren je van resultaten waar je trots op kunt zijn. En wie weet verzekert
jouw stage je ook wel van een verdere carrière bij Nspyre!
Pag. 1 van 2
MAKING CHALLENGES MATTER
08 – MDE @ Nspyre
-
Ben je leergierig, wil je zowel onderzoeken en experimenteren als realiseren en
implementeren;
Ben je geïnteresseerd in state-of-the-art software engineering tools en methodieken;
Heb je enige kennis en kunde met Java/C#, Junit, Nunit, Eclipse, Eclipse EMF;
Ben je geïnteresseerd in methodieken als Model Based Testing (MBT) en Model
Driven Engineering (MDE).
Stuur dan je CV en een korte motivatie naar [email protected] of Arjen.van.der.
[email protected]
Pag. 2 van 2