我正在做基于模型的测试，我已经使用 UML 图对我的应用程序进行了建模，并且还编写了使用 OCL 进行测试的所有约束，我想知道是否有 eclipse 的工具或插件可以帮助从 UML/OCL 模型生成测试用例可用于黑盒测试。（提前致谢）
' @Christian 感谢您的回复，下面是我的 OCL 表达式的一部分
post: numberOfTrials = numberOfTrials@pre + 1
and if userPin = customer.card.pin and numberOfTrials <= 3
then pinAccepted and result = PinResult::Correct
else not pinAccepted
and if numberOfTrials <= 3
then result = PinResult::Wrong
else result = PinResult::Abort
endif
endif
context ATMController::withdraw(amount:Real) : Boolean
pre: pinAccepted
post: if (amount <= customer.account.balance)
then customer.account.balance =
customer.account.balance@pre - amount
and result = true
else customer.account.balance =
customer.account.balance@pre
and result = false
endif
'