DocumentCode
2618227
Title
A unified approach to requirements validation and system verification
Author
Foster, George J. ; Helm, Annette L.
Author_Institution
Defense Group, CSC, King George, VA, USA
fYear
2010
fDate
5-8 April 2010
Firstpage
404
Lastpage
408
Abstract
In large software-intensive systems, validation of requirements and verification of system performance are often performed completely independently by separate groups at great expense. However, by producing products at the requirements validation phase of development that can be reused during system performance verification, the costs can be greatly reduced and the verification can be increasingly automated with an improvement in quality. We present our model and simulation approach to requirements validation that produces data analysis tools that are then reused in automating system.
Keywords
data analysis; program verification; data analysis tools; requirements validation; software intensive systems; system verification; Neptune; WRATS; modeling; simulation; validation; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems Conference, 2010 4th Annual IEEE
Conference_Location
San Diego, CA
Print_ISBN
978-1-4244-5882-0
Type
conf
DOI
10.1109/SYSTEMS.2010.5482324
Filename
5482324
Link To Document