This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
29th Annual IEEE/NASA Software Engineering Workshop
Bayesian Networks applied to Software IV&V
Greenbelt, Maryland
April 06-April 07
ISBN: 0-7695-2306-4
ASCII Text
x 
 
Ganesh Pai, Joanne Bechta-Dugan, Khalid Lateef, "Bayesian Networks applied to Software IV&V," 2012 35th Annual IEEE Software Engineering Workshop, pp. 293-304, 29th Annual IEEE/NASA Software Engineering Workshop, 2005.
 
 
BibTex
x
 
@article{ 10.1109/SEW.2005.20,
author = {Ganesh Pai and Joanne Bechta-Dugan and Khalid Lateef},
title = {Bayesian Networks applied to Software IV&V},
journal ={2012 35th Annual IEEE Software Engineering Workshop},
volume = {0},
year = {2005},
isbn = {0-7695-2306-4},
pages = {293-304},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2005.20},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - 2012 35th Annual IEEE Software Engineering Workshop
TI - Bayesian Networks applied to Software IV&V
SN - 0-7695-2306-4
SP293
EP304
A1 - Ganesh Pai,
A1 - Joanne Bechta-Dugan,
A1 - Khalid Lateef,
PY - 2005
KW - Use cases
KW - software requirements speci.cations
KW - probabilistic networks
KW - independent veri.cation and validation
KW - software reliability engineering.
VL - 0
JA - 2012 35th Annual IEEE Software Engineering Workshop
ER -
 
Ganesh Pai, University of Virginia, Department of ECE, Charlottesville, Virginia, USA
Joanne Bechta-Dugan, University of Virginia, Department of ECE, Charlottesville, Virginia, USA
Khalid Lateef, TITAN Corporation, Greenbelt, Maryland, USA

In this paper, we describe how Bayesian networks can be used to merge quantitative and qualitative information to support IV&V of use cases. Essentially, simple metrics from the use cases are computed, which are then input to a Bayesian network. This network models the relationships between the observable parameters of an IV&V process for use cases, and the desired features of the requirements specifications. The output of the network is an assessment of the maturity of the requirements, in terms of the probability that they exhibit the desired properties. We apply our proposed approach to a real system: a software simulator built to test attitude control for an aerospace system, to illustrate how IV&V can be quantitatively supported.

Index Terms:
Use cases, software requirements speci.cations,probabilistic networks, independent veri.cation and validation, software reliability engineering.
Citation:
Ganesh Pai, Joanne Bechta-Dugan, Khalid Lateef, "Bayesian Networks applied to Software IV&V," sew, pp.293-304, 29th Annual IEEE/NASA Software Engineering Workshop, 2005
Usage of this product signifies your acceptance of the Terms of Use.