TY - JOUR ID - SisLab3580 UR - https://www.worldscientific.com/doi/abs/10.1142/S0218194019500414 IS - 9 A1 - Chu, Minh Hue A1 - Dang, Duc Hanh A1 - Nguyen, Ngoc Binh A1 - Truong, Anh Hoang Y1 - 2019/10// N2 - This paper proposes a transformation-based method to automatically generate functional test cases from use cases named USLTG (USL-based Test Generation). We first focus on developing a modeling language named Test Case Specification Language (TCSL) in order to express test cases. Test cases in TCSL can contain detailed information including test steps, test objects within steps, actions of test objects, and test data. Such information is often ignored in currently available test case specifications. We then aim to generate test cases in a TCSL model by a transformation from use cases that are represented by a Use case Specification Language (USL). The USLTG transformation includes three main steps, in generating: (1) scenarios, (2) test data, and (3) a TCSL model. Within our transformation, the OCL solver is employed in order to build system snapshots as the part of test cases and to identify other test data. We applied our method to two case studies and evaluated our method by comparing with other recent works. PB - World Scientific Publishing JF - International journal of software engineering and knowledge engineering (IJSEKE) VL - 29 SN - 0218-1940 TI - USLTG: Test Case Automatic Generation by Transforming Use Cases SP - 1313 AV - none EP - 1345 ER -