Coverage of OCL Operation Specifications and Invariants
Coverage of OCL Operation Specifications and Invariants
复制标题
OCL 操作规范和不变量的覆盖范围
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
R. Drechsler
中科院分区：
文献类型：
--
作者：
Mathias Soeken;J. Seiter;R. Drechsler
我们考虑的是类图中的 OCL 操作规范和不变式相对于序列图的操作覆盖率。覆盖标准基于从序列图中执行的操作及其断言的 OCL 子表达式。我们提出了一种算法，可自动生成一组序列图，以最大限度地提高这些覆盖标准。为此，我们使用了模型查找器。因此，还可以分别确定永远无法执行和断言的操作和约束。我们的算法已在 UML 规范工具 USE 中实现。
We consider operation coverage of OCL operation specifications and invariants in class diagrams with respect to sequence diagrams. The coverage criteria are based on the operations that are executed from the sequence diagrams and their asserted OCL subexpressions. We propose an algorithm that automatically generates a set of sequence diagrams in order to maximise these coverage criteria. A model finder is leveraged for this purpose. As a result, also operations and constraints can be determined that can never be executed and asserted, respectively. Our algorithm has been implemented in the UML specification tool USE.