Reusable use case and test case specification modeling

Typically, use case specifications are structured, unrestricted textual documents conforming to a use case template. Since use case models are mostly text-based, ambiguity is unavoidable. This tutorial will present a use case modeling approach, called Restricted Use Case Modeling (RUCM), consisting of distinct restriction rules and an adapted use case template. Our objectives are: (1) limit the way users specify use case specifications with the goal of decreasing ambiguity, (2) provide built-in mechanisms to support reuse of use case specifications, and (3) enable automated analyses, e.g., generation of UML models and test cases. Previously, we developed Zen-RUCM (a framework) composed of natural language-driven specification and modeling of requirements followed by generation of UML models and test cases. A chain of methodologies implemented in tools were developed and evaluated with real world case studies. These included: requirements modeling for real-time systems (RUCM4RT), test case specifications (RTCM) and automatic test case generation. This tutorial focuses on Zen-RUCM, RUCM, RUCM4RT, and RTCM methodologies, along with tool demonstration on real-world case studies. Particularly, we will focus on reuse of use case specifications, and test case specification.