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
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;
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
DOI :
10.1109/ICGSE-W.2011.32