Studenten

Afstuderen bij Axini

Axini is een Amsterdamse spin-off van de Universiteit Twente. Wij ontwikkelen software engineering tools die academische formele methoden toepassen in de praktijk. Onze focus ligt op model-gebaseerd testen (MBT) en model-gedreven software engineering (MBSE). Ons platform helpt grote bedrijven zoals ProRail, Achmea en Thermo Fisher Scientific hoge kwaliteit software op tijd te leveren.

We hebben zowel veel theoretische kennis over formele methoden als ervaring met het testen van software in de praktijk. Met deze combinatie kunnen wij interessante onderwerpen aanbieden voor afstudeerprojecten. Duik in de theorie van formele methoden en model checking of bouw oplossing voor de uitdaging van modelleren en testen in de praktijk.

Axini heeft de afgelopen 15 jaren veel afstudeerprojecten begeleid. We hebben veel ervaring waarmee we studenten kunnen helpen het maximale uit hun onderzoek te halen. Zie ons ​​track record verder op de pagina.

We hebben goede contacten met universiteiten (Universiteit van Amsterdam, Vrije Universiteit Amsterdam, Universiteit Twente, Technische Universiteit Eindhoven) en onderzoeksinstellingen (TNO, CWI). Verder nemen we deel aan verschillende Europese onderzoeksprojecten waaronder TESTOMAT, Allegio en Reflexion. Veel onze collega's hebben een achtergrond in de academische wereld, zij het als masterstudent, promovendus of universitair docent. We weten hoe onderzoek in elkaar steekt en kunnen jou in contact brengen met de mensen die je nodig hebt om jouw project tot een succes te maken.

Tijdens je project ervaar je hoe het leven is bij een softwarebedrijf gericht op software engineering en voortdurende verbetering. We hebben een vriendelijke, informele sfeer en flexibele uren. We zijn enkele dagen per week op kantoor in Amsterdam en werken de overige dagen thuis.

Wij bieden studenten het volgende:

• Goede begeleiding

  We hebben ervaren begeleiders die tijd maken voor jouw onderzoek. Zij kunnen je inspireren en uitdagen met onze diepgaande domeinkennis.

• Echt onderzoek

  We bieden projecten aan met een sterk onderzoekscomponent en vraagstukken voor echte problemen. Je gaat geen website voor ons bouwen.

• Contacten in de academische wereld

  We hebben goede connecties met universiteiten en potentiële academische begeleiders.

• Track record

  We hebben een mooi track record van afstudeerprojecten. Kijk hieronder voor een lijst van je voorgangers.

• Stagevergoeding

  Alle projecten gaan gepaard met een maandelijkse stagevergoeding.

Mogelijke onderwerpen

We bieden een breed scala aan projecten aan, zowel theoretisch als praktisch georiënteerd.

• Model checking van symbolische transitiesystemen

  Verifieer automatisch de eigenschappen van modellen met behulp van linear time logic en formele methoden. Lees meer

• Requirements coverage

  Formaliseer requirements geschreven in natuurlijke taal om te garanderen dat ze worden gedekt door het model en gegenereerde testgevallen. Lees meer

• Data coverage

  Verken het concept van data coverage in model-based testing; hoe kan data coverage in MBT testgevallen gedefineerd, bijgehouden, en geoptimaliseerd worden? Lees meer

• Visualisatie van modellen

  Ontwikkel technieken om grote en complexe modellen of complexe concepten als parallelism en nondeterminisme intuitief te visualiseren. Lees meer

• Interne communicatie

  Ontwikkel technieken waarmee interne communicatie tussen processen in een model beter geanalyseerd kan worden. Lees meer

• Visueel modelleren

  Maak het mogelijk om zowel tekstueel als visueel te modelleren met behulp van een tussenliggende representatie om beide in sync te houden. Lees meer

• Model learning

  Genereer een formeel model van het systeem onder test op basis van geobserveerd gedrag of logbestanden. Lees meer

• Codegeneratie vanuit formele modellen

  Genereer applicatiecode op basis van formele modellen die het gewenste gedrag beschrijven. Lees meer

• Model-gebaseerd testen van GUI-applicaties

  Breid de model-gebaseerd testen theorie uit met de concepten die nodig zijn om GUI-applicaties zoals web en desktop en mobiele applicaties te testen. Lees meer

• Geautomatiseerde modelgeneratie

  Onderzoek de mogelijkheid om andere modellen of code om te zetten in formele AML-modellen. Lees meer

• Ontwerp en implementeer een modelleringstaal voor data en interactie

  Ontwikkel een nieuwe modelleertaal die voldoet aan de requirements van reactieve en data-oriented systemen. Lees meer

• Debugger

  Onderzoek en implementeer geavanceerde debugging functies. Lees meer

• Inputgeneratie op basis van het model

  Verbeter het genereren van testcases bij model-gebaseerd testen door symbolische uitvoering te integreren met de Z3 theorem prover. Lees meer

• Tijdsgebonden testen

  Breid AMP en symbolische transitiesystemen uit met het concept van tijdsgebonden testen. Lees meer

Als je een ander onderwerp in gedachten hebt, horen wij het graag.

Contact

Wil je meer weten? Neem contact met ons op via students@axini.com.

Track record

Lees het werk van je voorgangers voor inspiratie en ideeën.