ТЕСТИРОВАНИЕ
Pathfinder для Java
НАСА выпустило в общий доступ систему Java Pathfinder (javapathfinder. sourceforge.net), которая совершенствуется уже в течение шести лет и умеет находить ошибки в исходных Java-текстах. Так, с её помощью разработчики отыскали немало багов в ПО шестиколесного марсохода K9 и в бортовом диагностическом комплексе Livingstone 2 спутника EO-1.
Java Pathfinder не только указывает на потенциальную логическую ошибку в тексте, но и выводит информацию о пошаговом процессе, связанном с её обнаружением.