Acceptance testing is crucial to determine whether a system fulfills end-user requirements. However, the creation of acceptance tests is a laborious task entailing two major challenges: (1) practitioners need to determine the right set of test cases that fully covers a requirement, and (2) they need to create test cases manually due to insufficient tool support. Existing approaches for automatically deriving test cases require semi-formal or even formal notations of requirements, though unrestricted natural language is prevalent in practice. In this paper, we present our tool-supported approach CiRA (Conditionals in Requirements Artifacts) capable of creating the minimal set of required test cases from conditional statements in informal requirements. We demonstrate the feasibility of CiRA in a case study with three industry partners. In our study, out of 578 manually created test cases, 71.8 % can be generated automatically. Additionally, CiRA discovered 80 relevant test cases that were missed in manual test case design. CiRA is publicly available at www.cira.bth.se/demo/.
翻译:验收测试对于确定一个系统是否满足最终用户要求至关重要,然而,建立验收测试是一项艰巨的任务,涉及两大挑战:(1) 从业人员需要确定一套完全满足要求的正确测试案例,(2) 由于工具支持不足,他们需要手工创建测试案例; 现有自动生成测试案例的方法要求对要求进行半正式甚至正式的评分,尽管在实际操作中普遍存在不受限制的自然语言; 在本文件中,我们介绍了我们的工具支持方法Cira(要求个体行为中的条件),能够根据非正式要求的有条件声明创建一套最起码的所需测试案例; 我们在与三个行业伙伴进行的案例研究中展示了Cira的可行性; 在我们的研究中,在578个人工生成的测试案例中,71.8%可以自动生成; 此外, Cira发现在人工测试案例设计中遗漏的80个相关测试案例。 Cira可在www.cira.bth.se/demo/上公开查阅。