A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Filters
Incremental Model-Based Testing of Delta-Oriented Software Product Lines
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
ñ Limited to C0/C1-like coverage criteria Subset selection of 17 representative products-under-test for pairwise feature interaction coverage Product-by-product testing: 64 test cases generated and executed ...
. , ok
Product Variants
under Test
IUT p1q
IUT p2q
IUT pnq
TM p2q
TM p1q
TM pnq
Testing a family of similar software product variants
1. Reusable SPL test model [Oli08]
2. ...
doi:10.1007/978-3-642-30473-6_7
fatcat:w5zlij5tofaxzjthqsg73rx354
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
2010
2010 Third International Conference on Software Testing, Verification and Validation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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). ...
CONCLUSION In this paper, we proposed an approach and platform supporting the automated generation of test cases for software product lines. ...
doi:10.1109/icst.2010.43
dblp:conf/icst/PerrouinSKBT10
fatcat:3newifomynhkfkjxual6kxante
Pairwise testing for software product lines: comparison of two approaches
2011
Software quality journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
By applying these measures we were able to derive useful insights for pairwise and t-wise testing of product lines. ...
Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability, which in turn leads to combinatorial explosion of the number of derivable products. ...
for testing software product lines. ...
doi:10.1007/s11219-011-9160-9
fatcat:cwslxc27czertcfi5xxitqybxa
Practical pairwise testing for software product lines
2013
Proceedings of the 17th International Software Product Line Conference on - SPLC '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
One key challenge for software product lines is efficiently managing variability throughout their lifecycle. In this paper, we address the problem of variability in software product lines testing. ...
Software product lines (SPLs) allow companies to efficiently increase the range of products diversity imposed by a diverse user base. ...
This research is supported by the Research Council of Norway. ...
doi:10.1145/2491627.2491646
dblp:conf/splc/MarijanGSH13
fatcat:27xmygpuc5d4zjc7oe7vavqbqa
Products & Materials
1987
Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
increments of 0.1 Hz. The viewing chamber features a self-contained base that needs no assembly. ...
Each eye may be tested separately. Lafayette Instrument. Circle 588. Bibliographic Software REFMENU is a database to organize and maintain references or reprints. ...
Products & Materials DOI: 10.1126/science.235.4791.918 (4791) ...
doi:10.1126/science.235.4791.918
pmid:17778868
fatcat:l3yeajirt5gmpktlgaxyqwppta
Software product line testing – A systematic mapping study
2011
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Context: Software product lines (SPL) are used in industry to achieve more efficient software development. However, the testing side of SPL is underdeveloped. ...
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%). ...
[75] Testing software product lines using incremental test generation Validation research Method Weißleder et al. ...
doi:10.1016/j.infsof.2010.05.011
fatcat:dr22hbk5yvbtbplfc72o5agpzm
Combinatorial Interaction Testing of Software Product Lines: A Mapping Study
2016
Journal of Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Software Product Line (SPL) is a software engineering paradigm that is inspired by the concept of reusability of common features, formulated for different software product. ...
Complete testing on entire SPL is known to be unfeasible, due to the very large number of possible products to be produced, configured using a subset or all possible features in the SPL. ...
The authors also wish to thank Universiti Putra Malaysia (UPM) which provided the facilities and appropriate environments for carrying out this study and to the Software Engineering research group of FSKTM ...
doi:10.3844/jcssp.2016.379.398
fatcat:kdc2r5kkiveqho3ycwcdmmf77u
Selection of Best Software Engineering Practices: A Multi-Criteria Decision Making Approach
2017
Research in Computing Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The development of an application based on a set of best software engineering practices involves first their selection. This process may become complex due to the variables involved. ...
This paper presents an Operations Research approach for the selection of best software engineering practices for the development of applications or computational systems considering a series of alternatives ...
Incremental testing Bottom-up was used, test cases were developed with Visual Studio software and Coded UI Tests. This tool allowed automated testing and regression tests. ...
doi:10.13053/rcs-136-1-4
fatcat:ji7t7madkbedpeiyhxjhbnfx4u
PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models
2011
2011 IEEE 22nd International Symposium on Software Reliability Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
This test generation task consists in systematically selecting a set of configurations that represent a relevant sample of the variability space and that can be used to test the product line. ...
Feature models are commonly used to specify variability in software product lines. Several tools support feature models for variability management at different steps in the development process. ...
[20] showed that an extended SAT solver could be used to incrementally generate test inputs for each product in a product line. ...
doi:10.1109/issre.2011.31
dblp:conf/issre/HervieuBG11
fatcat:b2rm6bicinawvou4ozlid2nbta
Functional testing of feature model analysis tools: a test suite
2011
IET Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
A Feature Model (FM) is a compact representation of all the products of a software product line. ...
We intend this work to be a first step toward the development of a widely accepted test suite to support functional testing in the community of automated analysis of feature models. ...
We also thank Jose Galindo for his technical support during the evaluation of our approach. ...
doi:10.1049/iet-sen.2009.0096
fatcat:bnfqbfezzzcupklwoi63plzejy
Using Boolean Satisfiability Solving for Pairwise Test Generation from Cause-Effect Graphs: Comparison of Three Approaches
2015
International Journal of Software Engineering and Its Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We compare the three approaches in terms of the number of generated pairwise tests and fault detection capability. ...
In this paper, we present three approaches using SAT solving for pairwise test generation from cause-effect graphs. One is an ideal approach that tries to obtain a minimal set of tests. ...
In the previous study, we developed a tool named "CEGPairGen" that automates the whole process of generating pairwise tests from cause-effect graphs [2] . ...
doi:10.14257/ijseia.2015.9.9.07
fatcat:hazbvc2xljgt5pl7aihl434pei
Requirements honesty
2003
Requirements Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
aspect of software development. ...
Since the beginnings of software engineering, there is a search for faster ways to develop software. ...
They pointed out errors and made very interesting points that helped me to improve the contents of the paper. ...
doi:10.1007/s00766-003-0165-1
fatcat:rpxststscncilgolh2p57fegwi
Software fault interactions and implications for software testing
2004
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Exhaustive testing of computer software is intractable, but empirical studies of software failures suggest that testing can in some cases be effectively exhaustive. ...
If all faults in a system can be triggered by a combination of n or fewer parameters, then testing all n-tuples of parameters is effectively equivalent to exhaustive testing, if software behavior is not ...
ACKNOWLEDGMENTS The authors would like to thank Tim Grance for his support of this project. They want to thank Jim Lyle for his careful review and the TSE reviewers for many helpful suggestions. ...
doi:10.1109/tse.2004.24
fatcat:ptbmqj7ttvfcxfy4hgei6lv4fq
Spike detection: Inter-reader agreement and a statistical Turing test on a large data set
2017
Clinical Neurophysiology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Differences in human pairwise performance were calculated and compared to the range of algorithm versus human performance differences as a type of statistical Turing test. ...
Evaluation of pairwise differences in sensitivity and false positive rate demonstrated that P13 met statistical noninferiority criteria compared to the humans. ...
All authors participated in the final manuscript production. Conflict of interest statement: Mark Scheuer and Scott Wilson are fulltime employees of Persyst Development Corporation. ...
doi:10.1016/j.clinph.2016.11.005
pmid:27913148
fatcat:pfwmz3vnvnfgvc4vwx56377pmi
FITE
2010
Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Existing software tools, such as SAGE, can automate many buffer overflow checks. SAGE is designed to run on large binary programs. ...
To this end, existing test cases and their code coverage are analyzed in the background to determine which methods of the product code or underrepresented in the existing test cases. ...
doi:10.1145/1882362.1882444
dblp:conf/sigsoft/WhalenGMPTV10
fatcat:74q4mu2osvhofjp24hbdtm4u6a
« Previous
Showing results 1 — 15 out of 6,984 results