- Тестирование софта
- Автоматизация процесса тестирования
- Средства поддержки процесса тестирования
- Обеспечение корректности тестового набора
- Максимизация числа различных подслов
- Построение абстрактной модели
- Генетические алгоритмы
- Проблемы организации тестовых наборов
- Представление тестовых данных
- Функциональное тестирование - UniTesK
- Автоматическая генерация позитивных
- Три цвета
- Тестирование на основе моделей
- Процесс разработки тестового сценария
- Что такое PDL
- Методы обеспечения переносимости ПО
- Классификация задач и ролей в RUP
- QT: интерфейс, и не только
- Обзор протокола Mobile IPv6
- База данных стандарта LSB
- Соблюдение программных стандартов
- Инженерный калькулятор
- TET (Test Environment Toolkit)
- Парное тестирование — возьмём от ХР лучшее
- Сравнение обходчиков UniTESK
- Стратегия модульного тестирования
- Подход UniTesK к разработке тестов
- Стандартизация Грид
- Краткий обзор технологии UniTesK
- Классификация тестируемых систем
- Методика автоматизированной проверки
- Верификация компиляторов
- Автоматическая генерация тестов
- Тестирование трансляторов
- Модель приложения
- Обзор технологии AVM
- Краткий обзор технологии UniTESK
- Функции IPv выбранные для тестирования
- Mодели аппаратного обеспечения
- Об одном методе сокращения набора тестов
- Разработка критериев анализа систем
