Model Based Object-Oriented Software Testing

Authors

  • Dr. S. Saravana Kumar  Assistant Professor, Department of Computer Science, Karpagam Academy of Higher Education, Coimbatore, Tamil Nadu, India

DOI:

https://doi.org/10.32628/IJSRSET196528

Keywords:

Testing, Object-oriented Software, UML, Model-based testing.

Abstract

Testing is an important phase of quality control in Software development. Software testing is necessary to produce highly reliable systems. The use of a model to describe the behavior of a system is a proven and major advantage to test. In this paper, we focus on model-based testing. The term model- based testing refers to test case derivation from a model representing software behavior. We discuss model-based approach to automatic testing of object oriented software which is carried out at the time of software development. We review the reported research result in this area and also discuss recent trends. Finally, we close with a discussion of where model-based testing fits in the present and future of software engineering.

References

  1. W. Prenninger, A. Pretschner, Abstractions for Model-Based Testing, ENTCS 116 (2005) 59- 71.
  2. A. Pretschner, J. Philipps, Methodological Issuesin Model-Based Testing, in: [29], 2005, pp. 281-291.
  3. J. Philipps, A. Pretschner, O. Slotosch,E. Aiglstorfer, S. Kriebel, K. Scholl, Model based test case generation for smart cards, in:Proc. 8th Intl. Workshop on Formal Meth. For Industrial Critical Syst., 2003, pp. 168-192.
  4. G. Walton, J. Poore, Generating transition probabilities to support model-based software testing,Software: Practice and Experience 30 (10) (2000) 1095-1106.
  5. A. Pretschner, O. Slotosch, E. Aiglstorfer,S. Kriebel, Model based testing for real-the inhouse card case study, J. Software Tools for Technology Transfer 5 (2-3) (2004) 140-157.
  6. A. Pretschner, W. Prenninger, S. Wagner, C. K¨uhnel, M. Baumgartner, B. Sostawa, R. Z¨olch, T. Stauner, One evaluation of model based testing and its automation, in: Proc. ICSE’05, 2005, pp. 392-401.
  7. E. Bernard, B. Legeard, X. Luck, F. Peureux, Generation of test sequences from formal specifications:GSM 11.11 standard case-study, SW Practice and Experience 34 (10) (2004) 915 - 948.
  8. E. Farchi, A. Hartman, S. S. Pinter, Using a model-based test generator to test for standard conformance, IBM Systems Journal 41 (1) (2002) 89-110.
  9. D. Lee, M. Yannakakis, Principles and methods of testing finite state machines — A survey, Proceedings of the IEEE 84 (2) (1996) 1090-1126.
  10. H. Zhu, P. Hall, J. May, Software Unit Test Coverage and Adequacy, ACM Computing Surveys 29 (4) (1997) 366-427.
  11. B. Beizer, Black-Box Testing : Techniques for Functional Testing of Software and Systems, Wiley, 1995.
  12. C. Gaston, D. Seifert, Evaluating Coverage-Based Testing, in: [29], 2005, pp. 293-322.
  13. A. Offutt, S. Liu, A. Abdurazik, P. Ammann, Generating test data from state-based specifications,J. Software Testing, verification and Reliability 13 (1) (2003) 25-53.
  14. A. Pretschner, Model-Based Testing in Practice,in: Proc. Formal Methods, Vol. 3582 of SpringerLNCS, 2005, pp. 537-541.

International Journal of Scientific Research in Science, Engineering and Technology

Downloads

Published

2019-11-30

Issue

Volume 6, Issue 6, November-December-2019

Section

Research Articles

License

Copyright (c) IJSRSET

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How to Cite

[1]
Dr. S. Saravana Kumar "Model Based Object-Oriented Software Testing" International Journal of Scientific Research in Science, Engineering and Technology (IJSRSET), Print ISSN : 2395-1990, Online ISSN : 2394-4099, Volume 6, Issue 6, pp.13-20, November-December-2019. Available at doi : https://doi.org/10.32628/IJSRSET196528