Тесты JUnit TPTP можно создать вручную, либо путем импорта в TPTP существующих тестов JUnit. Функция настройки алгоритма применима только в том случае, если тест JUnit TPTP создан вручную.
Обратите внимание на то, что перед созданием теста JUnit следует создать проект Java.
Обратите внимание на то, что информацию на второй и третьей страницах мастера указывать не обязательно (т.е. завершить мастер можно на первой странице). Различие информации, запрашиваемой на первой и второй страницах заключается в следующем: на первой странице следует указать имя и расположение исходного кода, а на второй - имя и расположение теста TPTP (модели). По умолчанию им присвоено одно и то же значение.
(C) Copyright IBM Corporation 2000, 2006.Все права защищены.