46,216 Hits in 8.8 sec

Test Case Generation and Minimization using UML Activity Diagram in Model Driven Environment

Ms. Hetal J. Thanki, Prof. S.M Shinde
2014 International Journal of Computer & Organization Trends  
Traditional approach generates many numbers of large and duplicate test cases. Proposed approach will minimize generated test cases and generate optimal test suite using model driven testing.  ...  Test driven design (TDD) and design driven testing (DDT) are used for test case generation. TDD generates so many duplicated test cases at the end of the project.  ...  Automatic test cases in software product line [9] uses standard UML 2.0.  ... 
doi:10.14445/22492593/ijcot-v9p309 fatcat:cqjblwftw5hoheo7ut3yxmiqzi

Empowering Testing Activities with Modeling - Achievements and Insights from Nine Years of Collaboration with Cisco

Shaukat Ali, Marius Liaaen, Shuai Wang, Tao Yue
2017 Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development  
We present a brief overview of various model-driven testing projects, and lessons learned from such RBI collaboration from researchers' perspective. * All the authors are alphabetically ordered.  ...  The main topic of the collaboration was related to improving the current testing practice at Cisco with the use of models.  ...  include: model-based test generation, model-driven product line testing, model-driven test optimization and test case generation from requirements-based test specification.  ... 
doi:10.5220/0006216105810589 dblp:conf/modelsward/AliLWY17 fatcat:qgvwai2vzffwrpcpzbgafdfn5q

Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines [chapter]

Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer
2015 Lecture Notes in Computer Science  
Based on this principle, we present a novel approach for automated product-line test-suite generation incorporating extensive reuse of reachability information among test cases derived for dierent test  ...  However, generating eective test suites remains computationally expensive, consisting of repetitive reachability analyses for multiple test goals according to a coverage criterion.  ...  This work has been supported by the German Research Foundation (DFG) in the Priority Programme SPP 1593: Design For Future Managed Software Evolution (SCHU 1309/6-1, AP 206/5), by the DFG grants AP 206  ... 
doi:10.1007/978-3-662-46675-9_6 fatcat:opqizwubvndfnhchf5pcdxm32a

Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing

Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon
2013 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops  
Needs for mass customization and economies of scale have pushed engineers to develop Software Product Lines (SPLs).  ...  Experimentation on real feature models demonstrate that dissimilar tests suites have a higher mutant detection ability than similar ones, thus validating the relevance of similarity-driven product line  ...  In this paper, we presented a mutation analysis approach for software product lines based on feature models.  ... 
doi:10.1109/icstw.2013.30 dblp:conf/icst/HenardPPKT13 fatcat:czs4okmgojch5b3ujexwxn7y2e

GUI Development in TDD Model - Case Study

Sowmya Dhandapani
2016 Journal of Software  
Test Driven Development model is identified for the quality of the final product and the ease of development.  ...  This paper is a case study of developing a User Interface feature, based on the test driven development model.  ...  Test Driven Development Test Driven Development has proven advantage in software development model, as it provides a better quality product and also allows the developer to explore the requirements well  ... 
doi:10.17706/jsw.11.11.1139-1144 fatcat:cucmw62ldnaj3kbog5rrbae6sm

Model-based testing for software safety: a systematic mapping study

Havva Gulay Gurbuz, Bedir Tekinerdogan
2017 Software quality journal  
Concrete Test Case Generator Concrete Test Suite 4. Test Execution Report 5. Analyze Test Results Fig. 1 General process for MBT Software Qual J  ...  Several solution directions have been identified, but further research is critical for reliable model-based testing approach for safety. Keywords Model-based testing . Model-driven testing .  ...  for test suite generation for testing of software product lines (SPLs).  ... 
doi:10.1007/s11219-017-9386-2 fatcat:vnsqgyzf75gmpdld5l3in5r6mi

Proceedings Tenth Workshop on Model Based Testing

Nikolay Pakulin, Alexander K. Petrenko, Bernd-Holger Schlingloff
2015 Electronic Proceedings in Theoretical Computer Science  
the model is: -formalized -recorded in some form -used for generating test cases or oracles • Model Driven Testing is a special case of MBT -Abstract models -Automated test transformations Model Based  ...  years in MBT • Barriers to Model Based Testing • Where do we go from here Model Based Testing What is Model Based Testing What is Model Based Testing • All testing is based on a model • MBT occurs when  ...  • 1997 -GOTCHA for processor architecture verification • Coverage driven testing • Tools were used by Ph.  ... 
doi:10.4204/eptcs.180.0 fatcat:pc2litb46bgerf7r5imqg4msfu

Automated Product Line Methodologies to Support Model-Based Testing

