Question

我正在进行基于模型的测试，并且我已经使用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

Answer 1

由于您的查询似乎处理Model类的实例，您可以从org.eclipse.uml模型生成EMF（ecore）（创建genmodel并选择.uml文件作为源），然后使用Eclipse OCL执行您的查询，如这里描述：http://help.eclipse.org/galileo/index.jsp?topic=/org.eclipse.emf.query.doc/tutorials/oclQueryTutorial.html

在eclipse中从UML / OCL模型生成自动化测试用例

1 个答案: