Abstruct-Statistical testing of software etablerar en grund för statistiska slutsatser om ett programvarusystems förväntade fältkvalitet. Detta dokument beskriver en metod för statistisk testning baserad på en Markov-kedjemodell av programvaruanvändning. Markovkedjans betydelse är tvåfaldig. För det första, det gör det möjligt att testa ingångssekvenser genereras från flera sannolikhetsfördelningar, vilket gör det mer "allmänt än många befintliga tekniker. Analysresultat förknippade med Markovkedjor underlättar informativ analys av sekvenserna innan de genereras, vilket indikerar hur testet sannolikt kommer att utvecklas. För det andra är de testinmatningssekvenser som genereras från kedjan och tillämpas på programvaran själva en stokastisk modell och används för att skapa en andra Markov-kedja för att inkapsla testets historia, inklusive eventuell observerad felinformation. Inverkan av felen bedöms genom analytiska beräkningar på denna kedja. Vi härleder också ett stoppkriterium för testprocessen baserat på en jämförelse av sekvensgenererande egenskaper hos de två kedjorna.
Whittaker och Thomason REF utökar Markovs kedjemodell genom att inkludera analysresultat och feldata i testkedjan.
A Markov chain model for statistical software testing
{'venue': 'IEEE Trans. Software Eng.', 'journal': 'IEEE Trans. Software Eng.', 'mag_field_of_study': ['Computer Science']}