University of Leicester
Browse
1-s2.0-S0167642315001288-main.pdf (631.08 kB)
Download file

Basic behavioral models for software product lines: Expressiveness and testing pre-orders

Download (631.08 kB)
journal contribution
posted on 2018-05-01, 09:24 authored by Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi
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 provide a structured overview of those formalisms based on labeled transition systems and compare their expressiveness in terms of the set of products they can specify. Moreover, we define the notion of tests for each of these formalisms and show that our notions of testing precisely capture product derivation, i.e., all valid products will pass the set of test cases of the product line and each invalid product fails at least one test case of the product line.

History

Citation

Science of Computer Programming, 2016, 123, pp. 42-60

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Informatics

Version

  • VoR (Version of Record)

Published in

Science of Computer Programming

Publisher

Elsevier

issn

0167-6423

eissn

1872-7964

Acceptance date

2015-06-12

Copyright date

2015

Available date

2018-05-01

Publisher version

https://www.sciencedirect.com/science/article/pii/S0167642315001288?via=ihub

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    Keywords

    Licence

    Exports