Abstrakt. Vi introducerar ett matematiskt ramverk för Black-box mjukvarutestning av funktionell korrekthet, baserat på begrepp från stokastisk processteori. Denna ram stöder analysen av två viktiga aspekter av testning, nämligen i) täckning, probabilistisk modellering av korrekthet och tillförlitlighet samt ii) utveckling av testfall. Vår modell korrigerar några tekniska brister som finns i tidigare modeller av probabilistisk korrekthet som finns i litteraturen. Det ger också insikt i utformningen av nya teststrategier, som kan vara effektivare än slumpmässiga tester.
I REF presenterar Meinke ett matematiskt ramverk för testning av svarta rutor.
A Stochastic Theory of Black-Box Software Testing
{'venue': 'Essays Dedicated to Joseph A. Goguen', 'journal': None, 'mag_field_of_study': ['Computer Science']}