Automatic Test Case Generation for Context Based Multiplicity Checking in UML
Wei Feng Zhou, Xin Min Li, Sheng Qing Lv, Zhuo Zhang · Applied Mechanics and Materials · 2013
UML is considered as the standard for object-oriented modeling and design. Automatic test case generation is an important method for the verification and validation of UML specifications to reduce the development cost and help increase the reliability. In this paper, we present a method to model the specific constraints using context-based multiplicity, which defines on the instances of the class associated with the context, instead of using constraints defined informally or in OCL. Then, an algorithm is proposed to generation a set of test cases to verify the context-based multiplicity in an implementation. The example and implementation for a real system are also presented.