Christian Pfaller
ABSTRACT
In model-based testing a test case specification is used to determine the set of test cases to be generated automatically. This paper introduces a requirements-based test case specification which uses information gathered by reasoning about the construction of the model. The basic idea is to reason about the motivation why an element of the model was introduced. This reasoning about model construction leads to specific restrictions of the model for every requirement; the restricted models are used for requirements-based test case generation. The paper gives a formal specification of the requirements-based test case specification TSpecREQ based on Mealy machines and outlines its usage in a development process where the requirements specifications given by various stakeholders are considered as well.
- A. Gargantini and C. Heitmeyer. Using model checking to generate tests from requirements specifications. Proc. of ESEC/FSE'99: 7th European Software Engineering Conference, Toulouse, France, pages 146--162, 1999. Google Scholar
Digital Library
- J. Grabowski, D. Hogrefe, and R. Nahm. Test case generation with test purpose specification by mscs. In O. Faergemand and A. Sarma, editors, SDL'93 - Using Objects, North-Holland, Oct. 1993.Google Scholar
- G. Hamon, L. de Moura, and J. Rushby. Generating efficient test sets with a model checker. In Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on, pages 261--270, 2004. Google ScholarDigital Library
- D. Harel. Statecharts: A visual formulation for complex systems. Sci. Comput. Program., 8(3):231--274, 1987. Google ScholarDigital Library
- J. Hartmann, S. Rittmann, D. Wild, and P. Scholz. Formal incremental requirements specification of service-oriented automotive software systems. In Service-Oriented System Engineering, 2006. SOSE '06. Second IEEE International Workshop, pages 130--133, 2006. Google ScholarDigital Library
- M. Heimdahl, G. Devaraj, and R. Weber. Specification test coverage adequacy criteria = specification test generation inadequacy criteria? In High Assurance Systems Engineering, 2004. Proceedings. Eighth IEEE International Symposium on, pages 178--186, 2004. Google ScholarDigital Library
- F. Houdek and B. Paech. Das Türsteuergerät - Ü eine Beispielspezifikation. IESE-Report 002.02/D, Fraunhofer Institut Experimenteles Software Engineering (IESE), Kaiserslautern, Germany, Jan. 2002.Google Scholar
- International Telecommunication Union (ITU). ITU-T Recommendation Z.120, Messege Sequence Chart (MSC). Geneva, Switzerland, Apr. 2004.Google Scholar
- G. H. Mealy. A method for Synthesizing Sequential Circuits. Bell System Technical Journal, 34(5):1045--1079, Sept. 1955.Google ScholarCross Ref
- Object Managment Group, Inc. UML Superstructure Specification, v2.0. Needham, formal/05-07--04 edition, July 2005.Google Scholar
- C. Pfaller, A. Fleischmann, J. Hartmann, M. Rappl, S. Rittmann, and D. Wild. On the integration of design and test: a model-based approach for embedded systems. In AST '06: Proceedings of the 2006 international workshop on Automation of software test, pages 15--21, New York, NY, USA, 2006. ACM Press. Google ScholarDigital Library
- A. Pretschner. Zum modellbasierten funktionalen Test reaktiver Systeme. PhD thesis, Technische Universität München, Fakultät für Informatik, 2003.Google Scholar
- 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 ICSE '05: Proceedings of the 27th international conference on Software engineering, pages 392--401, 2005. Google ScholarDigital Library
- A. Pretschner, O. Slotosch, E. Aiglstorfer, and S. Kriebel. Model-based testing for real. International Journal on Software Tools for Technology Transfer (STTT), 5(2-3):140--157, Mar. 2004. Google ScholarDigital Library
- S. Rayadurgam and M. Heimdahl. Coverage based test-case generation using model checkers. In Engineering of Computer Based Systems, 2001. ECBS 2001. Proceedings. Eighth Annual IEEE International Conference and Workshop on the, pages 83--91, 2001.Google ScholarCross Ref
- S. Rayadurgam and M. Heimdahl. Generating mc/dc adequate test sequences through model checking. In Software Engineering Workshop, 2003. Proceedings. 28th Annual NASA Goddard, pages 91--96, 2003.Google ScholarCross Ref
- M. W. Whalen, A. Rajan, M. P. Heimdahl, and S. P. Miller. Coverage metrics for requirements-based testing. In ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis, pages 25--36, New York, NY, USA, 2006. ACM Press. Google ScholarDigital Library
Index Terms
- Requirements-based test case specification by using information from model construction
Recommendations
On the integration of design and test: a model-based approach for embedded systems
AST '06: Proceedings of the 2006 international workshop on Automation of software testOne of the most crucial questions concerned with model-based testing is how to find "interesting" test cases. We consider test cases to be interesting if firstly, they cover the user requirements and secondly, they have a high probability to find ...
Formal scenario-based requirements specification and test case generation in healthcare applications
SEHC '10: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health CareIn complex medical devices, many features are realized by software. As these devices are safety-critical, the healthcare industry has to ensure a high quality of their products.
Today, the system requirements are usually specified in form of use cases ...
Symbolic Model-based Test Selection
This paper addresses the problem of model-based off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of reactive systems. Efficient solutions to this problem have been ...
Comments