A stochastic theory of black-box software testing
2006 (English)In: Algebra, meaning, and computation: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / [ed] Futatsugi, K; Jouannaud, JP; Meseguer, J, 2006, Vol. 4060, 578-595 p.Conference paper (Refereed)
We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports the analysis of two important aspects of testing, namely: (i) coverage, probabilistic correctness and reliability modelling, and (ii) test case generation. Our model corrects some technical flaws found in previous models of probabilistic correctness found in the literature. It also provides insight into the design of new testing strategies, which can be more efficient than random testing.
Place, publisher, year, edition, pages
2006. Vol. 4060, 578-595 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 4060
Computer and Information Science
IdentifiersURN: urn:nbn:se:kth:diva-42014ISI: 000239518200030ScopusID: 2-s2.0-38549149753ISBN: 3-540-35462-XOAI: oai:DiVA.org:kth-42014DiVA: diva2:445971
Symposium on Algebra, Meaning and Computation in honor of Joseph Goguen on his 65th Birthday Location: Univ Calif San Diego, Dept Comp Sci & Engn, San Diego, CA Date: JUN 27-29, 2006
QC 201110052011-10-052011-10-052012-01-20Bibliographically approved