DocumentCode
2150777
Title
Integrating Early V&V Support to a GSE Tool Integration Platform
Author
Pesola, Jukka-Pekka ; Tanner, Hannu ; Eskeli, Juho ; Parviainen, Päivi ; Bendas, Dan
Author_Institution
Software Technol. Center, VTT Tech. Res. Center of Finland, Oulu, Finland
fYear
2011
fDate
15-18 Aug. 2011
Firstpage
95
Lastpage
101
Abstract
The ever-growing market pressure and complex products demand high quality work and effectiveness from software practitioners. This relates also for the methods and tools they use for the development of software-intensive systems. Validation and verification (V&V) are the cornerstones of the overall quality of a system. By performing efficient V&V activities to detect defects during the early phases of development, the developers are able to save time and effort required for fixing them. Tool support is available for all types of V&V activities, especially testing, model checking, syntactic verification, and inspection. In distributed development the role of tools is even more relevant than in single-site development, and tool integration is often imperative for ensuring the effectiveness of work. In this paper, we discuss how a tool integration framework was extended to support early V&V activities via continuous integrations. We find that integrating early V& V supporting tools is feasible and useful, and makes a tool integration framework even more beneficial.
Keywords
distributed processing; program verification; GSE tool integration platform; complex products; distributed development; integrating early V&V support; model checking; software intensive systems; software practitioners; syntactic verification; validation and verification; Androids; Humanoid robots; Programming; Servers; Software; Testing; User interfaces; V&V tools; Verfication and Validation; continuous integration; global software integration; tool integration;
fLanguage
English
Publisher
ieee
Conference_Titel
Global Software Engineering Workshop (ICGSEW), 2011 Sixth IEEE International Conference on
Conference_Location
Helsinki
Print_ISBN
978-1-4577-1839-7
Electronic_ISBN
978-0-7695-4558-5
Type
conf
DOI
10.1109/ICGSE-W.2011.32
Filename
6065585
Link To Document