Sökning: WFRF:(Mousavi Mohammad Reza)
> (2015-2019) >
Basic behavioral mo...
Basic behavioral models for software product lines : Expressiveness and testing pre-orders
-
- Beohar, Harsh, 1984- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
- Varshosaz, Mahsa, 1985- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
- Mousavi, Mohammad Reza, 1978- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
(creator_code:org_t)
- Amsterdam : Elsevier, 2016
- 2016
- Engelska.
-
Ingår i: Science of Computer Programming. - Amsterdam : Elsevier. - 0167-6423 .- 1872-7964. ; 123, s. 42-60
- Relaterad länk:
-
https://doi.org/10.1...
-
visa fler...
-
https://hh.diva-port... (primary) (Raw object)
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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. © 2015 The Authors.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Software product lines
- Formal specification
- Behavioral specification
- Labeled transition systems
- Featured transition systems
- Modal transition systems
- Calculus of communicating systems (CCS)
- Product line CCS (PL-CCS)
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas