학술논문
Validating use-cases with the AsmL test tool
Document Type
Conference
Author
Source
Third International Conference on Quality Software, 2003. Proceedings. Quality software Quality Software, 2003. Proceedings. Third International Conference on. :238-246 2003
Subject
Language
Abstract
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper, we discuss how the AsmL test tool, a new component of the AsmL tool environment, is used to generate finite state machines from use-case models which can be used for validation purposes or for testing.