• DocumentCode
    2661924
  • Title

    Verification & Validation of components with new X Component-Based Model

  • Author

    Tomar, Pradeep ; Gill, Nasib Singh

  • Author_Institution
    Sch. of Inf. & Comm. Technol., Gautam Buddha Univ., Noida, India
  • Volume
    2
  • fYear
    2010
  • fDate
    3-5 Oct. 2010
  • Abstract
    Software Verification and Validation (V & V) activities check the software against its specifications. Every project must verify and validate the software. This is done by checking that software meets specified requirements by ensuring that the amount of V & V effort is adequate to show each software item is suitable for operational use. In the era of Software Engineering (SE), Component-Based Software Development (CBSD) put new demands on how to ensure the needed functionality and quality of the software with, V & V. In traditional software, V & V could be done in close cooperation with the customer to meet the specific requirements from the customer. When developing software components, or Component-Based Software Systems (CBSS), V & V becomes a bit more complicated. Components developed for reuse, and especially components developed for the open market, have to be more thoroughly specified and verified then most custom software for many reasons. This paper present V & V when developing software components which are helpful in improving the functionality and quality of component and Component-Based System (CBS) by using a new X Component-Based Model.
  • Keywords
    program verification; software engineering; X component-based model; component-based software development; software engineering; software validation; software verification; Buildings; Encoding; Programming; Software systems; Testing; Wrapping; Verification; archiving; coding; domain engineering; frameworking and component testing; validation;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Technology and Engineering (ICSTE), 2010 2nd International Conference on
  • Conference_Location
    San Juan, PR
  • Print_ISBN
    978-1-4244-8667-0
  • Electronic_ISBN
    978-1-4244-8666-3
  • Type

    conf

  • DOI
    10.1109/ICSTE.2010.5608788
  • Filename
    5608788