Меню
x
Курсы
Проекты
Публикации
Новости
Блог
Страницы групп
Микро-ядро
Описание
Тестовое задание
Скачать
Search ...
Новости
Проекты
EMV-ядро
Платежные сервисы
Микро-ядро
Программное обеспечение для POS терминалов
Система управления автоматизированным парковочным комплексом sPARK
Генератор кода
Система временных рассуждений
Средство рассуждения на основе темпоральных прецедентов
Публикации
Курсы
Методы контроля программ
Распределенные системы и параллельные вычисления
CASE-технологии
Вычислительные машины, комплексы, системы и сети
Современные архитектуры крупных распределенных программных комплексов и систем
Блог
Информация
Информация для студентов и аспирантов
Как правильно сделать презентацию к выпускной работе
Структура пояснительной записки к выпускной работе
Страницы групп
Контакты
Главная
»
Курсы
»
Методы контроля программ
»
Лекции
Список лекций
Современное состояние дел в области разработки программного обеспечения
Надежность программного обеспечения
Семантика языков программирования
Введение в тестирование программного обеспечения
Организация ручного тестирования программного обеспечения
Системы регистрации ошибок
Автоматическое тестирование программного обеспечения
Модульное тестирование
Модульное тестирование баз данных
Автоматизация тестирования приложений через графический интерфейс пользователя
Coded UI Test
Автоматизация тестирования приложений через графический интерфейс пользователя – IBM Rational Functional Tester
Тестирование производительности – IBM Rational Performance Tester
Статический анализ кода
Динамический анализ кода
Автоматизация тестирования Web-приложений
Программирование без ошибок