18612822
Descripción
Fichas por Stael Tchinda, actualizado hace más de 1 año
|
Creado por Stael Tchinda
hace alrededor de 5 años
|
|
| Pregunta | Respuesta |
| 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 |
¿Quieres crear tus propias Fichas gratiscon GoConqr? Más información.