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
Link To Document :
بازگشت