Институт системного программирования им. В.П. Иванникова РАН


CTESK

CTESK - инструмент для тестирования программного обеспечения, реализованного на языке C. CTESK реализует технологию UniTESK автоматизированного тестирования, основанного на спецификациях. Инструмент позволяет использовать формальное описание требований для генерации тестов. CTESK повышает качество процесса разработки программного обеспечения за счет того, что тесты разрабатываются независимо от реализации на основе спецификаций требований. Опережающая разработка тестов позволяет сократить цикл разработки программного обеспечения и повышает качество тестирования. CTESK является мощным средством для проведения блочного и интеграционного тестирования.

Получить более подробную информацию о проекте можно здесь.

Разработчик/участник

Технологии программирования

Перейти к списку всех технологий