Publikace na Ústřední knihovna, Matematicko-fyzikální fakulta |
2015
Abstrakt
Use-cases are a well-known technique for capturing functional requirements. Their advantage is the understand ability for a wide range of stakeholders.
With a growing number of use-cases and their continuous refactoring, inconsistencies inevitably sneak in. This problem has been targeted in the Formal Verification of Annotated Textual Use-Cases (FOAM) tool that runs lightweight formal verification of temporal invariants in use-cases.
This paper presents the usability of our tool using a real-life case study of a system for managing applications on a PaaS cloud platform. In particular, we show how the development and refactoring is supported by our tool and the types of errors that can be discovered early.