Abstract: One theory with component based software technology is that the software module consumers, that is the software system producers, can reduce their effort needed for, among other things, verification of their module based software systems compared to traditional custom developed systems. However, to achieve this goal, software module producers must ensure a high, documented and trusted quality of their commercial components. Otherwise the effect will be the opposite. It should be easier to put together ready-to-use software module in systems than to develop everything from basic on, but if a software component used is of poor quality, the system verification process can be very difficult, time consuming, and therefore expensive. Traditional verification and validation techniques are still important to ensure software quality, especially for software component producers. Detailed specifications of the software and thorough reviews of these specifications provide a way to confirm the functionality and quality of the components so that they can be trusted by the component consumers. So a defined software development process and corresponding development methods and tools guarantee a high software quality. For component consumers, software verification is not like a traditional confirmation. Software bugs can not be found and corrected by conventional debugging techniques because most of the source code is not available. Instead, a more research-like technique needs to be used to find bugs and workarounds to avoid them.
Keywords: software development, software module, verification, verification, validation, certification.
Title: Verification and Validation of Component Based Software Systems
Author: Seyfali Mahini
International Journal of Computer Science and Information Technology Research
ISSN 2348-1196 (print), ISSN 2348-120X (online)
Research Publish Journals
