Exjobb Modellbaserad testning

Annonsmanus / Advertisement manuscript Exjobb: Modellbaserad testning Arbetsbeskrivning Vid utvecklingen av IT-system sA?A¥ gA?A¥r det mer och mer mot att anvA?A¤nda modeller i tidiga faser fA?A¶r att beskriva ett systems eller delar av ett systems beteende, oftast det funktionella beteendet.Modellen A?A¤r vanligtvis en abstrakt representation av systemets A?A¶nskade upptrA?A¤dande. Modellbaserad testning innebA?A¤r att utifrA?A¥n den modell som beskriver systemets upptrA?A¤dande kunna skapa testfall pA?A¥ samma abstraktionsnivA?A¥.UtifrA?A¥n dessa abstrakta testfall skapas sedan exekverbara testfall att kA?A¶ra mot det system som utvecklas utifrA?A¥n modellen. Ex-jobbet bestA?A¥r av en teoretisk del och en praktisk del.A?A[Den teoretiska delen A?A¤r den centrala delen av ex-jobbet och huvudsyftet med detta A?A¤r att skapa en fA?A¶rstA?A¥else av hur vi utifrA?A¥n modeller av ett system eller delar av ett system kan beskriva hur detta ska testas, bA?A¥de i form av abstrakta testmodeller och hur man gA?A¥r vidare frA?A¥n dessa till nA?A¥gon form av exekverbara tester.Den praktiska delen A?A¤r att prova nA?A¥gon av teorierna ovan och kan t ex vara en implementation av ett exempelsystem dA?A¤r det gA?A¥r att se hur fA?A¶rA?A¤ndringar i en funktionell modell slA?A¥r igenom i en testmodell och vidare till exekverbara tester. Inledningsvis bA?A¶r det gA?A¶ras en undersA?A¶kning av var "state of the art" fA?A¶r modellbaserad testning ligger idag, detta fA?A¶r att detaljera den inriktning som beskrivits ovan och fA?A¶r att sA?A¤tta rimliga mA?A¥l fA?A¶r vad vi vill uppnA?A¥. Exempel pA?A¥ frA?A¥gestA?A¤llningar att behandla kan vara: A?A. Vilka krav kan stA?A¤llas pA?A¥ modeller av systemet sA?A¥ att vi har mA?A¶jlighet att skapa testmodeller utifrA?A¥n dessa?Vi anvA?A¤nder idag i huvudsak UML vid modellering av systemet.A?A?r system beskrivna i UML en bra utgA?A¥ngspunkt om man vill infA?A¶ra modellbaserad testning? A?A. Vilka delar av systemets funktionalitet kan man tA?A¤cka med modellbaserade tester och vilka delar tA?A¤cks inte?Hur pA?A¥verkas detta genom att vA?A¤lja olika typer av testfallsgenerering?Vilka olika teorier/tekniker finns fA?A¶r att ta fram testfall? A?A. Vilka hjA?A¤lpmedel finns idag inom modellbaserad testning?Vilka sprA?A¥k anvA?A¤nds?Vilka verktyg finns? Kvalifikationer Examensarbetet A?A¤r pA?A¥ 20 poA?A¤ng och du som sA?A¶ker A?A¤r en blivande civilingenjA?A¶r. FA?A¶r mer information kontakta: Sista ansA?A¶kningsdag 2008-02-29 Saab Systems Saab Systems erbjuder integrerade ledningssystemlA?A¶sningar och civila sA?A¤kerhets- lA?A¶sningar samt vidareutveckling och anpassningar av befintliga ledningssystem. Apply for this vacancy