Shuai Wang, Shaukat Ali, Arnaud Gotlieb
2013 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
Driven by the needs of our industrial problems for testing Video Conferencing Systems (VCSs) product line developed by Cisco, Norway, this paper presents Product Line Model-based Testing Methodologies  ...  Testing products in a cost-efficient way remains an attractive topic for Model-Based Testing (MBT) of product lines in both academia and industry, which can be addressed by employing systematic and automated  ...  Driven by the needs of our industrial problem of testing Video Conferencing Systems (VCSs) product line developed by Cisco, Norway, we proposed Product Line Model-based Testing Methodologies (PL-MTM) for  ... 
dblp:conf/models/WangAG13 fatcat:6r3sj6hfm5e3zhz7bxywnpqjki

On Featured Transition Systems [chapter]

Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans
2017 Lecture Notes in Computer Science  
We also used FTS to define test coverage and generation techniques for model-driven SPLs. We also successfully employed the formalism in order to foster mutation analysis.  ...  Software Product Lines (SPLs) are families of similar software products built from a common set of features.  ...  We also employed FTS for model-based testing activities such as coverage and test generation and prioritisation.  ... 
doi:10.1007/978-3-319-51963-0_35 fatcat:tku6e73tp5ep7m4j5srvrftuiu

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.  ...  The most prominent CIT techniques in aiding SPL testing are those based on greedy algorithms followed by meta-heuristics algorithms.  ...  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

Model-Based Product Line Testing: Sampling Configurations for Optimal Fault Detection [chapter]

Hartmut Lackner
2015 Lecture Notes in Computer Science  
The question of which products should be chosen for testing is still an ongoing challenge. We present coverage criteria for sampling congurations from reusable test cases.  ...  As product lines are viable for this purpose, testing them is complicated in contrast to non-variable systems, as there is an increasing amount of possible products due to the number of features.  ...  Model-based testing of product lines allows the application of behavioral coverage criteria as well as the usage of structural coverage criteria Mapping of feature Credit Card to a UML transition.  ... 
doi:10.1007/978-3-319-24912-4_17 fatcat:amqeqnj6vzbr5fsockczmqjpje

In this issue

Rachel Harrison
2016 Software quality journal  
The first four papers are all concerned with aspects of quality models and quality attributes, whereas the next four all look at various aspects of software testing.  ...  In "Software quality improvement: a model based on managing factors impacting software quality", Ivan Janicijevic, Maja Krsmanovic, Nedeljko Zivkovic, and Sasa Lazarevic propose a systematic framework  ...  Galindo, Hamilton Turner, David Benavides, and Jules White discuss testing for software product lines.  ... 
doi:10.1007/s11219-016-9313-y fatcat:4hqvivdni5aypc2wyeua6qvb3u

A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008

Lars Frantzen, Mercedes G. Merayo, Manuel Núñez
2009 The Journal of Logic and Algebraic Programming  
This special issue contains the revised and extended versions of three papers presented in the 4th Workshop on Advances in Model-Based Testing (A-MOST 2008).  ...  Olimpiew and Gomaa [33] described a method for producing test cases for an application derived from a software product line.  ...  The software product line spawns applications that have many features in common.  ... 
doi:10.1016/j.jlap.2009.02.010 fatcat:o4gguzoctfhu7grrhtofsb73da

Search-based Similarity-driven Behavioural SPL Testing

Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2016 Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '16  
Our results on four case studies show the relevance of dissimilarity-based test generation for behavioural SPL models, especially on the largest case-study where no other approach can match it.  ...  In this paper, we extend dissimilarity to behavioural SPL models (FTS) in a search-based approach, and evaluate its effectiveness in terms of product and fault coverage.  ...  Acknowledgements The authors would like to thank Christopher Henard and Mike Papadakis for their valuable and helpful comments.  ... 
doi:10.1145/2866614.2866627 dblp:conf/vamos/DevroeyPLSH16 fatcat:gptkiiusxnedhiip6x76jhwlcy

Classification Trends Taxonomy of Model-based Testing for Software Product Line: A Systematic Literature Review

2022 KSII Transactions on Internet and Information Systems  
Context: Testing is one of the techniques that can assure the quality of software including the domain of Software Product Line (SPL).  ...  Various techniques have been deliberated to enhance the quality of SPL including Model-based Testing (MBT).  ...  "software product line", "software product family", "product line", "product families", "software family", "system families", "variability", Testing: "test", "testing", "software testing" Model based terms  ... 
doi:10.3837/tiis.2022.05.008 fatcat:zpw7ofnytbftriq5zejwfcnm2q
« Previous Showing results 1 — 15 out of 46,216 results