Abstract
Automatic generation of built-in contract testers that check pairwise interactions between client and server components is presented. Test artifacts are added to development models, i.e., these models are refined towards testing. The refinement is specified by a set of ATL transformation rules that are automatically performed by the ATL-DT tool. We focus on the KobrA development methodology and the Built-In Testing (BIT) method. Therefore, development and testing artifacts are specified by UML diagrams. To make transformation from development to testing models possible, a UML 2 profile for the BIT method is proposed. The overall solution is part of the MoBIT (Model-driven Built-In contract Testers) tool that was fully developed following Model-Driven Engineering (MDE) approaches. A case study is presented to illustrate the problems and solutions addressed.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
