ГБПОУ СПО «Тулунский аграрный техникум» УТВЕРЖДАЮ: Зам. директора по учебной работе

Реклама
ГБПОУ СПО «Тулунский аграрный техникум»
УТВЕРЖДАЮ:
Зам. директора по учебной работе
______________ Щербакова И.П.
Подпись
.
«____»_______________2014г.
КАЛЕНДАРНО – ТЕМАТИЧЕАСКИЙ ПЛАН
На 2014-2015 учебный год
Дисциплина(МДК) 03.02 Инструментальные средства разработки программного обеспечения
Курс 4 группа а
Специальность/профессия 230115 «Программирование в компьютерных системах»
Ф.И.О. руководителя практики Бернацкий Денис Александрович
Общее число часов по учебному плану 70 часов
Календарно тематический план составлен на основании программы ПМ утверждённой методическим советом
«___» _______ 20__г. протокол № ____
Рассмотрен и обсуждён ПЦК №___
«___» сентября 20__г.
Протокол № 1
Председатель ПЦК________________
№
занятия
Наименование разделов и тем
Колво
часов
Раздел 2.
МДК 2.
1
Отладка и тестирование программных модулей
Инструментальные средства разработки программного обеспечения
Инструменты разработки программных средств. Принципы построения инструментальных
средств, ориентированных на создание программного обеспечения. Редакторы, анализаторы,
преобразователи,- инструменты, поддерживающие процесс выполнения программ.
Инструментальные среды разработки и сопровождения программных средств: среды
программирования, рабочие места компьютерной технологии, инструментальные системы
технологии программирования.
Инструментальные среды программирования: среды общего назначения, языковоориентированные среды.
Программная поддержка для разработки графических требований и графических спецификаций
ПС, Автоматическая генерация программ на каком-либо языке программирования или в
машинном коде. Программная поддержка прототипирования.
Автоматизированный контроль спецификаций: комплексность, ориентированность на
коллективную разработку, технологическая определенность, интегрированность
Инструменты программной инженерии: инструменты работы с требованиями, инструменты
проектирования инструменты конструирования инструменты тестирования, инструменты
сопровождения инструменты конфигурационного управления, инструменты управления
инженерной деятельностью, инструменты поддержки процессов, инструменты обеспечения
качества, дополнительные аспекты инструментального обеспечения. Методы программной
инженерии: Эвристические методы, Формальные методы, Методы прототипирования
Инструментальные среды разработки и сопровождения программных средств
Инструменты конструирования
Инструменты обеспечения качества
Основные понятия. Стратегия проектирования тестов. Заповеди отладки. Автономная отладка и
тестирование программного модуля. Комплексная отладка и тестирование программного
средства.
Отладка. Виды ошибок. Обнаружение ошибок Методы отладки. Отладка с использованием
специализированного программного средства.
Отладка программного модуля
Методы отладки
Тестирование программного обеспечения - основные понятия и определения: тестирование
программного обеспечения, верификация, валидация, план тестирования, тест дизайн, тестовый
случай, баг/дефект, репорт, тестовое покрытие, детализация, тест кейсов, время прохождения.
Виды тестирования программного обеспечения. Функциональные виды тестирования: функциональное
тестирование, тестирование безопасности, тестирование взаимодействия, нефункциональные
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Вид УЗ
Баллы за
учебную
работу
на УЗ
Баллы
за
посещае
мость
146
70
2
Лекция
1
1
2
Лекция
1
1
2
Лекция
1
1
2
Лекция
1
1
2
Лекция
1
1
2
Лекция
1
1
2
2
2
2
П\Р
П\Р
П\Р
Лекция
2
2
2
1
1
1
1
1
2
Лекция
1
1
2
2
2
П\Р
П\Р
Лекция
2
2
1
1
1
1
2
Лекция
1
1
Приме
чания
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
виды тестирования. Все виды тестирования производительности: нагрузочное тестирование,
стрессовое тестирование, тестирование стабильности или надежности, объемное тестирование
Тестирование установки. Тестирование удобства пользования. Тестирование на отказ и
восстановление Конфигурационное тестирование: связанные с изменениями виды
тестирования, дымовое тестирование, регрессионное тестирование, тестирование сборки,
санитарное тестирование или проверка согласованности/исправности
Концепции и реализация программных процессов. Принципы верификации и тестирования
программ.
Процессы и средства тестирования программных компонентов. Технологические этапы и
стратегии систематического тестирования программ. Процессы тестирование структуры
программных компонентов.
Примеры оценок сложности тестирования программ. Тестирование обработки потоков данных
программными компонентами Разработка тестовых наборов и сценариев.
Тестирование программных продуктов
Язык скриптов
Разработка тестовых наборов и сценариев
Тестирование: элементы интерфейса и их функции
Работа с различными функциями
Метрология. Критерии качества комплексов программ. Схема взаимодействия основных
критериев качества программ. Методы получения программного кода с заданной точностью
Зависимость эффективности затрат на единицу времени от этапов жизненного цикла
комплексов программ. Корректность программных средств. Основные виды корректности
комплексов программ. Схема взаимодействия компонент, определяющих обнаруживаемые
отклонения программ от эталонов.
Типы эталонов и методы проверки корректности программ. Методы получения эталонных
значений. Блок-схема системы верификации программных модулей. Общая схема отладки
программы. Классификационная схема ошибок.
Сложность программного обеспечения. Схема взаимодействия показателей вычислительной
сложности и основные факторы, влияющие на их значения. Определение характеристик
сложности Надежность программных средств.
Принципы верификации и аттестации программ. Верификация и валидация. Характеристики
качества программного обеспечения. Место верификации в жизненном цикле ПО. Методы
верификации программного обеспечения: Экспертиза. Статический анализ. Формальные методы
верификации. Динамические методы верификации. Синтетические методы
Задачи метрологической аттестации программного обеспечения. Классификация задач
метрологической аттестации программного обеспечения. Требования к средствам измерений,
касающиеся применения их программного обеспечения.
Методы аттестации программного обеспечения. Анализ документации. Аттестация методом
функциональной проверки метрологических свойств. Аттестация методом функциональной
проверки свойств программного обеспечения. Анализ потоков метрологических данных.
Испытания модулей программного обеспечения. Процедура аттестации. Оценка уровней
серьезности ошибок, степени жесткости испытаний и выбор классов риска
Критерии качества программного продукта
2
Лекция
1
1
2
Лекция
1
1
2
Лекция
1
1
2
Лекция
1
1
2
2
2
2
2
2
П\Р
П\Р
П\Р
П\Р
П\Р
Лекция
2
2
2
2
2
1
1
1
1
1
1
1
2
Лекция
1
1
2
Лекция
1
1
2
Лекция
1
1
2
Лекция
1
1
2
Лекция
1
1
2
Лекция
1
1
2
П\Р
2
1
33
34
35
Получение эталонных значений качества программного продукта
Проведение верификации и валидации программного обеспечения
Проведение аттестации
Итого
2
2
2
70
П\Р
П\Р
П\Р
2
2
2
1
1
1
Скачать