Automatic Test Case Generation for Context Based Multiplicity Checking in UML

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.

• Periodical: Applied Mechanics and Materials (Volumes 433-435)
• Pages: 1643-1648
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.433-435.1643
• Online since: October 2013
• Authors: Wei Feng Zhou, Xin Min Li, Sheng Qing Lv, Zhuo Zhang*
• Keywords: Automatic Test Case Generation, Multiplicity, Object Navigation, UML Based Testing

References

[1] Samuel, P., Mall, R., & Kanth, P. (2007). Automatic test case generation from UML communication diagrams. Information and software technology, 49(2), 158-171.

DOI: 10.1016/j.infsof.2006.04.001

[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.

DOI: 10.1007/3-540-46852-8_30

[6] Génova, G., Llorens, J., & Martínez, P. (2001). Semantics of the minimum multiplicity in ternary associations in UML. In UML 2001—The Unified Modeling Language. Modeling Languages, Concepts, and Tools (pp.329-341). Springer Berlin Heidelberg.

DOI: 10.1007/3-540-45441-1_25

[7] Cabot, J., & Teniente, E. (2007). Transformation techniques for OCL constraints. Science of Computer Programming, 68(3), 179-195.

DOI: 10.1016/j.scico.2007.05.001

[8] Brucker, A. D., Krieger, M. P., Longuet, D., & Wolff, B. (2011). A specification-based test case generation method for UML/OCL. In Models in Software Engineering (pp.334-348). Springer Berlin Heidelberg.

DOI: 10.1007/978-3-642-21210-9_33

[9] André, P., Romanczuk, A., Royer, J. C., & Vasconcelos, A. (2000, January). Checking the Consistency of UML Class Diagrams Using Larch Prover. In Rigorous Object-Oriented Methods.

DOI: 10.14236/ewic/room2000.1

[10] Britton, J. P., & Devos, A. N. (2005). CIM-based standards and CIM evolution. Power Systems, IEEE Transactions on, 20(2), 758-764.

DOI: 10.1109/tpwrs.2005.846202

[11] Uslar, M., Specht, M., Rohjans, S., Trefke, J., & González, J. M. V. (2012). Examples of Using the CIM. In The Common Information Model CIM (pp.127-148). Springer Berlin Heidelberg.

DOI: 10.1007/978-3-642-25215-0_5

[12] DMTF, Inc. (2010). DSP1002 Diagnostics Profile 2. 0. 0. Retrieved from http: /www. dmtf. org/sites/default/files/standards/documents/DSP1002_2. 0. 0_0. pdf.