摘要：The aim of this paper is to describe a systematic way to construct tests from a formal software specification for validating a system implementation. In order to achieve this goal, the specification could be extended to create UML states that directly address those aspects of the system we wish to test. The presented technique generates test cases from UML communication and state machine diagrams which allow testing a correct class integration of objectoriented software. UML state machine diagrams provide a good way for test generation in a form that can be easily manipulated. The concept of the technique and an example model are presented.
