Change search
ReferencesLink to record
Permanent link

Direct link
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)
Abstract [en]

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
National Category
Computer and Information Science
URN: urn:nbn:se:kth:diva-42014ISI: 000239518200030ScopusID: 2-s2.0-38549149753ISBN: 3-540-35462-XOAI: 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 20111005Available from: 2011-10-05 Created: 2011-10-05 Last updated: 2012-01-20Bibliographically approved

Open Access in DiVA

No full text

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 26 hits
ReferencesLink to record
Permanent link

Direct link