Michael Mlynarski
Baris Güldali
ABSTRACT
Model-Based Testing is slowly becoming the next level of software testing. It promises higher quality, better coverage and efficient change management. MBT shows two main problems of modeling the test behavior. While modeling test cases test designers rewrite most of the system specification. Further, the number of test cases generated by modern tools is often not feasible. In practice, both problems are not solved. Assuming that the functional design is based on models, we show how to use them for software testing. With so-called test ideas, we propose a way to manually select and automatically transform the relevant parts of the design model into a basic test model that can be used for test case generation. We give an example and discuss the potentials for tool support.
- Jones, C. Applied Software Measurement Mcgraw-Hill, 1996Google Scholar
- Pol, M.; Koomen, T.&Spillner, A. Management und Optimierung des Testprozesses dpunkt.verlag, 2002Google Scholar
- Utting, M.&Legeard, B. Practical Model-Based Testing: A Tools Approach Morgan Kaufmann, 2007 Google ScholarDigital Library
- Heckel, R., Lohmann, M.: Towards model-driven testing. Electr. Notes Theor. Comput. Sci. 82(6) (2003)Google Scholar
- Object Management Group: UML Specification V2.1.1. www.omg.org/cgi-bin/doc?formal/-07-02-05, 2007Google Scholar
- Vieira, M.; Leduc, J.; Hasling, B.; Subramanyan, R.&Kazmeier, J. Automation of GUI testing using a model-driven approach AST '06: Proceedings of the 2006 international workshop on Automation of software test, ACM, 2006, 9--14 Google ScholarDigital Library
- Object Management Group: UML Testing Profile 1.0. http://www.omg.org/cgi-bin/doc?formal/05-07-07 (2007)Google Scholar
- Salger, F.; Sauer, S.&Engels, G. Integrated specification and quality assurance for large business information systems ISEC '09: Proceeding of the 2nd annual conference on India software engineering conference, ACM, 2009, 129--130 Google ScholarDigital Library
- Object Management Group: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. http://www.omg.org/cgi-bin/doc?ptc/2007-07-07 (2007).Google Scholar
- Dai, Z. R.; Grabowski, J.; Neukirchen, H.&Pals, H. From Design to Test with UML -- Applied to a Roaming Algorithm for Bluetooth Devices Testing of Communicating Systems. In Prod. of the 16th IFIP International Conference on Testing of Communicating Systems (TestCom2004), LNI 2978, Springer, 2004Google Scholar
- Fraikin, F.&Leonhardt, T. SeDiTeC - testing based on sequence diagrams. Proceedings. ASE 2002. 17th IEEE International Conference on Automated Software Engineering, 2002 Google ScholarDigital Library
- Dias Neto, A.; Subramanyan, R.; Vieira, M.&Tracassos, G. A Survey on Model-based Testing Approaches: A Systematic Review Siemens Corporate Research, 2007Google Scholar
- Briand, L. C.&Labiche, Y. A UML-Based Approach to System Testing UML' '01: Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 2001, 194--208 Google ScholarDigital Library
- Pretschner, A.; Philipps, J.: Methodological Issues in Model-Based Testing, in M. Broy, et. al. (Eds.), Model-Based Testing of Reactive Systems, no. 3472 in LNCS, Springer-Verlag, 2005, pp. 281--291Google Scholar
- A. Hartman: AGEDIS-Final Project Report, Deliverable 1.6, AGEDIS 1999-20218, February 2004Google Scholar
- Buchs D., Lucio, L., Chen, A.: Model Checking Techniques for Test Generation from Business Process Models. In: Kordon F., Kermarrec, Y. (eds.) Ada-Europe 2009. LNCS, vol. 5570, p. 59--74. Springer, Heidelberg (2009) Google ScholarDigital Library
Index Terms
- From design models to test models by means of test ideas
Recommendations
Regression test suite prioritization using system models
During regression testing, a modified system is often retested using an existing test suite. Since the size of the test suite may be very large, testers are interested in detecting faults in the modified system as early as possible during this retesting ...
Automatic generation of test models and properties from UML models with OCL constraints
OCL '12: Proceedings of the 12th Workshop on OCL and Textual ModellingModel-Based Testing and Property-Based Testing are two testing methodologies that usually facilitate the automation of the generation of test cases, using either models or properties as basis to derive complete test suites. In doing so, they also ...
State-based models in regression test suite prioritization
Testing software products is very expensive and time consuming, especially for large software systems with extensive regression testing. During regression testing, a modified system is often re-tested using an existing test suite. Since test suites can ...
Comments