Generating OCL Constraints from Test Case Schemas For Testing Model Behavior
Lecture Notes in Computer Science - Trang 62-68 - 2018
Tóm tắt
This contribution studies testing behavioral aspects of a given UML and OCL model. In our approach, a so-called model validator can automatically generate test cases (object models) by using configurations for the object models and manually formulated OCL...