6,984 Hits in 6.3 sec

Incremental Model-Based Testing of Delta-Oriented Software Product Lines [chapter]

Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity
2012 Lecture Notes in Computer Science  
ñ 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

Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, Yves le Traon
2010 2010 Third International Conference on Software Testing, Verification and Validation  
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

Gilles Perrouin, Sebastian Oster, Sagar Sen, Jacques Klein, Benoit Baudry, Yves le Traon
2011 Software quality journal  
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

Dusica Marijan, Arnaud Gotlieb, Sagar Sen, Aymeric Hervieu
2013 Proceedings of the 17th International Software Product Line Conference on - SPLC '13  
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  
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

Emelie Engström, Per Runeson
2011 Information and Software Technology  
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

Mohd Zanes Sahid, Abu Bakar Md Sultan, Abdul Azim Abdul Ghani, Salmi Baharom
2016 Journal of Computer Science  
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

Gil Hernández-Ledesma, Erik G. Ramos, Carlos A. Fernández-y-Fernández, Jorge R. Aguilar-Cisneros, Juan J. Rosas-Sumano, Luis A. Morales-Ignacio
2017 Research in Computing Science  
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

Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb
2011 2011 IEEE 22nd International Symposium on Software Reliability Engineering  
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

S. Segura, D. Benavides, A. Ruiz-Cortés
2011 IET Software  
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

Insang Chung
2015 International Journal of Software Engineering and Its Applications  
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

Francisco A. C. Pinheiro
2003 Requirements Engineering  
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

D.R. Kuhn, D.R. Wallace, A.M. Gallo
2004 IEEE Transactions on Software Engineering  
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

Mark L. Scheuer, Anto Bagic, Scott B. Wilson
2017 Clinical Neurophysiology  
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


Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser
2010 Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10  
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