论文信息 - Using UML Environment Models for Test Case Generation - 字舞流文

Using UML Environment Models for Test Case Generation

We propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to illustrate the method.

Maritta Heisel | Denis Hatebur | Thomas Santen | Dirk Seifen

[1] Michael A. Jackson,et al. Problem Frames - Analysing and Structuring Software Development Problems , 2000 .

[2] James Bret Michael,et al. Environment behavior models for scenario generation and testing automation , 2005, A-MOST.

[3] Jan Tretmans,et al. Testing Transition Systems: An Annotated Bibliography , 2000, MOVEP.

[4] Dirk Seifert,et al. TEAGER - Test Automation for UML State Machines , 2006, Software Engineering.

[5] Jan Tretmans,et al. Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.

[6] Rocco De Nicola,et al. Testing Equivalences for Processes , 1984, Theor. Comput. Sci..

[7] Fevzi Belli,et al. Holistic testing with basic statecharts , 2007, Software Engineering.