Position paper: Bayesian reasoning for software testing

Akbar Siami Namin, Mohan Sridharan

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

9 Scopus citations

Abstract

Despite significant advances in software testing research, the ability to produce reliable software products for a variety of critical applications remains an open problem. The key challenge has been the fact that each program or soft-ware product is unique, and existing methods are predominantly not capable of adapting to the observations made during program analysis. This paper makes the following claim: Bayesian reasoning methods provide an ideal research paradigm for achieving reliable and effcient software testing and program analysis. A brief overview of some popular Bayesian reasoning methods is provided, along with a justification of why they are applicable to software testing. Furthermore, some practical challenges to the widespread use of Bayesian methods are discussed, along with possible solutions to these challenges.

Original languageEnglish
Title of host publicationProceedings of the FSE/SDP Workshop on the Future of Software Engineering Research, FoSER 2010
Pages349-353
Number of pages5
DOIs
StatePublished - 2010
EventFSE/SDP Workshop on the Future of Software Engineering Research, FoSER 2010 - Santa Fe, NM, United States
Duration: Nov 7 2010Nov 11 2010

Publication series

NameProceedings of the FSE/SDP Workshop on the Future of Software Engineering Research, FoSER 2010

Conference

ConferenceFSE/SDP Workshop on the Future of Software Engineering Research, FoSER 2010
CountryUnited States
CitySanta Fe, NM
Period11/7/1011/11/10

Keywords

  • Bayesian data analysis
  • Probabilistic reasoning
  • Program analysis
  • Software testing
  • Stochastic methods

Fingerprint Dive into the research topics of 'Position paper: Bayesian reasoning for software testing'. Together they form a unique fingerprint.

Cite this