DocumentCode :
3298277
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
fYear :
2008
fDate :
1-4 April 2008
Firstpage :
317
Lastpage :
318
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Maintenance and Reengineering, 2008. CSMR 2008. 12th European Conference on
Conference_Location :
Athens
ISSN :
1534-5351
Print_ISBN :
978-1-4244-2157-2
Type :
conf
DOI :
10.1109/CSMR.2008.4493337
Filename :
4493337
Link To Document :
بازگشت