Bayesian Networks applied to Software IV&V

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

[1]  John R. Callahan,et al.  Formal methods for V&V of partial specifications: an experience report , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[2]  Alistair G. Sutcliffe,et al.  Validating functional system requirements with scenarios , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[3]  Bashar Nuseibeh,et al.  Lightweight validation of natural language requirements: a case study , 2000, Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219).

[4]  Robyn R. Lutz,et al.  Analyzing software requirements errors in safety-critical, embedded systems , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[5]  Michele Marchesi.  OOA metrics for the Unified Modeling Language , 1998, Proceedings of the Second Euromicro Conference on Software Maintenance and Reengineering.

[6]  Shailey Minocha,et al.  Supporting Scenario-Based Requirements Engineering , 1998, IEEE Trans. Software Eng..

[7]  B. McCarl,et al.  Economics , 1870, The Indian medical gazette.

[8]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems , 1988 .

[9]  Bashar Nuseibeh,et al.  Lightweight validation of natural language requirements , 2002, Softw. Pract. Exp..

[10]  John Kelly,et al.  Experiences Using Lightweight Formal Methods for Requirements Modeling , 1998, IEEE Trans. Software Eng..

[11]  Georg Kösters,et al.  Coupling Use Cases and Class Models as a Means for Validation and Verification of Requirements Specifications , 2001, Requirements Engineering.