Catalogo Articoli (Spogli Riviste)
OPAC HELP
Titolo: A MARKOVCHAIN MODEL FOR STATISTICAL SOFTWARE TESTING
Autore: WHITTAKER JA; THOMASON MG;
 Indirizzi:
 SOFTWARE ENGN TECHNOL INC KNOXVILLE TN 37920 UNIV TENNESSEE,DEPT COMP SCI KNOXVILLE TN 37920
 Titolo Testata:
 IEEE transactions on software engineering
fascicolo: 10,
volume: 20,
anno: 1994,
pagine: 812  824
 SICI:
 00985589(1994)20:10<812:AMMFSS>2.0.ZU;2T
 Fonte:
 ISI
 Lingua:
 ENG
 Soggetto:
 RELIABILITY;
 Keywords:
 MARKOV CHAIN; STATISTICAL SOFTWARE TESTING; STOCHASTIC PROCESS; TEST CASE GENERATION;
 Tipo documento:
 Article
 Natura:
 Periodico
 Settore Disciplinare:
 CompuMath Citation Index
 Science Citation Index Expanded
 Science Citation Index Expanded
 Citazioni:
 29
 Recensione:
 Indirizzi per estratti:



 Citazione:
 J.A. Whittaker e M.G. Thomason, "A MARKOVCHAIN MODEL FOR STATISTICAL SOFTWARE TESTING", IEEE transactions on software engineering, 20(10), 1994, pp. 812824
Abstract
Statistical testing of software establishes a basis for statistical inference about a software system's expected field quality. This paper describes a method for statistical testing based on a Markov chain model of software usage. The significance of the Markov chain is twofold. First, it allows test input sequences to be generated from multiple probability distributions, making it more general than many existing techniques. Analytical results associated with Markov chains facilitate informative analysis of the sequences before they are generated, indicating how the test is likely to unfold. Second, the test input sequences generated from the chain and applied to the software are themselvesa stochastic model and are used to create a second Markov chain to encapsulate the history of the test, including any observed failure information. The influence of the failures is assessed through analytical computations on this chain. We also derive a stopping criterion for the testing process based on a comparison of the sequence generating properties of the two chains.
ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 24/10/20 alle ore 14:35:50