Технологические аспекты контроля качества программных систем .
Лектор: к.ф.-м.н. В. В. Кулямин
Весной 2012 года проводится по пятницам, с 17 февраля, в 08:45 в аудитории 707. Экзамен состоялся 27.04.2012 в 08:45 в аудитории 707. Выложены результаты экзамена. |
Спецкурс предназначен для студентов 3-5 курсов, приглашаются все, интересующиеся затрагиваемыми в нем вопросами .
Курс знакомит слушателей с основными проблемами проверки качества сложных программных систем и современными подходами к их решению на основе тестирования. Рассматриваются как классические техники построения тестов на основе разбиения ситуаций на классы эквивалентности, а также использующие конечные автоматы и комбинаторные схемы, так и более пригодные для систем реальной сложности интегрированные подходы.
Слушатели получат хорошее представление о тестировании на основе моделей - новой, динамично развивающейся области на границе между теоретической информатикой и программной инженерией, и о его практических приложениях.Качество ПО и методы его контроля. Определение тестирования и его сравнение с другими методами контроля качества ПО. Виды тестирования.
Основные задачи тестирования. Проблемы оракула, оценки и обеспечения полноты тестов. Анализ результатов. Управление тестами и повторное использование тестов. Регрессионное тестирование. Организация тестовых наборов. Тестовые адаптеры. Шаблоны организации тестов.
Критерии полноты тестирования. Функциональные и структурные критерии. Покрытие потока управления - инструкций, ветвей, комбинаций логичсеких условий. Покрытие потока данных - пары определение-использование. Покрытие сценариев взаимодействия. Покрытие входных данных. Покрытие правил. Доменное тестирование.
Модели, используемые при тестировании. Виды моделей.
Вероятностные модели и вероятностные техники тестирования.
Комбинаторные техники тестирования.Тестирование на основе грамматик. Покрывающие наборы. Последовательности де Бройна.
Автоматные модели. Виды автоматов и систем переходов. Различные способы идентификации состояний конечного автомата. Методы построения тестов на основе автоматных моделей - W, D, UIO, Wp-методы. Минимизация тестовых наборов. Автоматные модели распределенных систем.
Интегрированные подходы. Элементы технологии UniTESK. Программные контракты. Уточнение и формализация требований. Построение сценария теста на основе требований и заданного критерия полноты тестирования. Архитектура тестового набора UniTESK. Организация тестирования распределенных систем. Семантика чередования. Событийные контракты.
В этом документе перечислены варианты вопросов, которые могут быть в экзаменационных билетах.
| Дата | Ссылка |
|---|---|
| 2012 год, весенний семестр (27 апреля 2012, 8:45, ауд. 707) | Результаты |
| 2011 год, весенний семестр (25 апреля 2011, 16:20, ауд. 653) | Результаты |
| 2009 год, осенний семестр (30 ноября 2009, 16:20, ауд. 613) | Результаты |
| 2009 год, весенний семестр (5 мая 2009, 8:45, ауд. 607) | Результаты |
| 2008 год, весенний семестр (5 мая 2008, 16:20, ауд. 713) | Результаты |
| 2007 год, весенний семестр (8 мая 2007, 16:20, ауд. 606) | Результаты |
Эти документы представляют базовый материал курса, который может как-то перераспределяться между реальными лекциями.
| Название | Ссылка |
|---|---|
| Качество программного обеспечения и методы его контроля | Lecture01.pdf |
| Основные задачи и виды тестирования | Lecture02.pdf |
| Критерии полноты тестирования | Lecture03.pdf |
| Виды моделей и техники, используемые для построения тестов | Lecture04.pdf |
| Комбинаторные методы построения тестов | Lecture05.pdf |
| Автоматные методы построения тестов. Основные понятия | Lecture06.pdf |
| Автоматные методы построения тестов. Продолжение | Lecture07.pdf |
| Основы технологии разработки тестов UniTESK | Lecture08.pdf |
| Основы технологии разработки тестов UniTESK. Продолжение | Lecture09.pdf |
| Все лекции сразу |
Если у Вас есть вопросы, замечания или пожелания к этому курсу, пишите на форум.