2002 · 29 citations · 4 references
ComputingComputer ScienceFormal MethodsSoftware EngineeringSystems ArchitectureExecutable System ModelsSoftware DesignSoftware TestingSpecification LanguagesUse Case AnalysisUse Case ModelingAbstract State MachinesFormal SyntaxTest Case GenerationTest CasesTest OraclesUse Case FormalizationUse Case TestingUse Cases
Use cases are a method for describing interactions between humans and/or systems. However, despite their popularity there is no agreed formal syntax and semantics of use cases. The Abstract State Machine Language (ASML) is an executable specification language developed at Microsoft Research. We define an encoding of use cases in ASML and demonstrate the advantages by describing techniques to generate test cases and test oracles from the encoding.
4
A Use Case Template: Draft for Discussion
Derek Coleman · 1998 · 27 citations
Edward V. Berard · 1995 · 24 citations
Using use cases in Executable Z
Wolfgang Grieskamp, Markus Lepper · 2002 · 24 citations
Formalising UML Use Cases in the Refinement Calculus
R. J. R. Back, Luigia Petre, Iván Porres · 1999 · 20 citations