Eckert, Claudia (Prof. Dr.); Freiling, Felix (Prof. Dr.)
Sprache:
en
Fachgebiet:
DAT Datenverarbeitung, Informatik
TU-Systematik:
DAT 460d; DAT 050d
Kurzfassung:
Motivated by the urgent need for secure software we construct new testing methods to improve current development lifecycles. We connect probability theory with current testing technologies by formulating feedback-driven fuzzing in the language of stochastic processes. This mathematical model allows us to translate deep results from probability theory into algorithms for software testing.
Übersetzte Kurzfassung:
Motiviert durch den hohen Bedarf an sicherer Software werden neue Testmethoden bereitgestellt, um moderne Entwicklungsprozesse zu verbessern. Durch die Formulierung Feedback-basierten Fuzzings in der Sprache stochastischer Prozesse wird das Gebiet der Wahrscheinlichkeitstheorie mit gängigen Testtechnologien verbunden. Dieses mathematische Modell ermöglicht es, tiefgreifende Resultate aus der Wahrscheinlichkeitstheorie in Algorithmen zum Testen von Software zu übersetzen.