Article

Model-driven test-case construction

Author:

ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

Pages 587 - 590

https://doi.org/10.1145/1287624.1287717

Published: 07 September 2007 Publication History

Get Access

Abstract

Automatic system tests are frequently coupled to implementation details of the system under test. Such a tight coupling is problematic for a number of reasons: It prevents reuse of existing tests for multiple versions or variants of a system or for a number of systems in a system family and it makes the ability to construct executable tests for a system dependent on programming skills. In this paper we present an approach that decouples test specification and test execution by using system models and test models for the representation of systems under test and tests. We motivate the use of abstract test models and system models, introduce the relevant concepts of our approach and discuss the relationship to relevant fields.

References

[1]

Andrea, J. Generative Acceptance Testing for Difficult-to-Test Software. In Extreme Programming and Agile Processes in Software Engineering (2004), J. Eckstein and H. Baumeister, Eds., vol. 3092 of Lecture Notes in Computer Science, Springer, pp. 29--37.

Google Scholar

[2]

Binder, R. V. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley, 1999.

Digital Library

Google Scholar

[3]

Blackburn, M., Busser, R., and Nauman, A. Why Model-Based Test Automation is Different and What You Should Know to Get Started. In International Conference on Practical Software Quality (2004).

Google Scholar

[4]

Clements, P., and Northrop, L. M. Software Product Lines : Practices and Patterns, 3rd ed. Addison Wesley, 2001.

Digital Library

Google Scholar

[5]

Czarnecki, K., and Eisenecker, U. W. Generative Programming. Methods, Tools and Applications. Addison-Wesley, 2000.

Digital Library

Google Scholar

[6]

Mugridge, R., and Cunningham, W. FIT for Developing Software. Framework for Integrated Tests. Prentice Hall PTR, 2005.

Digital Library

Google Scholar

[7]

Stahl, T., and Vlter, M. Model-Driven Software Development. Wiley & Sons, 2006.

Google Scholar

[8]

Voelter, M., and Bettin, J. Patterns for Model-Driven Development. EuroPLoP, 2004.

Google Scholar

Cited By

View all

Mottu JAndré PCoutand MBerre TPretschner AVoss SBurgueño L(2019)Shall we test service-based models or generated code?Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00078(493-502)Online publication date: 15-Sep-2019
https://dl.acm.org/doi/10.1109/MODELS-C.2019.00078
Lamancha BPolo MPiattini M(2013)Systematic Review on Software Product Line TestingSoftware and Data Technologies10.1007/978-3-642-29578-2_4(58-71)Online publication date: 2013
https://doi.org/10.1007/978-3-642-29578-2_4
Fraternali PTisi M(2010)Multi-level tests for model driven web applicationsProceedings of the 10th international conference on Web engineering10.5555/1884110.1884124(158-172)Online publication date: 5-Jul-2010
https://dl.acm.org/doi/10.5555/1884110.1884124
Show More Cited By

Index Terms

Model-driven test-case construction
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Model-driven test-case construction
ESEC-FSE companion '07: The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers

Automatic system tests are frequently coupled to implementation details of the system under test. Such a tight coupling is problematic for a number of reasons: It prevents reuse of existing tests for multiple versions or variants of a system or for a ...
Automated generation of test oracles using a model-driven approach

Context: Software development time has been reduced with new development tools and paradigms, testing must accompany these changes. In order to release software products in a timely manner as well as to minimise the impact of possible errors introduced ...
A Model-Driven approach for functional test case generation

We present an approach for early testing based on the Model-Driven paradigm.We offer the view of a tool for solve this problem.We present some real experiences where this approach was offered. Test phase is one of the most critical phases in software ...

Comments

Information & Contributors

Information

Published In

ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

September 2007

638 pages

ISBN:9781595938114

DOI:10.1145/1287624

General Chair:
Ivica Crnkovic
Mälardalen University, Sweden
,
Program Chair:
Antonia Bertolino
ISTI-CNR, Italy

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 September 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ESEC/FSE07

Sponsor:

ESEC/FSE07: Joint 11th European Software Engineering Conference 2007

September 3 - 7, 2007

Dubrovnik, Croatia

Acceptance Rates

Overall Acceptance Rate 112 of 543 submissions, 21%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
440
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Mottu JAndré PCoutand MBerre TPretschner AVoss SBurgueño L(2019)Shall we test service-based models or generated code?Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00078(493-502)Online publication date: 15-Sep-2019
https://dl.acm.org/doi/10.1109/MODELS-C.2019.00078
Lamancha BPolo MPiattini M(2013)Systematic Review on Software Product Line TestingSoftware and Data Technologies10.1007/978-3-642-29578-2_4(58-71)Online publication date: 2013
https://doi.org/10.1007/978-3-642-29578-2_4
Fraternali PTisi M(2010)Multi-level tests for model driven web applicationsProceedings of the 10th international conference on Web engineering10.5555/1884110.1884124(158-172)Online publication date: 5-Jul-2010
https://dl.acm.org/doi/10.5555/1884110.1884124
Entin VSiegl SKern AReichel MMeyer-Wegener K(2009)A Scenario-Centric Approach for the Definition of the Formal Test Specifications of Reactive SystemsProceedings of the 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques10.1109/TAICPART.2009.21(179-183)Online publication date: 4-Sep-2009
https://dl.acm.org/doi/10.1109/TAICPART.2009.21
Fraternali PTisi M(2009)A Higher Order Generative Framework for Weaving Traceability Links into a Code Generator for Web Application TestingProceedings of the 9th International Conference on Web Engineering10.1007/978-3-642-02818-2_28(340-354)Online publication date: 18-Jun-2009
https://dl.acm.org/doi/10.1007/978-3-642-02818-2_28

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Model-driven test-case construction

Automated generation of test oracles using a model-driven approach

A Model-Driven approach for functional test case generation