ABSTRACT
This work presents an experimental study of a model-based testing method. We evaluate the use of the method and its tool, during the development of part of an information system. In this study we verified that the use of the method can generate benefits related to cost reduction, from the reduction of test effort and, at the same time, benefits related to test quality, from the failure detection capability improvement.
- A. Andrews, R. France, S. Ghosh, and G. Craig. Test adequacy criteria for UML design models. Jornal of Software Testing, Verification, and Reliability, 13(2):95--127, June 2003.Google Scholar
- R. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley, 2000. Google ScholarDigital Library
- L. Briand and Y. Labiche. A UML-based approach to system testing. In Proceedings of the 4th Unified Modeling Language Conference (UML'01), pages 194--208, Toronto, Canada, October 2001. Google ScholarDigital Library
- M. Cook. Building Enterprise Information Architecture: Reengineering Information Systems. Prentice Hall, 1996. Google ScholarDigital Library
- N. Fenton and S. Pfleeger. Software Metrics: A Rigorous & Practical Approach. International Thomson Computer Press, 2nd edition, 1996. Google ScholarDigital Library
- A. Hartman and K. Nagin. The AGEDIS tools for model based testing. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2004), Boston, Massachusetts, USA, July 2004. Google ScholarDigital Library
- IEEE. IEEE Standard Glossary of Software Engineering Terminology - IEEE Std.610.12-1990. IEEE Computer Society, 1990.Google Scholar
- IEEE. IEEE Standard Classification for Software Anomalies - IEEE Std 1044--1993. IEEE Computer Society, 1993.Google Scholar
- IEEE. IEEE Standard for Software Test Documentation - IEEE Std 829--1998. IEEE Computer Society, 1998.Google Scholar
- I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999. Google ScholarDigital Library
- NIST. Planning Report 02--3, National Institute of Standards and Technology, http://www.nist.gov/, 2002.Google Scholar
- J. Offutt and A. Abdurazik. Generating tests from UML specifications. In Proceedings of the 2nd Unified Modeling Language Conference (UML'99), Fort Collins, Colorado, USA, October 1999. Google ScholarDigital Library
- A. Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, B. Sostawa, R. Zülch, and T. Stauner. One evaluation of model-based testing and its automation. In Proceedings of the 27th International Conference on Software Engineering (ICSE'05), pages 392--401, May 2005. Google ScholarDigital Library
- J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999. Google ScholarDigital Library
- P. Santos-Neto, R. Resende, and C. Pádua. A method for information system testing automation. In Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05), Porto, Portugal, June 2005. Google ScholarDigital Library
- P. Santos-Neto, R. Resende, and C. Pádua. System testing automation: A developer perspective. In Proceedings of the 19th Conference on Software Engineering and Knowledge Engineering (SEKE'05), Taipei, Taiwan, Republic of China, July 2005.Google Scholar
- A. Sinha and C. Smidts. An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique. Empirical Software Engineering, 11(2):173--202, June 2006. Google ScholarDigital Library
- C. Wohlin, P. Runeson, M. Host, M. Ohlsson, B. Regnell, and A. Wesslen. Experimentation in Software Engineering: An Introduction. Kluwer Academic Publishers, 2000. Google ScholarDigital Library
Index Terms
- An evaluation of a model-based testing method for information systems
Recommendations
Optimal Regression Testing Based on Selective Coverage of Test Requirements
ISPA '10: Proceedings of the International Symposium on Parallel and Distributed Processing with ApplicationsTest suite reduction can greatly save the test effort during regression testing. For software development with frequent minor updates, a good policy is to managing selective form regression testing, where the total set of test requirements is divided ...
Requirements for information systems model-based testing
SAC '07: Proceedings of the 2007 ACM symposium on Applied computingIn order to develop systems with a high level of quality and low costs it is necessary to have adequate testing tools and methods. We believe that the definition of a requirements catalog is one of the steps in such direction. This work presents a ...
An empirical comparison of model-based and capture and replay approaches for performance testing
A variety of testing tools has been developed to support and automate the software testing activity. Some of them may use different techniques such as Model-based Testing (MBT) or Capture and Replay (CR). Model-based Testing is a technique for automatic ...
Comments