hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines
University of Sao Paulo, Sao Carlos, Brazil.
University of Sao Paulo, Sao Carlos, Brazil.
Federal University of Paraná, Curitiba, Paraná, Brazil.
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).ORCID-id: 0000-0002-4869-6794
2017 (engelsk)Inngår i: 10th IEEE International Conference on Software Testing, Verification and Validation Workshops - ICSTW 2017 / [ed] Randall Bilof, Los Alamitos, CA: IEEE , 2017, s. 329-336Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

To test a Software Product Line (SPL), the test artifacts and the techniques must be extended to support variability. In general, when new SPL products are developed, more tests are generated to cover new or modified features. A dominant source of extra effort for such tests is the concretization of newly generated tests. Thus, minimizing the amount of new non-concretized tests required to perform conformance testing on new products reduces the overall test effort. In this paper, we propose a test reuse strategy for conformance testing of SPL products that aims at reducing test effort. We use incremental test generation methods based on finite state machines (FSMs) to maximize test reuse. We combine these methods with a selection algorithm used to identify non-redundant concretized tests. We illustrate our strategy using examples and a case study with an embedded mobile SPL. The results indicate that our strategy can save up to 36% of test effort in comparison to current test reuse strategies for the same fault detection capability. © 2017 IEEE.

sted, utgiver, år, opplag, sider
Los Alamitos, CA: IEEE , 2017. s. 329-336
Serie
IEEE International Conference on Software Testing Verification and Validation Workshops, ISSN 2159-4848
Emneord [en]
Conformance Testing, Test Case Reuse, Model-Based Testing, Finite State Machine, Software Product Lines
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-35617DOI: 10.1109/ICSTW.2017.61ISI: 000403392800051Scopus ID: 2-s2.0-85018410007ISBN: 978-1-5090-6676-6 (digital)ISBN: 978-1-5090-6677-3 (tryckt)OAI: oai:DiVA.org:hh-35617DiVA, id: diva2:1161941
Konferanse
10th IEEE International Conference on Software Testing, Verification and Validation (ICSTW), Tokyo, Japan, March 13-17, 2017
Forskningsfinansiär
Knowledge FoundationSwedish Research CouncilELLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Merknad

Funding: The work of V. Hafemann has been partially supported by the Science Without Borders project number 201694/2015-8. The work of M.R. Mousavi has been supported by grants from the Swedish Knowledge Foundation (KKS), Swedish Research Council (VR), and the ELLIIT Strategic Research Environment.

Tilgjengelig fra: 2017-12-01 Laget: 2017-12-01 Sist oppdatert: 2018-12-20bibliografisk kontrollert
Inngår i avhandling
1. Automatic generation of configurable test-suites for software product lines
Åpne denne publikasjonen i ny fane eller vindu >>Automatic generation of configurable test-suites for software product lines
2018 (engelsk)Doktoravhandling, med artikler (Annet vitenskapelig)
Abstract [en]

Software Product Line Engineering (SPLE) is an approach used in the development of similar products, which aims at systematic reuse of software artifacts. The SPLE process has several activities executed to assure software quality. Quality assurance is of vital importance for achieving and maintaining a high quality for various artifacts, such as products and processes. Testing activities are widely used in industry for quality assurance. However, the effort for applying testing is usually high, and increasing the testing efficiency is a major concern. A common means of increasing efficiency is automation of test design. Several techniques, processes, and strategies were developed for SPLE testing, but still many problems are open in this area of research. The challenge in focus is the reduction of the overall test effort required to test SPLE products. Test effort can be reduced by maximizing test reuse using models that take advantage of the similarity between products. The thesis goal is to automate the generation of small test-suites with high fault detection and low test redundancy between products. To achieve the goal, equivalent tests are identified for a set of products using complete and configurable test-suites. Two research directions are explored, one is product-based centered, and the other is product line-centered. For test design, test-suites that have full fault coverage were generated from state machines with and without feature constraints. A prototype tool was implemented for test design automation. In addition, the proposed approach was evaluated using examples, experimental studies, and an industrial case study for the automotive domain. The results of the product-based centered approach indicate a reduction of 36% on the number of test cases that need to be concretized. The results of the product line-centered approach indicate a reduction of 50% on the number of test cases generated for groups of product configurations.

sted, utgiver, år, opplag, sider
Halmstad: Halmstad University Press, 2018. s. 154
Serie
Halmstad University Dissertations ; 48
HSV kategori
Identifikatorer
urn:nbn:se:hh:diva-37779 (URN)978-91-88749-00-0 (ISBN)978-91-88749-01-7 (ISBN)
Disputas
2018-08-24, Halda, Visionen, Kristian IV:s väg 3, Halmstad, 13:00 (engelsk)
Opponent
Veileder
Forskningsfinansiär
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Merknad

Paper III & IV not in DiVA.

Tilgjengelig fra: 2019-02-08 Laget: 2018-08-24 Sist oppdatert: 2019-02-08bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 168 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf