This paper proposes a transformation-based method to automatically generate functional test cases from use cases named USLTG (Use case Specification Language (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 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 it with other recent works.

中文翻译：

---

USLTG：通过转换用例自动生成测试用例

本文提出了一种基于转换的方法，用于从名为 USLTG（基于用例规范语言 (USL) 的测试生成）的用例中自动生成功能测试用例。我们首先专注于开发一种名为测试用例规范语言（TCSL）的建模语言，以表达测试用例。TCSL 中的测试用例可以包含详细信息，包括测试步骤、步骤内的测试对象、测试对象的动作和测试数据。这些信息在当前可用的测试用例规范中经常被忽略。然后，我们的目标是通过对由 USL 表示的用例进行转换，在 TCSL 模型中生成测试用例。USLTG 转换包括生成 (1) 场景、(2) 测试数据和 (3) TCSL 模型的三个主要步骤。在我们的转变中，OCL求解器用于构建系统快照作为测试用例的一部分并识别其他测试数据。我们将我们的方法应用于两个案例研究，并通过将其与其他近期工作进行比较来评估我们的方法。