Optimizing the Selection of Representative Configurations in Verification of Evolving Product Lines of Distributed Embedded Systems

Scheidemann, K.D.

doi:10.1109/spline.2006.1691579

Cited by 10 publications

(7 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…• IEEE Xplore: 3 -Papers 44, 45 These six papers were most likely not found due to use of different words in the papers and the actual search strings used in the Brazilian/USA study. The papers are listed in Appendix A.2.2.…”

Section: Summary Of Papers Included In the Two Systematic Mapsmentioning

confidence: 99%

On the reliability of mapping studies in software engineering

Wohlin

Runeson

Neto³

et al. 2013

Journal of Systems and Software

157

View full text Add to dashboard Cite

a b s t r a c tBackground: Systematic literature reviews and systematic mapping studies are becoming increasingly common in software engineering, and hence it becomes even more important to better understand the reliability of such studies. Objective: This paper presents a study of two systematic mapping studies to evaluate the reliability of mapping studies and point out some challenges related to this type of study in software engineering. Method: The research is based on an in-depth case study of two published mapping studies on software product line testing. Results: We found that despite the fact that the two studies are addressing the same topic, there are quite a number of differences when it comes to papers included and in terms of classification of the papers included in the two mapping studies. Conclusions: From this we conclude that although mapping studies are important, their reliability cannot simply be taken for granted. Based on the findings we also provide four conjectures that further research has to address to make secondary studies (systematic mapping studies and systematic literature reviews) even more valuable to both researchers and practitioners.

show abstract

Section: Summary Of Papers Included In the Two Systematic Mapsmentioning

confidence: 99%

On the reliability of mapping studies in software engineering

Wohlin

Runeson

Neto³

et al. 2013

Journal of Systems and Software

157

View full text Add to dashboard Cite

show abstract

“…Schneidemann optimized product line testing by minimizing the number of configurations needed to verify the variation of the platform [70]. Gustafsson worked on algorithms to ensure that all features of a product line are covered in at least one product instance [22].…”

Section: Test Managementmentioning

confidence: 99%

Software product line testing – A systematic mapping study

Engström

Runeson

2011

Information and Software Technology

262

161

View full text Add to dashboard Cite

a b s t r a c tContext: Software product lines (SPL) are used in industry to achieve more efficient software development. However, the testing side of SPL is underdeveloped.Objective: This study aims at surveying existing research on SPL testing in order to identify useful approaches and needs for future research. Method: A systematic mapping study is launched to find as much literature as possible, and the 64 papers found are classified with respect to focus, research type and contribution type. Results: A majority of the papers are of proposal research types (64%). System testing is the largest group with respect to research focus (40%), followed by management (23%). Method contributions are in majority. Conclusions: More validation and evaluation research is needed to provide a better foundation for SPL testing.

show abstract

“…Nebut et al [28] proposed a model-based approach to derive test objectives for the whole system. In [29], Scheidemann defined a method minimizing the set of configurations to verify the whole software product line. The author exploits the commonalities in order to minimize the verification effort required for requirements that pertain to several configurations.…”

Section: E Threats To Validitymentioning

confidence: 99%

Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines

Perrouin

Sen

Klein³

et al. 2010

2010 Third International Conference on Software Testing, Verification and Validation

174

180

View full text Add to dashboard Cite

Abstract-Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the number of derivable products. Exhaustive testing in such a large space of products is infeasible. One possible option is to test SPLs by generating test cases that cover all possible T feature interactions (T -wise). T -wise dramatically reduces the number of test products while ensuring reasonable SPL coverage. However, automatic generation of test cases satisfying T -wise using SAT solvers raises two issues. The encoding of SPL models and Twise criteria into a set of formulas acceptable by the solver and their satisfaction which fails when processed "all-at-once". We propose a scalable toolset using Alloy to automatically generate test cases satisfying T -wise from SPL models. We define strategies to split T -wise combinations into solvable subsets. We design and compute metrics to evaluate strategies on AspectOPTIMA, a concrete transactional SPL.

show abstract

Optimizing the Selection of Representative Configurations in Verification of Evolving Product Lines of Distributed Embedded Systems

Cited by 10 publications

References 10 publications

On the reliability of mapping studies in software engineering

On the reliability of mapping studies in software engineering

Software product line testing – A systematic mapping study

Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines

Contact Info

Product

Resources

About