18612822
Description
Flashcards by Stael Tchinda, updated more than 1 year ago
|
Created by Stael Tchinda
over 5 years ago
|
|
| Question | Answer |
| Folienn00 Ready ? | Go ! |
| Welche Modelle für Software kennen Sie? (7) | - Petri-Netz - Prozess-Algebren - Automat, Transitionssystem - Klassendiagramm, Sequenzdiagramm - Modellierungssprachen (für Model Driven Software Design) - Source-Code, Binär-Code, Zwischensprachen I Compiler-interne Repräsentation (Control Flow Graph, Abstract Syntax Tree) |
| Welche eignen sich für Verifikation? (4 – 1.->2 , 4.->3) | - Direkt im System -- assert-Statements -- Gekennzeichnete Fehlerbereiche, die nicht erreicht werden dürfen - Temporallogische Formeln - Automaten - Informell, z.B. -- keine null-Pointer-Dereferenzierung -- keine Deadlocks -- Server soll auf jeden Request mit einer Response beantworten |
| Welche Methoden gibt es, um Fehler in Software zu finden? (8) | - Testen - Fuzzing - Typchecks - Code Reviews - Statische Analysen (Lint, FindBugs, Google Error-Prone) - Automatische Verifikation (Model Checking) - Interaktive Veri_kation (mit Theorem Provern) - Manuelle Verifikation |
| Welche Methode ist besser, Verifikation oder Testen? (mit Begründung) | Fangfrage, beides hat Vor- und Nachteile ) am besten beides! |
| 1. Computer-basierte Verifikation und Spezifikation Ready ? | Go ! |
| - Blatt 1 |
Want to create your own Flashcards for free with GoConqr? Learn more.