Affiliation:
1. Shanghai Branch of China Telecom Co., Ltd
2. Shanghai University
3. IBM
Abstract
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.
Publisher
Trans Tech Publications, Ltd.
Reference12 articles.
1. Samuel, P., Mall, R., & Kanth, P. (2007). Automatic test case generation from UML communication diagrams. Information and software technology, 49(2), 158-171.
2. Tan, H. B. K., Yang, Y., & Bian, L. (2006). Improving the Use of Multiplicity in UML Association. Journal of Object Technology, 5(6), 127-132.
3. Rybola, Z., & Richta, K. (2011). Transformation of Binary Relationships with Particular Multiplicity. In DATESO (pp.25-38).
4. Wang, Y., & Zheng, M. (2012, April). Test Case Generation from UML Models. In 45th Annual Midwest Instruction and Computing Symposium, Cedar Falls, Iowa (Vol. 4).
5. Offutt, J., & Abdurazik, A. (1999). Generating tests from UML specifications. In UML '99—The Unified Modeling Language (pp.416-429). Springer Berlin Heidelberg.