IBM® Rational® Rhapsody® は、モデルをテストして検査する方法を複数提供しています。
TestConductor および Automatic Test Generation (ATG) での作業で説明しているように、テスト用アドオン製品のいずれかを使用することもできます。