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 :
بازگشت