Title :
Coping with Requirements Changes in Software Verification and Validation
Author :
Li, Shimin ; Tahvildari, Ladan ; Liu, Weining ; Morrissey, Mike ; Cort, Gary
Author_Institution :
Univ. of Waterloo, Waterloo
Abstract :
The testing activities of the Software Verification & Validation (SV&V) team at Research In Motion (RIM) are requirements-based, which is commonly known as requirements-driven testing (RDT). Software requirements are continuously changing, which has an important impact on the RDT process. This paper describes the major challenges in coping with requirements changes in the software verification and validation processes and indicates how those challenges are being addressed at RIM.
Keywords :
formal specification; program testing; program verification; requirements-driven testing; software requirements; software validation; software verification; Application software; Automatic testing; Hardware; IP networks; Software quality; Software standards; Software testing; Standards development; Web and internet services; Wireless networks; Software Requirements and Specifications; Software Testing;
Conference_Titel :
Software Maintenance and Reengineering, 2008. CSMR 2008. 12th European Conference on
Conference_Location :
Athens
Print_ISBN :
978-1-4244-2157-2
DOI :
10.1109/CSMR.2008.4493337