|
CTESK - инструмент для тестирования программного обеспечения, реализованного на языке C.
CTESK реализует технологию UniTESK автоматизированного тестирования, основанного на спецификациях. Это разновидность функционального тестирования, целью которого является проверка поведения системы в различных условиях на соответствие требованиям.
До сих пор в инструментах, поддерживающие функциональное тестирование, использовались вручную разработанные описания тестов или результаты анализа кода. CTESK позволяет использовать формальное описание требований для генерации тестов.
Существенных ограничений на свойства тестируемого программного обеспечения нет. Однако применение CTESK наиболее эффективно при тестировании прикладных программных интерфейсов систем. В других случаях задача решается путем разработки промежуточного слоя программного обеспечения и применения CTESK к его прикладному интерфейсу. Инструменты, подобные CTESK, применяются к программному обеспечению с повышенными требованиями к надежности. Поэтому наиболее перспективными областями применения CTESK являются:
- Критическое программное обеспечение (встроенные системы, системы управления промышленным производством, медицинские системы мониторинга);
- Системное программное обеспечение (компоненты, реализующие службы ОС, веб-серверы);
- Телекоммуникационное программное обеспечение;
- Любое программное обеспечение, соответствующее стандартам (протоколы, интернет-приложения).
CTESK повышает качество процесса разработки программного обеспечения за счет того, что тесты разрабатываются независимо от реализации на основе спецификаций требований. Опережающая разработка тестов позволяет сократить цикл разработки программного обеспечения и повышает качество тестирования. CTESK является мощным средством для проведения блочного и интеграционного тестирования. |
