Eckert, Claudia (Prof. Dr.); Freiling, Felix (Prof. Dr.)
Language:
en
Subject group:
DAT Datenverarbeitung, Informatik
TUM classification:
DAT 460d; DAT 050d
Abstract:
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.
Translated abstract:
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.