• 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