Каталог ПО

bin/test Средства тестирования программ
aunit AUnit - набор пакетов для написания тестов из семейства xUnit. Этот легкий в использовании модуль позволяет написать набор разносторонних тестов Вашей системы. Пользуясь этим модулем в процессе написания и развития системы Вы можете быстро проверить ее функциональность.
-Исходные тексты
1.01-2RPM for RedHat 7.x
gch gch (Gnat CHecker) - утилита проверки набора правил на множестве Ада текстов. В данной версии проверяются некоторые правила из книги "Ада 95. Качество и стиль" (Ada 95 Quality and Style).
-Исходные тексты
19990519-7RPM for RedHat 7.x
dtraq DTraq - утилита для отладки и тестирования приложений, позволяет протоколировать данные внутри Вашей программы и просматривать их, либо в режиме псевдореального времени, либо по окончанию выполнения приложения. Для этого предоставляется настраиваемая процедура Tap, сервер протоколирования и графическая утилита просмотра протоколов. Процедура Tap может быть использована в любом месте Вашей программы, с практически любым типом данных.
1.100Исходные тексты
.Документация
0.960-1RPM for RedHat 7.x
tg Программа tg, являясь своеобразным препроцессором, служить для тестирования ПО и позволяет компактно описывать множество тестов Вашей системы. Получаемая в результате работы tg процедура, выполняет поочередно эти тесты, контролируя резултаты вычислений и возникшие исключения.
3.1Исходные тексты
acats Набор тестов для проверки компиляторов языка Ада на соответствие стандарту.
-Исходные тексты 1
-Исходные тексты 2
-Исходные тексты 3
-Исходные тексты 4
-Исходные тексты 5
-Исходные тексты 6
-Исходные тексты 7
-Исходные тексты 8
2_5pДополнения