Method to specify software functional requirements for system test case generation
Method to specify software functional requirements for system test case generation
In this paper, we propose the next version of Use-case Specification Language (USL) that allows us to formally specify each use case at the user's requirement level with a single model, and without using the detailed use case design. We also propose a formal specification method for the functional requirements. The formal requirement specification can be used to automatically generate system level test cases.