JavaTESK - инструмент для тестирования программного обеспечения, реализованного на языке Java.

JavaTESK реализует технологии UniTESK автоматизированного тестирования, основанного на спецификациях. Это разновидность функционального тестирования, целью которого является проверка поведения системы в различных условиях на соответствие требованиям.

До сих пор в инструментах, поддерживающие функциональное тестирование, использовались вручную разработанные описания тестов или результаты анализа кода. JavaTESK позволяет использовать формальное описание требований для генерации тестов.

Существенных ограничений на свойства тестируемого программного обеспечения нет. Однако применение JavaTESK наиболее эффективно при тестировании прикладных программных интерфейсов систем. В других случаях задача решается путем разработки промежуточного слоя программного обеспечения и применения JavaTESK к его прикладному интерфейсу.

JavaTESK повышает качество процесса разработки программного обеспечения за счет того, что тесты разрабатываются независимо от реализации на основе спецификаций требований. Опережающая разработка тестов позволяет сократить цикл разработки программного обеспечения и повышает качество тестирования. JavaTESK является мощным средством для проведения блочного и интеграционного тестирования.