Choosing a test modeling language: a survey

Authors:
Alan Hartman;Mika Katara;Sergey Olvovsky
Affiliations:
IBM Haifa Labs, Haifa, Israel;Tampere University of Technology, Institute of Software Systems, Tampere, Finland;IBM Haifa Labs, Haifa, Israel
Venue:
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Year:
2006

Citing 9
Cited 4

Lessons Learned in Software Testing

Lessons Learned in Software Testing
Industrial experience with test generation languages for processor verification

Proceedings of the 41st annual Design Automation Conference
Optimal strategies for testing nondeterministic systems

ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications

ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Using a model-based test generator to test for standard conformance

IBM Systems Journal
Testing concurrent object-oriented systems with spec explorer

FM'05 Proceedings of the 2005 international conference on Formal Methods
Model-Driven engineering in a large industrial context — motorola case study

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems

Bug localization by constructing reduced traces

Programming and Computing Software
MBT4Chor: A Model-Based Testing Approach for Service Choreographies

ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Obstacles and opportunities in deploying model-based GUI testing of mobile software: a survey

Software Testing, Verification & Reliability
A test process improvement model for automated test generation

PROFES'12 Proceedings of the 13th international conference on Product-Focused Software Process Improvement

Quantified Score

Hi-index	0.00

Visualization

Abstract

Deployment of model-based testing involves many difficulties that have slowed down its industrial adoption. The leap from traditional scripted testing to model-based testing seems as hard as moving from manual to automatic test execution. Two key factors in the deployment are the language used to define the test models, and the language used for defining the test objectives. Based on our experience, we survey the different types of languages and sketch solutions based on different approaches, considering the testing organization, the system under test, etc. The types of languages we cover include among others domain-specific, test-specific as well as generic design languages. We note that there are no best practices, but provide general guidelines for various cases.