Modulbeschreibung
Unit Testing
Kürzel:
M_VP_13707
Durchführungszeitraum:
HS/13
ECTS-Punkte:
15
Lernziele:
Die Studierenden
- vertiefen ihre Kenntnisse im Bereich der Softwareverifikation.
- erlangen tieferen Einblick in Testingstrategien.
- konzipieren das Projekt thematisch und im Ablauf selbstständig und setzen es erfolgreich um.
- sind in der Lage die Ergebnisse ihrer Arbeit addressatenspezifisch, schriftlich und mündlich zu kommunizieren.
- verstehen die theoretischen und praktischen Hintergründe von fundamentalen Verifikationstechniken.
Verantwortliche Person:
Graf Urs
Standort (angeboten):
Buchs
Empfohlene Module:
Modultyp:
Standard-Modul für MSE Master of Science in Engineering BB STD_08 (BU)(Keine Semesterempfehlung)
Standard-Modul für MSE Master of Science in Engineering BB STD_16 (BU)(Keine Semesterempfehlung)
Standard-Modul für MSE Master of Science in Engineering BB STD_13 (BU)(Keine Semesterempfehlung)
Standard-Modul für MSE Master of Science in Engineering VZ STD_08 (BU)(Keine Semesterempfehlung)
Standard-Modul für MSE Master of Science in Engineering VZ STD_16 (BU)(Keine Semesterempfehlung)
Standard-Modul für MSE Master of Science in Engineering VZ STD_13 (BU)(Keine Semesterempfehlung)
Standard-Modul für Technik und IT MSE_20(Keine Semesterempfehlung)
ECTS-Punkte pro Kategorie
Fachliche Vertiefung / 15 Punkte
Fachliche Vertiefung / 15 Punkte
Fachliche Vertiefung / 15 Punkte
Fachliche Vertiefung / 15 Punkte
Fachliche Vertiefung / 15 Punkte
Fachliche Vertiefung / 15 Punkte
Fachliche Vertiefung / 15 Punkte
Modulbewertung
Bewertungsart:
Note von 1 - 6
Leistungsbewertung
Während des Semesters:
Im Kurs Unit-Testing im Bereich „Embedded Systems“ wird ein Projekt mittels Bericht bewertet. Im Kurs Softwareverifikation wird ein Fachvortrag bewertet.
Bewertungsart:
Note von 1 - 6
Gewichtung:
Im Kurs Unit-Testing im Bereich „Embedded Systems“ wird ein Projekt mittels Bericht (Gewicht 75%) bewertet. Im Kurs Softwareverifikation wird ein Fachvortrag (Gewicht 25%) bewertet.
Bemerkungen:
Kurse in diesem Modul
Unit-Testing im Bereich Embedded Systems
Kürzel:
VP_1370701
Arbeitsaufwand:
330
Semester:
1
Lernziele:
Die Studierenden
- vertiefen ihre Kenntnisse im Bereich der Softwareverifikation.
- erlangen tieferen Einblick in Testingstrategien.
- konzipieren das Projekt thematisch und im Ablauf selbstständig und setzen es erfolgreich um.
- sind in der Lage die Ergebnisse ihrer Arbeit addressatenspezifisch, schriftlich und mündlich zu kommunizieren.
Plan und Lerninhalt:
- Recherche über bestehende Vorgehensweisen für Unit-Testing im Embedded Umfeld
- Entwickeln geeigneter Teststrategien für ausgewählte Probleme aus der Embedded Treiberentwicklung (in Bare-Metal und Betriebssystemumgebung)
- Untersuchung des Einflusses der gewählten Lösungen auf die Performanz
Kursart:
Durchführung gemäss Stundenplan
Projekt mit Lektionen pro Woche
- Max. Teilnehmer: 99
- Harte Grenze: nein
Softwareverifikation
Kürzel:
VP_1370702
Arbeitsaufwand:
120
Semester:
1
Lernziele:
Die Studierenden
- verstehen die theoretischen und praktischen Hintergründe von fundamentalen Verifikationstechniken.
- sind in der Lage, diese Techniken auf reale Beispiele zu übertragen.
- sind in der Lage die Ergebnisse ihrer Arbeit addressatenspezifisch, schriftlich und mündlich zu kommunizieren.
Plan und Lerninhalt:
- Axiomatische Semantik
- Abstrakte Interpretation
- Modellprüfung und Echtzeit
- Testing
Kursart:
Durchführung gemäss Stundenplan
Selbststudium mit Lektionen pro Woche
- Max. Teilnehmer: 99
- Harte Grenze: nein