Skip to main content
SpringerLink
Log in

Filtering Test Models to Support Incremental Testing

  • Conference paper
Testing – Practice and Research Techniques (TAIC PART 2010)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6303))

Abstract

Model-based testing can be hampered by the fact that a model depicting the system as designed does not necessarily correspond to the product as it is during development. Tests generated from such a model may be impossible to execute due to unimplemented features and already known errors. This paper presents a solution in which parts of the model can be filtered out and the remainder used to generate tests for the implemented portion of the product. In this way model-based testing can be used to gradually test the implementation as it becomes available. This is particularly important in incremental testing commonly used in industry.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Buwalda, H.: Action figures. STQE Magazine (March/April 2003)

    Google Scholar 

  2. Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: OOPSLA 2003 Workshop on Generative Techniques in the Context of Model-Driven Architecture, pp. 324–339. Springer, Heidelberg (2003)

    Google Scholar 

  3. Ernits, J., Roo, R., Jacky, J., Veanes, M.: Model-based testing of web applications using NModel. In: TestCom/FATES, pp. 211–216. Springer, Heidelberg (2009)

    Google Scholar 

  4. Fewster, M., Graham, D.: Software Test Automation: Effective use of test execution tools. Addison-Wesley, Reading (1999)

    MATH  Google Scholar 

  5. Jääskeläinen, A., Katara, M., Kervinen, A., Maunumaa, M., Pääkkönen, T., Takala, T., Virtanen, H.: Automatic GUI test generation for smart phone applications - an evaluation. In: Proc. of the Software Engineering in Practice track of the 31st International Conference on Software Engineering (ICSE 2009), companion volume, pp. 112–122. IEEE Computer Society, Los Alamitos (2009)

    Google Scholar 

  6. Jääskeläinen, A., Kervinen, A., Katara, M.: Creating a test model library for GUI testing of smartphone applications. In: Proc. 8th International Conference on Quality Software (QSIC 2008) (short paper), pp. 276–282. IEEE Computer Society, Los Alamitos (August 2008)

    Google Scholar 

  7. Karsisto, K.: A new parallel composition operator for verification tools. Doctoral dissertation, Tampere University of Technology (number 420 in publications) (2003)

    Google Scholar 

  8. Katara, M., Kervinen, A.: Making model-based testing more agile: a use case driven approach. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 219–234. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  9. Katara, M., Kervinen, A., Maunumaa, M., Pääkkönen, T., Satama, M.: Towards deploying model-based testing with a domain-specific modeling approach. In: Proc. TAIC PART – Testing: Academic & Industrial Conference 2006, pp. 81–89. IEEE CS, Los Alamitos (August 2006)

    Chapter  Google Scholar 

  10. Practise research group: TEMA project home page, http://practise.cs.tut.fi/project.php?project=tema (Cited April 2010)

  11. Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall, Englewood Cliffs (1998)

    Google Scholar 

  12. Rumpe, B.: Model-based testing of object-oriented systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 380–402. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  13. Tarjan, R.: Depth-first search and linear graph algorithms. SIAM Journal on Computing 1(2), 146–160 (1972)

    Article  MATH  MathSciNet  Google Scholar 

  14. Veanes, M., Schulte, W.: Protocol modeling with model program composition. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol. 5048, pp. 324–339. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Software Systems, Tampere University of Technology, P.O. Box 553, FI-33101, Tampere, Finland

    Antti Jääskeläinen

Authors
  1. Antti Jääskeläinen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Hull, HU6 7RX, Hull, UK

    Leonardo Bottaci

  2. Department of Computer Science, Saarland University, 66123, Saarbrücken, Germany

    Gordon Fraser

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jääskeläinen, A. (2010). Filtering Test Models to Support Incremental Testing. In: Bottaci, L., Fraser, G. (eds) Testing – Practice and Research Techniques. TAIC PART 2010. Lecture Notes in Computer Science, vol 6303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15585-7_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15585-7_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15584-0

  • Online ISBN: 978-3-642-15585-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation