|
Verifikation und Testen - VO |
TUGraz-Online Seite: Link
Institut:
Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie
Zeitleiste: 0 1 2 3 4 5 6 7 8 9 0 Sem. WS SS WS SS WS SS WS SS WS SS WS SS WS SS WS SS WS SS WS SS 200x 201x
Semesterstunden: 2
mehr...
Inhalt:
Diskussion aktueller Forschungsinhalte zu Verifikation und Testenvon Hardware und Software. Es werden Techniken höheren Levels wie Model-Checking und Delta Debugging diskutiert. Diese Techniken sind in der Industrie noch nicht weit verbreitet, dies wird sich in Zukunft jedoch ändern. Die Lehrveranstaltung wird formal/technisch ausgerichtet sein.
Quelle:
TUGraz-Online
|
Drop files anywhere to upload...
|
In diesem Fach Dateien hochladen
|
|
|
| Alle Downloads (17 Dateien) |
Prüfungsfragenausarbeitung |
Datum Upload Datum Größe Uploader Anzahl der Downloads Dateityp Dateiendung |
| |  Mitschrift WS2023 | | |
Solved SLAM examples 0 ECs | | Upload am: 30.01.2024, 22:55 | 658,72 kB | 108 Downloads
Verifikation und Testen VO |
|
|
| | | | Prüfungsfragenausarbeitung SS2021 | | |
All exam questions known to this day + solutions (95 percent solved) 3 ECs | | Upload am: 24.06.2021, 11:48 | 8,00 MB | 338 Downloads
Verifikation und Testen VO |
|
|
| | | | Stoffzusammenfassung WS2020 | | |
A short summary of all topics covered in V&T in this semester. 2 ECs | | Upload am: 06.02.2021, 18:15 | 281,32 kB | 268 Downloads
Verifikation und Testen VO |
|
|
| | | | Klausurangabe 11.11.2020 | | |
Klausurangabe vom 11.11.2020 ohne Lösung 1 ECs | | Upload am: 10.12.2020, 07:29 | 103,54 kB | 6 Seiten | 290 Downloads
Verifikation und Testen VO |
|
|
| | | | Klausurangabe 30.01.2020 | | |
Klausurangabe + Lösung. Note 1 3 ECs | | Upload am: 29.02.2020, 14:19 | 2,52 MB | 10 Seiten | 326 Downloads
Verifikation und Testen VO |
|
|
| | | | Klausurangabe 17.03.2018 | | |
This was an stupid exam, the first two tasks are chained and the first task never appeared anywhere in the scripture or in any other exam before. There have been many angry and sad faces at the "Abgabegespräch" (exam review). This exam was also negative so I removed all the (not) solved content. Hope that a clever head can solve the first two tasks and upload it on egiraffe.
3 ECs | | Upload am: 01.10.2018, 23:41 | 656,89 kB | 7 Seiten | 298 Downloads
Verifikation und Testen VO |
|
|
| | | | Klausurangabe 02.02.2017 | | |
Klausurangabe vom 02.02.2017 zu VO Verification and Testing 3 ECs | | Upload am: 04.02.2017, 10:58 | 67,05 kB | 3 Seiten | 261 Downloads
Verifikation und Testen VO |
|
|
| | | | Klausurangabe 02.02.2017 | | |
Übertrag PBS 0 ECs | | Upload am: 02.02.2017, 00:00 | 902,96 kB | 61 Downloads
Verifikation und Testen VO |
|
|
| | | | Klausurangabe 02.02.2017 | | |
Übertrag PBS 0 ECs | | Upload am: 02.02.2017, 00:00 | 902,96 kB | 42 Downloads
Verifikation und Testen VO |
|
|
| | | | Klausurangabe 02.02.2017 | | |
Übertrag PBS 0 ECs | | Upload am: 02.02.2017, 00:00 | 902,96 kB | 63 Downloads
Verifikation und Testen VO |
|
|
| | | | Klausurangabe 01.06.2016 | | |
Übertrag PBS 0 ECs | | Upload am: 01.06.2016, 00:00 | 670,49 kB | 41 Downloads
Verifikation und Testen VO |
|
|
| | | | Klausurangabe 01.06.2016 | | |
Übertrag PBS 0 ECs | | Upload am: 01.06.2016, 00:00 | 670,49 kB | 38 Downloads
Verifikation und Testen VO |
|
|
| | | | Klausurangabe 01.06.2016 | | |
Übertrag PBS 0 ECs | | Upload am: 01.06.2016, 00:00 | 670,49 kB | 56 Downloads
Verifikation und Testen VO |
|
|
| | | | Klausurangabe 01.02.2016 | | |
Prüfungsangabe vom 01. Feber 2015 3 ECs | | Upload am: 03.02.2016, 15:41 | 90,42 kB | 3 Seiten | 190 Downloads
Verifikation und Testen VO |
|
|
| | | | Klausurangabe 01.02.2016 | | |
Übertrag PBS 0 ECs | | Upload am: 01.02.2016, 00:00 | 86,06 kB | 34 Downloads
Verifikation und Testen VO |
|
|
| | | | Klausurangabe 01.02.2016 | | |
Übertrag PBS 0 ECs | | Upload am: 01.02.2016, 00:00 | 86,06 kB | 37 Downloads
Verifikation und Testen VO |
|
|
| | | | Klausurangabe 01.02.2016 | | |
Übertrag PBS 0 ECs | | Upload am: 01.02.2016, 00:00 | 86,06 kB | 53 Downloads
Verifikation und Testen VO |
|
|
|
|
| Statistik |
| Anzahl der angezeigten Dateien: 17 | Größe der gezeigten Dateien Gesamt: 17,20 MB |
(10)