Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- - Peleska's Paper über LTL und HEalth Monitor in's Literatur Verzeichnis einfügen
- - Related Work zu Health Monitor; "Runtime Verification"
- - DBLP nutzen
- - UML und SysML Standards zitieren
- - Related Work zu IXL recherchieren (Translating Testing Theories pdf)
- - Test und Verifikation: Paper von Peleska 2019' analysieren, was Kunden gut finden. Benefits von MBT. Teststärke und Automatisierung ist das Wichtigste.
- - fsmlib referenzieren/zitieren
- - Evaluation: Standardwerk über Systemtest/Entwurf
- - Abbildung 37 Skalierun anpassen
- - (x) TCC SiL: Testcases für fehlgeschlagenen Test
- - (x) TCC HiL: Output zeigen
- - (x) Leerzeile anstatt \\
- - (x) Modell des TCC beschreiben
- - (x) Modell des Positioning beschreiben
- - (x) Evaluation: IXL nuXMv ausfüren wieso nicht komplett ausgeführt
- - Evaluation: Sind alle Entwicklungsziele erreicht worden? Interessante Entwicklungen (z.B. Züge in beide Richtungen, Weichenposition abfragen, Güter und Personenzüge)
- - Requirements Tabelle (requirement met?, kapitelverweis)
- - Wirksamkeit: Erfüllen die Implementation die Ziele?
- -
Add Comment
Please, Sign In to add comment
