|
Criado por Stael Tchinda
aproximadamente 5 anos atrás
|
|
Questão | Responda |
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 |
Quer criar seus próprios Flashcards gratuitos com GoConqr? Saiba mais.