期刊名称：Oriental Journal of Computer Science and Technology
印刷版ISSN：0974-6471
出版年度：2008
卷号：1
期号：2
页码：107-116
语种：English
出版社：Oriental Scientific Publishing Company
摘要：This paper presents an architecture for model-based verification and testing using a profile of the Unified Modeling Language (UML). Class, object, and state diagrams are used to define essential models: descriptions that are relatively complete. Object and state diagrams are used to introduce test directives. Models written in this profile may be compiled into a tool language: the Intermediate Format (IF). Descriptions written in IF can be animated, verified, and used to generate tests. As well as defining the profile for UML, the paper explains the basis of the compilation into IF, and reports upon the problems encountered.
Loading...
