Вы здесь

Главная

Труды ИСП РАН

Связанные издания:

Генерация тестовых данных для системного функционального тестирования микропроцессоров с учетомкэширования и трансляции адресов
Генерация тестовых программ для подсистемы управления памятью микропроцессора
Инфраструктура тестирования веб-сервисов на базе технологии TTCN-3 и платформы .NET
Направленная генерация тестовых данных для анализаторов статической семантики
Организация сложных тестовых наборов
Полное тестирование с открытым состоянием ограниченно недетерминированных систем
Применение технологии UniTESK для функционального тестирования инфраструктурного ПО Грид
Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения
Тестирование с преобразованием семантик