Please enable JavaScript.
Coggle requires JavaScript to display documents.
Softwarequalitätssicherung Was ist Testen? (Statische Analyse (Abstrakte…
Softwarequalitätssicherung
Was ist Testen?
Statische Analyse
Error Patterns
Style Guides
Abstrakte Interpretation
Interval Analysis
Datnefluss Anomalien
Feature Interaction Testing
Feature Model
Covering Arrays
ICPL
Chvátal Algorithmus
Model-based Testing
Visual-GUI Testing
Formal Modeling
Abstract State Machines
Model Checking
Struktur
Transitionssystem
Kripke-Strukutr
Programm Graph
Spezifikation
Linear Temporal Logic
Temporal Operators
Computation Tree Logic
Path Qualifiers
EX Algorithm
EU Algorithm
EG Algorithm
atomic propositions
Continuous Integration
Zustands-Diagramme
Automata
Mealy-Automata
Output in Transitionen
Moore-Automata
Output in Zuständen
State Machines
Kommunikation durch Events
Harel State Charts