Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines
From CERES
| Title | Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines |
|---|---|
| Author | Harsh Beohar and Mohammad Reza Mousavi |
| Year | 2014 |
| PublicationType | Report |
| Journal | |
| HostPublication | |
| DOI | |
| Conference | |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:703590 |
| Abstract | In order to provide a rigorous foundation for Software Product Lines (SPLs),several fundamental approaches have been proposed to their formal behavioral modeling. In this paper, we present a structured overview of such approaches andtranslations among them. We work out a common case study in various formalisms to illustratetheir relative strengths and weaknesses. We then show how these approaches can be exploited to enable efficientmodel-based testing of SPLs. |
