Residual Model Based Testing
|Title||Residual Model Based Testing|
|Summary||The project is about implementing a tool for efficient testing of a series of products from a product line specification.|
|Supervisor||Mohammad Mousavi, Harsh Beohar|
Software Product Lines provide a means for efficient development and customization of software. In our past research, we have defined a mathematical framework for defining the intended behavior of a software product line. Also we have defined the notion of difference of behavior between two products in a product line. This latter notion enables residual testing, i.e., how to efficiently test several product of a product line by first testing the commonalities once and for all, and then testing only the differences among products. This project aims at implementing a tool for this framework which takes the specification of production line and a set of product configurations and generates common and residual test suites for the products.