Title :
Validation of Component-Based Software with a Customer Centric Domain Level Approach
Author_Institution :
Bus. Informatics & Syst. Eng., Univ. Augsburg
Abstract :
End user testing for higher-order software compliance becomes an issue of increasing importance with compositional reuse of software artifacts. Few if any existing approaches discuss the validation of higher-order domain aspects in this context. The proposed method derives testable validation scenarios directly from a customer domain model by abstraction, reduction and inclusion for critical coverage. The resulting branch-free validation scenarios are used as references to validate suppliers´ software specifications against. Advantages of the method are first the embedding into a clear business model, second test oracles that originate from the business domains and thus are independent from models within the software development process, and third the early availability of validation results in the development cycle, before the software itself is available
Keywords :
formal specification; object-oriented programming; program testing; program verification; software reusability; component-based software; customer centric domain level approach; customer domain model; end user testing; higher-order software compliance; software development; software specification; Application software; Computer industry; Embedded software; Informatics; Programming; Reliability engineering; Software quality; Software testing; System testing; Systems engineering and theory;
Conference_Titel :
Engineering of Computer-Based Systems, 2007. ECBS '07. 14th Annual IEEE International Conference and Workshops on the
Conference_Location :
Tucson, AZ
Print_ISBN :
0-7695-2772-8
DOI :
10.1109/ECBS.2007.76