Paper Info
Title
Tbrim: Decision Support For Validation/Verification Of Requirements
Abstract
A decision support system has been developed that provides a structured approach to aid the validation/verifIcation of requirement sets and enhance the quality of the resulting design by reducing risk Additionally, an automated implementation of this approach has been completed utilizing the Advanced Integrated Requirements Engineering System (AIRES) software. Corroboration for the application of this decision support system has been attained from automated and manual testing performed on the system specification of a large-scale software development and integration project The decision support approach, called the Test-Based Risk Identification Methodology (TBRIM), has been used to detect four major types of requirements risk potential: ambiguity, conflict, complexity, and technical factors. The TBRIM is based on principles of evidence testing and eliminative logic developed by Bacon and Cohen for making decisions under uncertainty. New techniques for detection of complexity and technical risks have been added to existing methods for identification of risk from ambiguous and conflicting requirements. Comparisons of the automated and manual test results on risk category-by-category basis showed good correlation, and category-independent comparisons showed improvements that were consistent with expectations. Benefits from use of this decision support system include higher accuracy, consistency, and efficiency in the validation/verification of requirements. Knowledge of senior personnel can be captured to provide an expert system for less-experienced personnel.
Year
DOI
Venue
1998
10.1109/ICSMC.1998.725031
1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5
Keywords
Field
DocType
expert systems,expert system,decision support system,application software,requirement engineering,risk reduction,complexity,project management,formal verification,software testing,risk management,formal specification,decision support,system testing,uncertainty,decision support systems,software development,manual testing,software systems
Data mining,Computer science,Risk management,Artificial intelligence,Software development,Software engineering,Manual testing,Decision support system,Requirements engineering,Formal specification,System requirements specification,Machine learning,Formal verification
Conference
ISSN
Citations 
PageRank 
1062-922X
1
0.39
References 
Authors
3
2
Name
Order
Citations
PageRank
joseph j romano110.39
James D. Palmer25314.93