DocumentCode
2301644
Title
Validation of Component-Based Software with a Customer Centric Domain Level Approach
Author
Skroch, Oliver
Author_Institution
Bus. Informatics & Syst. Eng., Univ. Augsburg
fYear
2007
fDate
26-29 March 2007
Firstpage
459
Lastpage
466
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ECBS.2007.76
Filename
4148963
Link To Document