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