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. |
Keywords | |
TimeFrame | |
References | |
Prerequisites | |
Author | Mohammad Mousavi |
Supervisor | Mohammad Mousavi, Harsh Beohar |
Level | Master |
Status | Open |
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.