Complete property-oriented testing

Dissertation, Universität Bremen, 2024

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Krafczyk, Niklas (VerfasserIn)
Körperschaft: Universität Bremen (Grad-verleihende Institution)
Weitere Verfasser: Peleska, Jan (AkademischeR BetreuerIn), Mousavi, Mohammad Reza (AkademischeR BetreuerIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Bremen 2024
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Dissertation, Universität Bremen, 2024
This PhD thesis introduces new methods for property-oriented testing of systems with finite internal states but potentially infinite input/output domains. It focuses on properties defined in Linear Temporal Logic (LTL) and uses Symbolic Finite State Machines (SFSMs) for modeling. The thesis addresses gaps in existing literature by providing exhaustive testing approaches. Two main methods are presented: The first is a model-based testing approach that modifies traditional conformance testing for FSMs to work with SFSMs, enabling exhaustive property violation checks with potentially smaller test suites. The second is a complete property-oriented testing approach based on black box checking, which is enhanced to work with SFSMs and optimized for better runtime performance through reduced equivalence checks and the incorporation of fuzzing. Both methods are evaluated for their efficacy through automation and experiments, and further optimizations are discussed.
Beschreibung:vi, 153 Seiten
Zugangseinschränkungen:Open Access