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