既存の JUnit テストのインポート

TPTP の外部に JUnit テストがすでにある場合、それらを TPTP JUnit テストにインポートできます。

ステップ 1

テストがすでに既存の Eclipse Java プロジェクト内にある場合は、ステップ 2 に進みます。

ステップ 2

インポート・ウィザードには、TPTP にインポートされていない、ワークスペース内のすべての既存の JUnit テスト・ケースが表示されることに注意してください。このリストが空である場合は、そのワークスペースに JUnit テストがないか、またはすべての既存の JUnit テスト・クラスがすでに TPTP にインポートされていることを意味します。