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
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;
Conference_Titel :
Systems Conference, 2010 4th Annual IEEE
Conference_Location :
San Diego, CA
Print_ISBN :
978-1-4244-5882-0
DOI :
10.1109/SYSTEMS.2010.5482324