Automating Test Case Selection in Model-Based Software Product Line Development

Knapp, Alexander; Roggenbach, Markus; Schlingloff, Bernd-Holger

doi:https://doi.org/

Journal article 1445 views 135 downloads

Automating Test Case Selection in Model-Based Software Product Line Development

Alexander Knapp, Markus Roggenbach

, Bernd-Holger Schlingloff

International Journal of Software and Informatics, Volume: 9, Issue: 2, Pages: 153 - 175

Swansea University Author: Markus Roggenbach

PDF | Accepted Manuscript

Creative Commons Attribution Non-Commercial License
Download (1.09MB)

Check full text

Abstract

We address the problem of how to select test cases for products in a controlled model-based software product line development process. CVL, the common variability language, gives a framework for materialisation of product models from a given base model, variability model and resolution model. From s...

Full description

Published in:	International Journal of Software and Informatics
ISSN:	1673-7288
Published:	2015
Online Access:	Check full text
URI:	https://cronfa.swan.ac.uk/Record/cronfa21771

first_indexed	2015-05-29T02:08:34Z
last_indexed	2018-02-09T04:59:36Z
id	cronfa21771
recordtype	SURis
fullrecord	<?xml version="1.0"?><rfc1807><datestamp>2017-09-12T04:00:56.3651460</datestamp><bib-version>v2</bib-version><id>21771</id><entry>2015-05-28</entry><title>Automating Test Case Selection in Model-Based Software Product Line Development</title><swanseaauthors><author><sid>7733869ae501442da6926fac77cd155b</sid><ORCID>0000-0002-3819-2787</ORCID><firstname>Markus</firstname><surname>Roggenbach</surname><name>Markus Roggenbach</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2015-05-28</date><deptcode>MACS</deptcode><abstract>We address the problem of how to select test cases for products in a controlled model-based software product line development process. CVL, the common variability language, gives a framework for materialisation of product models from a given base model, variability model and resolution model. From such product models, software products can be derived. In practise, test case development for the product line often is independent from the product development. Therefore, the problem arises which test cases can be applied to which products. In particular, the question is whether a test case for one speci c product can be also used for a "similar" product. In this paper, we show how the expected outcome of a test case to a product in a model-based software product line development can be determined. That is, we give a procedure for assigning the outcome of a given test case on an arbitrary member of a software product line. We recall the relevant de nitions for software product line engineering, describe our approach, and demonstrate it with the example of a product line of super-automatic espresso machines.</abstract><type>Journal Article</type><journal>International Journal of Software and Informatics</journal><volume>9</volume><journalNumber>2</journalNumber><paginationStart>153</paginationStart><paginationEnd>175</paginationEnd><publisher/><issnElectronic>1673-7288</issnElectronic><keywords>software product lines model-based testing test colouring UML</keywords><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2015</publishedYear><publishedDate>2015-12-31</publishedDate><doi/><url>http://www.ijsi.org/1673-7288/9/i213.htm</url><notes></notes><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2017-09-12T04:00:56.3651460</lastEdited><Created>2015-05-28T12:16:41.5631002</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Alexander</firstname><surname>Knapp</surname><order>1</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><orcid>0000-0002-3819-2787</orcid><order>2</order></author><author><firstname>Bernd-Holger</firstname><surname>Schlingloff</surname><order>3</order></author></authors><documents><document><filename>0021771-31052017111755.pdf</filename><originalFilename>spl.pdf</originalFilename><uploaded>2017-05-31T11:17:55.6700000</uploaded><type>Output</type><contentLength>1110691</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2017-05-31T00:00:00.0000000</embargoDate><documentNotes>Creative Commons Attribution Non-Commercial License</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling	2017-09-12T04:00:56.3651460 v2 21771 2015-05-28 Automating Test Case Selection in Model-Based Software Product Line Development 7733869ae501442da6926fac77cd155b 0000-0002-3819-2787 Markus Roggenbach Markus Roggenbach true false 2015-05-28 MACS We address the problem of how to select test cases for products in a controlled model-based software product line development process. CVL, the common variability language, gives a framework for materialisation of product models from a given base model, variability model and resolution model. From such product models, software products can be derived. In practise, test case development for the product line often is independent from the product development. Therefore, the problem arises which test cases can be applied to which products. In particular, the question is whether a test case for one speci c product can be also used for a "similar" product. In this paper, we show how the expected outcome of a test case to a product in a model-based software product line development can be determined. That is, we give a procedure for assigning the outcome of a given test case on an arbitrary member of a software product line. We recall the relevant de nitions for software product line engineering, describe our approach, and demonstrate it with the example of a product line of super-automatic espresso machines. Journal Article International Journal of Software and Informatics 9 2 153 175 1673-7288 software product lines model-based testing test colouring UML 31 12 2015 2015-12-31 http://www.ijsi.org/1673-7288/9/i213.htm COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2017-09-12T04:00:56.3651460 2015-05-28T12:16:41.5631002 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Alexander Knapp 1 Markus Roggenbach 0000-0002-3819-2787 2 Bernd-Holger Schlingloff 3 0021771-31052017111755.pdf spl.pdf 2017-05-31T11:17:55.6700000 Output 1110691 application/pdf Accepted Manuscript true 2017-05-31T00:00:00.0000000 Creative Commons Attribution Non-Commercial License true eng
title	Automating Test Case Selection in Model-Based Software Product Line Development
spellingShingle	Automating Test Case Selection in Model-Based Software Product Line Development Markus Roggenbach
title_short	Automating Test Case Selection in Model-Based Software Product Line Development
title_full	Automating Test Case Selection in Model-Based Software Product Line Development
title_fullStr	Automating Test Case Selection in Model-Based Software Product Line Development
title_full_unstemmed	Automating Test Case Selection in Model-Based Software Product Line Development
title_sort	Automating Test Case Selection in Model-Based Software Product Line Development
author_id_str_mv	7733869ae501442da6926fac77cd155b
author_id_fullname_str_mv	7733869ae501442da6926fac77cd155b_***_Markus Roggenbach
author	Markus Roggenbach
author2	Alexander Knapp Markus Roggenbach Bernd-Holger Schlingloff
format	Journal article
container_title	International Journal of Software and Informatics
container_volume	9
container_issue	2
container_start_page	153
publishDate	2015
institution	Swansea University
issn	1673-7288
college_str	Faculty of Science and Engineering
hierarchytype
hierarchy_top_id	facultyofscienceandengineering
hierarchy_top_title	Faculty of Science and Engineering
hierarchy_parent_id	facultyofscienceandengineering
hierarchy_parent_title	Faculty of Science and Engineering
department_str	School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url	http://www.ijsi.org/1673-7288/9/i213.htm
document_store_str	1
active_str	0
description	We address the problem of how to select test cases for products in a controlled model-based software product line development process. CVL, the common variability language, gives a framework for materialisation of product models from a given base model, variability model and resolution model. From such product models, software products can be derived. In practise, test case development for the product line often is independent from the product development. Therefore, the problem arises which test cases can be applied to which products. In particular, the question is whether a test case for one speci c product can be also used for a "similar" product. In this paper, we show how the expected outcome of a test case to a product in a model-based software product line development can be determined. That is, we give a procedure for assigning the outcome of a given test case on an arbitrary member of a software product line. We recall the relevant de nitions for software product line engineering, describe our approach, and demonstrate it with the example of a product line of super-automatic espresso machines.
published_date	2015-12-31T03:43:52Z
_version_	1822643855108866048
score	11.048994

Automating Test Case Selection in Model-Based Software Product Line Development

Similar Items