Мы представляем технологию UniTESK - унифицированное решение для промышленного тестирования и обеспечения качества программного обеспечения. Технология UniTESK пронизывает весь жизненный цикл разработки программного обеспечения от сбора и анализа требований до сопровождения. Основанная на опыте реальных промышленных проектов в компаниях со сложившейся культурой разработки, технология UniTESK не требует для внедрения коренной перестройки процессов, она легко сочетается с другими подходами к тестированию и обеспечению качества, обогащая их возможности и обогащаясь при этом сама. Красной нитью сквозь все элементы технологии UniTESK проходит прослеживаемость требований от этапа анализа потребностей пользователей до выпуска конечного продукта.
Тренинги по применению UniTESK для тестирования ПО и аппаратуры
21.05.2010 г.
С 7 по 11 июня в Институте системного программирования РАН пройдет два тренинга по технологии UniTESK:
"Функциональная верификация HDL-моделей аппаратного обеспечения с помощью инструмента CTESK" Тренинг предназначен для разработчиков и верификаторов цифрового аппаратного обеспечения. Практические занятия тренинга нацелены на освоение следующих навыков: формальной спецификации модулей аппаратуры, связывания формальных спецификаций с HDL-моделями, автоматической генерации последовательностей тестовых воздействий, оценки качества тестирования в терминах формальных спецификаций. Требования к участникам: Владение языком программирования Си, знакомство с одним из языков описания аппаратуры (VHDL, Verilog).
"Тестирование на основе моделей с помощью инструмента CTESK" Тренинг предназначен для тестировщиков программного обеспечения, обладающего программным интерфейсом на языке программирования Си. Практические занятия тренинга нацелены на освоение следующих навыков: формальной спецификации требований к ПО, автоматической генерации последовательностей тестовых воздействий, оценки качества тестирования в терминах формальных спецификаций. Требования к участникам: Владение языком программирования Си.
Дополнительную информацию по инструменту CTESK можно найти в разделе Документация.
Продолжительность каждого из тренингов 5 дней (по 8 часов). Стоимость участия в тренинге - 25 тыс. рублей. При участии нескольких человек от одной организации предоставляются скидки. По вопросам участия обращайтесь к Александру Константиновичу Петренко по тел. (495)912-53-17 доб. 4404 или по электронной почте
Открыт проект SemaTESK по тестированию семантических анализаторов
31.03.2010 г.
В ИСП РАН разработан метод SemaTESK (Semantics Testing Kit) автоматической генерации множеств тестов для фронт-эндов в трансляторах. Метод ориентирован на тестирование анализаторов статической семантики. Наиболее известные методы генерации семантических тестов работают путем фильтрации предварительно сгенерированных более или менее случайным образом синтаксических тестов. В отличие от этих методов, SemaTESK позволяет непосредственно генерировать тесты для контекстных условий. Это очень ощутимо сокращает время генерации и позволяет достигать соответствующие критерии полноты. Метод SemaTESK специфицирования статической семантики позволяет формализовать неформальные требования, содержащиеся в нормативных документах (например, в стандартах). Метод включает в себя язык SRL для компактного формального специфицирования контекстных условий. Метод инструментально поддерживается прототипным генератором STG для эффективной генерации множеств тестов из SRL-спецификаций. Метод SemaTESK был успешно применен в ряде проектов, в том числе по тестированию анализаторов статической семантики языков C и Java.
Выпущена версия 2.3 инструмента разработки тестов JavaTESK, поддерживающего технологию UniTESK для платформы Java. Основные изменения:
Расширены возможности моделирования асинхронных взаимодействий. Введена конструкция expect event для быстрого создания тестов асинхронных систем в стиле TTCN. Улучшено управление состоянием модели.
Добавлена возможность генерации документации по javadoc комментариям в спецификациях.
В отчетах о тестировании найденные ошибки группируются по типам, известные (ранее найденные и занесенные в базу) ошибки отделяются от вновь возникших.
В отчетах о тестировании улучшено представление значений объектов, возникших в ходе тестирования (например, параметров и возвращаемых значений методов).
Инструмент JavaTESK 2.3 можно скачать на странице Скачать.
