Synthesizing Test Models from Test Cases

Authors:
Antti Jääskeläinen;Antti Kervinen;Mika Katara;Antti Valmari;Heikki Virtanen
Affiliations:
Department of Software Systems, Tampere University of Technology, Tampere, Finland FI-33101;Department of Software Systems, Tampere University of Technology, Tampere, Finland FI-33101;Department of Software Systems, Tampere University of Technology, Tampere, Finland FI-33101;Department of Software Systems, Tampere University of Technology, Tampere, Finland FI-33101;Department of Software Systems, Tampere University of Technology, Tampere, Finland FI-33101
Venue:
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Year:
2009

Citing 11
Cited 1

Software test automation: effective use of test execution tools

Software test automation: effective use of test execution tools
MAS — an interactive synthesizer to support behavioral modelling in UML

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Lessons Learned in Software Testing

Lessons Learned in Software Testing
Merging State-Based and Action-Based Verification

ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Optimal strategies for testing nondeterministic systems

ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
An evaluation of scenario notations and construction approaches for telecommunication systems development

Telecommunications Systems - Modeling, analysis, design and management
A comparative survey of scenario-based to state-based model synthesis approaches

Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach

TAIC-PART '06 Proceedings of the Testing: Academic & Industrial Conference on Practice And Research Techniques
Practical Model-Based Testing: A Tools Approach

Practical Model-Based Testing: A Tools Approach
Model-Based Testing Service on the Web

TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper)

QSIC '08 Proceedings of the 2008 The Eighth International Conference on Quality Software

Obstacles and opportunities in deploying model-based GUI testing of mobile software: a survey

Software Testing, Verification & Reliability

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we describe a methodology for synthesizing test models from test cases. The context of our approach is model-based graphical user interface (GUI) testing of smartphone applications. To facilitate the deployment of model-based testing practices, existing assets in test automation should be utilized. While companies are interested in the benefits of new approaches, they may have already invested heavily in conventional test suites. The approach presented in this paper enables using such suites for creating complex test models that should have better defect detection capability. The synthesis is illustrated with examples from two small case studies conducted using real test cases from industry. Our approach is semi-automatic requiring user interaction. We also outline planned tool support to enable efficient synthesis process.