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 users 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.
Nội dung trích xuất từ tài liệu:
Method to specify software functional requirements for system test case generation