IBM® Rational® Rhapsody® 提供了多种方法来测试和验证模型:
另外,还可以使用其中一款测试附件产品,如使用 TestConductor 和 Automatic Test Generation (ATG)所述。