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