Партнерка на США и Канаду по недвижимости, выплаты в крипто
- 30% recurring commission
- Выплаты в USDT
- Вывод каждую неделю
- Комиссия до 5 лет за каждого referral
Федеральное агентство по образованию
Бийский технологический институт (филиал)
Государственного образовательного учреждения высшего профессионального образования
«Алтайский государственный технический университет им. »
(БТИ АлтГТУ)
Утверждаю
Декан факультета
______________
«___»______________200 г.
Рабочая программа
Кафедра Информационных и управляющих систем____________________
(наименование кафедры, обеспечивающей преподавание дисциплины)
Шифр и
наименование
дисциплины ЕН. В.02 Технология программирования_______________
(шифр с указанием цикла подготовки – ГСЭ, ЕН, ДС, ОПД, СД, наименование дисциплины)
Статус дисциплины _________________Элективный _
(обязательная, элективная, факультативная)
Специальности (направления) _________080801_______________________ ____________
(коды специальностей (направлений))
Формы обучения ___________________Дневная _
(дневная, вечерняя, заочная)
Объем дисциплины _____ 100_часов_ _______________________________
(общий объем дисциплины, час.)
Распределение по семестрам
Номер семестра | Занятия | Число курсовых проектов (работ), Расчетных заданий | Форма итоговой аттестации | |||||
Общий объем | Аудиторные | СРС | ||||||
Всего | Лекции | Лабораторные | Практи-ческие | |||||
II | 100 | 51 | 17 | 34 | 0 | 49 | Расчетн. | Зачет. |
Рабочая программа составлена на основании
Государственного образовательного стандарта высшего профессионального образования (номер государственной регистрации 52 мжд/сп от 14. 03. 2000 г.)
Разработчик доцент ____
Рабочая программа обсуждена на заседании кафедры
Информационных и управляющих систем___________________________
«______»_______________200 г.
Заведующий кафедрой
(подпись, Ф. И.О)
Согласована с профилирующей (ими) кафедрой(ами):
«_____»_________________200 г. ____________________________________________________
(наименование кафедры)
Заведующий кафедрой _
(подпись, Ф. И.О)
«_____»_________________200 г.____________________________________________________
(наименование кафедры)
Заведующий кафедрой _
(подпись, Ф. И.О)
Одобрена советом (методической комиссией) факультета_________ФИТАУ_________________
Председатель _________
(подпись, Ф. И.О)
1. Цели и задачи дисциплины, ее место в учебном процессе.
1.1. Цель преподавания дисциплины.
Целью преподавания дисциплины "Теxнология программирования" является формирование у студента общей культуры программирования и изучение основных этапов решения задач на ЭВМ. Знакомство со способами анализа программ и их классификацией, способами конструирования программ, тестированием и методами доказательства их правильности.
1.2 Задачи изучения дисциплины.
Основными задачами, адекватными цели изучения дисциплины, являются:
· критерии качества программы;
· диалоговые программы; дружественность, жизненный цикл программы;
· постановка задачи и спецификация программы;
· методы разработки и конструирования программ;
· основы доказательства правильности;
· методы тестирования.
1.3. Перечень дисциплин, усвоение которых необходимо для изучения данной дисциплины.
Для изучения данной дисциплины необходимо знание общих и специальных разделов дисциплин: высшая математика (математический анализ, теория вероятности, математическая статистика, дискретная математика), информатика, основы алгоритмизации и языки программирования..
2. Содержание дисциплины.
2.1. Лекции. II – семестр.
№ Лекции | Тема(краткое содержание, список используемых источников) |
1 | НАДЕЖНОЕ ПРОГРАММНОЕ СРЕДСТВО КАК ПРОДУКТ ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ. ИСТОРИЧЕСКИЙ И СОЦИАЛЬНЫЙ КОНТЕКСТ ПРОГРАММИРОВАНИЯ. ИСТОЧНИКИ ОШИБОК В ПРОГРАММНЫХ СРЕДСТВАХ Понятие информационной среды процесса обработки данных. Программа как формализованное описание процесса. Понятие о программном средстве. Понятие ошибки в программном средстве. Неконструктивность понятия правильной программы. Надежность программного средства. Технология программирования как технология разработки надежных программных средств. Технология программирования и информатизация общества. Интеллектуальные возможности человека, используемые при разработке программных систем. Понятия о простых и сложных системах, о малых и больших системах. Неправильный перевод информации из одного представления в другое - основная причина ошибок при разработке программных средств. Модель перевода и источники ошибок. 1., Дж. С.Тутилл. Терминологическая работа IFIP (Международная федерация по обработке информации) и ICC (Международный вычислительный центр) // Журн. вычисл. матем. и матем. физ., 1965, #2. - С. 377-386. 2.Г. Майерс. Надежность программного обеспечения. - М.: Мир, 1980. 3.Ian Sommerville. Software engineering. - Addison-Wesley Publishing Company, 1992. 4.Э. Дейкстра. Заметки по структурному программированию / У. Дал, Э. Дейкстра, К. Хоор. Структурное программирование. - М.: Мир, 1975. - С. 7-97. 5.Criteria for evaluation of software. - ISO TC97/SC7 #367 (Supersedes Document #327). 7.. Словарь русского языка. - М.: Советская энциклопедия, 1975. 8., . Дисциплина программирования Д: концепция и опыт реализации методических средств программной инженерии. - М.: ЦНИИ информации и технико-экономических исследований по атомной науке и технике, 1988. 9.В. Турский. Методология программирования. - М.: Мир, 1981. 10.Г. Буч. Объектно-ориентированное проектирование с примерами применения. - М.: Конкорд, 1992. 11.. Система программирования с использованием библиотеки подпрограмм / Система автоматизация программирования. - М.: Физматгиз, 1961. - С. 15-52. 12., мл. Как проектируются и создаются программные комплексы. - М.: Наука, 1979. 13.R. C. Holt. Structure of computer programs: A Survey // Proceedings of the IEEE, 1975, 63(6). – P. 879-893. 14.Дж. Хьюз, Дж. Мичтом. Структурный подход к программированию. - М.: Мир, 1980. 15.Б. Боэм, Дж. Браун, Х. Каспар и др. Характеристики качества программного обеспечения. - М.: Мир, 1981. 16.. Качество программного обеспечения. - М.: Финансы и статистика, 1983. 17.Б. Шнейдерман. Психология программирования. - М.: Радио и связь, 1984. |
2 | ОБЩИЕ ПРИНЦИПЫ РАЗРАБОТКИ ПРОГРАММНЫХ СРЕДСТВ ВНЕШНЕЕ ОПИСАНИЕ ПРОГРАММНОГО СРЕДСТВА Специфика разработки программных средств. Жизненный цикл программного средства. Понятие качества программного средства. Обеспечение надежности - основной мотив разработки программного средства. Методы борьбы со сложностью. Обеспечение точности перевода. Преодоление барьера между пользователем и разработчиком. Обеспечение контроля правильности принимаемых решений. Понятие внешнего описания, его назначение и роль в обеспечении качества программного средства. Определение требований к программному средству. Спецификация качества программного средства. Основные примитивы качества программного средства. Функциональная спецификация программного средства. Контроль внешнего описания. 1.. Введение в технологию программирования (конспект лекций). - М.: "ДИАЛОГ-МГУ", 1994. |
3 | МЕТОДЫ СПЕЦИФИКАЦИИ СЕМАНТИКИ ФУНКЦИЙ. АРХИТЕКТУРА ПРОГРАММНОГО СРЕДСТВА Основные подходы к спецификации семантики функций. Табличный подход, метод таблиц решений. Алгебраический подход: операционная, денотационная и аксиоматическая семантика. Логический подход. Языки спецификаций. Понятие архитектуры и задачи ее описания. Основные классы архитектур программных средств. Взаимодействие между подсистемами и архитектурные функции. Контроль архитектуры программных средств. 1.. Спецификация программ: понятийные средства и их организация. - Новосибирск: Наука (Сибирское отделение), 1987. 2.Ian Sommerville. Software Engineering. - Addison-Wesley Publishing Company, 1992. 3.Д. Скотт. Теория решеток, типы данных и семантика / Данные в языках программирования. - М.: Мир, 1982. - С. 25-53. 4.К. Хоор. О структурной организации данных / У. Дал, Э. Дейкстра, К. Хоор. Структурное программирование. - М.: Мир, 1975. - С. 98-197. 5.Г. Майерс. Надежность программного обеспечения. - М.: Мир, 1980. - С. 78-91. 6.E. W. Dijkstra. The Structure of the THE-Multiprogramming // Communications of the ACM. - 1968, 11(5). - Pp. 341-346. 7.М. Кристиан. Введение в операционную систему UNIX. - М.: Финансы и статистика, 1985. - С. 46-49. |
4 | РАЗРАБОТКА СТРУКТУРЫ ПРОГРАММЫ И МОДУЛЬНОЕ ПРОГРАМ-МИРОВАНИЕ. РАЗРАБОТКА ПРОГРАММНОГО МОДУЛЯ. Цель разработки структуры программы. Понятие программного модуля. Основные характеристики программного модуля. Методы разработки структуры программы. Спецификация программного модуля. Контроль структуры программы. Порядок разработки программного модуля. Структурное программирование и пошаговая детализация. Понятие о псевдокоде. Контроль программного модуля. 1.Дж. Хьюз, Дж. Мичтом. Структурный подход к программированию. М.: Мир, 1980. - С. 29-71. 2.В. Турский. Методология программирования. - М.: Мир, 1981. - С. 90-164. 3.. Технологические основы модульного программирования//Программирование,1980, #2. - С. 44-49. 4.R. C.Holt. Structure of Computer Programs: A Survey // Proceedings of the IEEE, 1975, 63(6). - P. 879-893. 5.Г. Майерс. Надежность программного обеспечения. М.: Мир, 1980. - С. 92-113. 6.Я. Пайл. АДА - язык встроенных систем. М.: Финансы и статистика, 1984. - С. 67-75. 7.М. Зелковец, А. Шоу, Дж. Гэннон. Принципы разработки программного обеспечения. М.: Мир, 1982. - С. 65-71. 8.. Технологические аспекты создания программных систем. М.: Статистика, 1979. С. 79-94. 9.Э. Дейкстра. Заметки по структурному программированию / У. Дал, Э. Дейкстра, К. Хоор. Структурное программирование. - М.: Мир, 1975. - С. 24-97. 10.Н. Вирт. Систематическое программирование. - М.: Мир, 1977. - С. 94-164. |
5 | ДОКАЗАТЕЛЬСТВО СВОЙСТВ ПРОГРАММ. ТЕСТИРОВАНИЕ И ОТЛАДКА ПРОГРАММНОГО СРЕДСТВА. Понятие обоснования программ. Формализация свойств программ, триады Хоора. Правила для установления свойств оператора присваивания, условного и составного операторов. Правила для установления свойств оператора цикла, понятие инварианта цикла. Завершимость выполнения программы. Основные понятия. Стратегия проектирования тестов. Заповеди отладки. Автономная отладка и тестирование программного модуля. Комплексная отладка и тестирование программного средства. 1.. Элементы программирования. - М.: Наука, 1982. С. 85-94. 2.М. Зелковец, А. Шоу, Дж. Гэннон. Принципы разработки программного обеспечения. - М.: Мир, 1982. С. 98-105. 3.Г. Майерс. Надежность программного обеспечения. - М.: Мир, 1980. - С. 171-262. 4.Д. Ван Тассел. Стиль, разработка, эффективность, отладка и испытание программ. - М.: Мир, 1985. - С. 179-295. 5.Дж. Хьюз, Дж. Мичтом. Структурный подход к программированию. - М.: Мир, 1980. - С. 254-268. 6.Дж. Фокс. Программное обеспечение и его разработка. - М.: Мир, 1985. - С. 227-241. 7.. Индивидуальная отладка программ. - М.: Наука, 1982. - С. 9-79. 8.. Тестирование программ. - М.: Радио и связь, 1986. - С. 15-47. 9.. Введение в технологию программирования (конспект лекций). - М.: "ДИАЛОГ-МГУ", 1994. 10.Э. Дейкстра. Заметки по структурному программированию / У. Дал, Э. Дейкстра, К. Хоор. Структурное программирование. - М.: Мир, 1975. - С. 7-13. |
6 | ОБЕСПЕЧЕНИЕ ФУНКЦИОНАЛЬНОСТИ И НАДЕЖНОСТИ ПРОГРАММНОГО СРЕДСТВА. ОБЕСПЕЧЕНИЕ КАЧЕСТВА ПРОГРАММНОГО СРЕДСТВА. Общий обзор. Реализация пользовательского интерфейса и обеспечение легкости применения программного средства. Обеспечение эффективности программного средства. Обеспечение сопровождаемости и управление конфигурацией программного средства. Аппаратно-операционные платформы и обеспечение мобильности программного средства. 1., . Методы вычислений, т. т. 1 и 2. - М.: Физматгиз, 1959. 5.Ian Sommerville. Software Engineering. - Addison-Wesley Publishing Company, 1992. P. 261-286. 6.М. Кристиан. Введение в операционную систему UNIX. - М.: Финансы и статистика, 1985. - С. 156-178. 7.Г. Майерс. Надежность программного обеспечения. - М.: Мир, 1980. С. 127-154, 160-164. 8.Д. Ван Тассел. Стиль, разработка, эффективность, отладка и испытание программ. - М.: Мир, 1985. С. 8-44, 117-178. 9.-Посадов. Конфигурации программ. Рецепты безболезненных изменений. – М.: «Малип», 1994. 10., Е. Н Филиппов. Мобильность программ и данных в открытых информационных системах. - М.: Научная книга, 1997 |
7 | ДОКУМЕНТИРОВАНИЕ ПРОГРАММНЫХ СРЕДСТВ. УПРАВЛЕНИЕ РАЗРАБОТКОЙ И АТТЕСТАЦИЯ ПРОГРАММНОГО СРЕДСТВА. Назначение управления разработкой программного средства и его основные процессы. Структура управления разработкой программных средств. Подходы к организации бригад разработчиков. Управление качеством программного средства. Аттестация программного средства и характеристика методов оценки качества программного средства. 1.Ian Sommerville. Software Engineering. - Addison-Wesley Publishing Company, 1992. P. . 479-493. 2.ANSI/IEEE Std 1063-1988, IEEE Standard for Software User Documentation. 3.ANSI/IEEE Std 830-1984, IEEE Guide for Software Requirements Specification. 4.ANSI/IEEE Std 1016-1987, IEEE Recommended Practice for Software Design Description. 5.ANSI/IEEE Std 1008-1987, IEEE Standard for Software Unit Testing. 6.ANSI/IEEE Std 1012-1986, IEEE Standard for Software Verification and Validation Plans. 7.ANSI/IEEE Std 983-1986, IEEE Guide for Software Quality Assurance Planning. 8.ANSI/IEEE Std 829-1983, IEEE Standard for Software Test Documentation 9.. Управление разработкой программных средств. Методы, стандарты, технология. – М.: Финансы и статистика, 1993. 10.Б. Шнейдерман. Психология программирования. – М.: Радио и связь, 1984. – С. 128-146. 11., мл. Как проектируются и создаются программные комплексы. – М.: Наука, 1979. 12.Г. Майерс. Надежность программного обеспечения. – М.: Мир,1980. - С. 174-175. 13.. Введение в технологию программирования (конспект лекций). – М.: "ДИАЛОГ-МГУ", 1994. 14., . Мобильность программ и данных в открытых информационных системах. – М.: Научная книга, 1997. – С. 252-268. 15.. Тестирование программ. – М.: Радио и связь, 1986. – С. 231-245. 16.Д. Ван Тассел. Стиль, разработка, эффективность, отладка и испытание программ. – М.: Мир, 1985. – С. 281-283. |
8 | ОЪЕКТНЫЙ ПОДХОД К РАЗРАБОТКЕ ПРОГРАММНЫХ СРЕДСТВ. КОМПЬЮТЕРНАЯ ПОДДЕРЖКА РАЗРАБОТКИ И СОПРОВОЖДЕНИЯ ПРОГРАММНЫХ СРЕДСТВ. Программные инструменты в жизненном цикле программных средств. Инструментальные среды и инструментальные системы поддержки разработки программных средств, их классификация. Компьютерная технология (CASE-технология) разработки программных средств и ее рабочие места. Общая архитектура инструментальных систем технологии программирования. 1.К. Фути, Н. Судзуки. Языки программирования и схемотехника СБИС. – М.: Мир, 1988. С. 85-98. 2.В. Даль. Толковый словарь русского языка. – 3.J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorenzen. Objekt-Oriented Modeling and Design. – Prentice Hall. 1991. 4.Г. Буч. Объектно-ориентированное проектирование с примерами применения: пер. с англ. – М.: Конкорд, 1992. 5.М. Фаулер, К. Скотт. UML в кратком изложении. - М.: Мир, 1999. 6.. Языки программирования. Концепции и принципы. – М.: Радио и связь, 1993. 7.Ian Sommerville. Software Engineering. - Addison-Wesley Publishing Company, 1992. P. 349-369. 8.. Введение в технологию программирования (конспект лекций). - М.: "ДИАЛОГ-МГУ", 1994. 9.-Посадов. Конфигурации программ. Рецепты безболезненных изменений. – М.: «Малип», 1994. 10.CASE: Компьютерное проектирование программного обеспечения. - Издательство Московского университета, 1994. 11.Requirements for Ada Programming Support Environments. - USA: DoD, Stoneman, |
2.2 Практические занятия. Нет
2.3 Лабораторные работы.
Группа разбивается на подгруппы. Для каждой подгруппы назначается старший. Каждая подгруппа разрабаты-вает на алгоритмическом или процедурном языках программу решения сложной задачи такой, что программа является, по сути сложным программным комплексом.
Старший группы раздает задания, контролирует их выполнение, а также согласовывает структуры данных и передаваемые переменные; является главным при разработке логической схемы программы.
В силу ограниченности времени (34 часа) для каждой подгруппы дается готовая программа, состоящая из 5 и более программных единиц, на процедурном или алгоритмическом языке, которую необходимо перевести на алгоритмический или процедурный язык, соответственно.
II - семестр
№ | Число Часов | Цели |
1 | 4 | Выделение подгрупп, назначение старшего группы. Раздача заданий. Распределение заданий между членами группы.Перевод программной единицы на алгоритмический (процедурный) язык. |
2 | 4 | |
3 | 4 | Формирование модулей для каждой из процедур (подпрограмм). Анализ и разработка структуры программы. Анализ структур данных. Выделение глобальных и локальных переменных. |
4 | 4 | |
5 | 4 | Группировка процедур и модулей в единую систему. |
6 | 4 | Отладка программы. |
7 | 4 | Тестирование и определение свойств программы. |
8 | 6 | Документирование и аттестация программы. |
2.4 Курсовой проект. Нет
2.5 Расчетные задания (работа) .
Целью расчетного заданий является формирование умений и навыков в области разработки программного проекта; коллективной работы над проектом; анализа качественных характеристик программы; логической организации сложных программ; тестированию программ.
2.6 Самостоятельная работа студентов.
Самостоятельная работа студентов предусматривает выполнение расчетного задания в объеме 12 часов; подготовка к проведению лабораторных работ составляет 2 часа на каждую лабораторную работу, длительностью 4 часа; 1 час на подготовку к лекции, длительностью 2 часа и 16 часов на подготовку к контрольным опросам и работам.
Подготовка включает изучение проблемы по литературным источникам и разработку необходимых программ за пределами времени, отведенного на собственно лабораторную работу.
3.Учебно методические материалы по дисциплине.
3.1 Основная и дополнительная литература.
1.Абрамов программирования. - М.: Наука, 1982. С. 85-94.
2.Агафонов программ: понятийные средства и их организация. - Новосибирск: Наука (Сибирское отделение), 1987.
3., Тутилл Дж. С. Терминологическая работа IFIP (Международная федерация по обработке информации) и ICC (Международный вычислительный центр) // Журн. вычисл. матем. и матем. физ., 1965, #2. - С. 377-386.
4.Безбородов отладка программ. - М.: Наука, 1982. - С. 9-79.
5., мл. Как проектируются и создаются программные комплексы. - М.: Наука, 1979.
6. Браун Дж., и др. Характеристики качества программного обеспечения. - М.: Мир, 1981.
7. Объектно-ориентированное проектирование с примерами применения. - М.: Конкорд, 1992.
8. Систематическое программирование. - М.: Мир, 1977. - С. 94-164.
9.Горбунов-Посадов программ. Рецепты безболезненных изменений. – М.: «Малип», 1994.
10. CASE: Компьютерное проектирование программного обеспечения. - Издательство Московского университета, 1994.
11. Толковый словарь русского языка.
12. Д. Ван Тассел. Стиль, разработка, эффективность, отладка и испытание программ. - М.: Мир, 1985. - С. 179-295.
13. , М Дисциплина программирования Д: концепция и опыт реализации методических средств программной инженерии. - М.: ЦНИИ информации и технико-экономических исследований по атомной науке и технике, 1988.
14. Заметки по структурному программированию / У. Дал, Э. Дейкстра, К. Хоор. Структурное программирование. - М.: Мир, 1975. - С. 7-97.
15. Жоголев основы модульного программирования. // Программирование, 1980, #2. - С. 44-49
16. Жоголев программирования с использованием библиотеки подпрограмм / Система автоматизация программирования. - М.: Физматгиз, 1961. - С. 15-52.
17. Жоголев в технологию программирования (конспект лекций). - М.: "ДИАЛОГ-МГУ", 1994.
18. Зелковец. М., Гэннон Дж. Принципы разработки программного обеспечения. - М.: Мир, 1982. - С. 11.
19. Методы проектирования программных систем. - М.: Мир, 1985. - С. 15-23.
20. Кауфман программирования. Концепции и принципы. - М.: Радио и связь, 1993.
21. Введение в операционную систему UNIX. - М.: Финансы и статистика, 1985. - С. 46-49.
22. . Качество программного обеспечения. - М.: Финансы и статистика, 1983.
23. Липаев разработкой программных средств. Методы, стандарты, технология. – М.: Финансы и статистика, 1993.
24. ,. Н Мобильность программ и данных в открытых информационных системах. – М.: Научная книга, 1997. – С. 252-268.
25. Липаев программ. - М.: Радио и связь, 1986. - С. 15-47.
26. Надежность программного обеспечения. - М.: Мир, 1980.
27. Скотт 3.Д. Теория решеток, типы данных и семантика / Данные в языках программирования. - М.: Мир, 1982. - С. 25-53.
28. Требования и спецификации в разработке программ. - М.: Мир, 1984.
29. Методология программирования. - М.: Мир, 1981.
30. Ожегов русского языка. - М.: Советская энциклопедия, 1975.
31. Как решать задачу. - М.: Наука, 1961.
32. АДА - язык встроенных систем. М.: Финансы и статистика, 1984. - С. 67-75.
33. UML в кратком изложении. - М.: Мир, 1999.
34. Фокс Дж. Программное обеспечение и его разработка. - М.: Мир, 1985. - С. 53-67, 125-130.
35. Фуксман аспекты создания программных систем. М.: Статистика, 1979. С. 79-94.
36. Языки программирования и схемотехника СБИС. – М.: Мир, 1988. С. 85-98.
37. О структурной организации данных / У. Дал, Э. Дейкстра, К. Хоор. Структурное программирование. - М.: Мир, 1975. - С. 98-197.
38. Хьюз Дж., Мичтом Дж. Структурный подход к программированию. - М.: Мир, 1980.
39. Психология программирования. - М.: Радио и связь, 1984.
40. ANSI/IEEE Std 1063-1988, IEEE Standard for Software User Documentation.
41. ANSI/IEEE Std 830-1984, IEEE Guide for Software Requirements Specification.
42. ANSI/IEEE Std 1016-1987, IEEE Recommended Practice for Software Design Description.
43. ANSI/IEEE Std 1008-1987, IEEE Standard for Software Unit Testing.
44. ANSI/IEEE Std 1012-1986, IEEE Standard for Software Verification and Validation Plans.
45. ANSI/IEEE Std 983-1986, IEEE Guide for Software Quality Assurance Planning.
46. ANSI/IEEE Std 829-1983, IEEE Standard for Software Test Documentation
47. Dijkstra E. W. The Structure of the THE-Multiprogramming // Communications of the ACM. - 1968, 11(5). - Pp. 341-346.
48. Ian Sommerville. Software engineering. - Addison-Wesley Publishing Company, 1992.
49. Criteria for evaluation of software. - ISO TC97/SC7 #367 (Supersedes Document #327).
50. Holt R. C. Structure of computer programs: A Survey // Proceedings of the IEEE, 1975, 63(6). – P. 879-893.
51. Requirements for Ada Programming Support Environments. - USA: DoD, Stoneman,
52. Revised version of DP9126 - Criteria of the evaluation of software quality characteristics. ISO TC97/SC7 #610. Part 6.
53. Rumbaugh J., Blaha M., Premerlani W., Eddy F., Lorenzen W. Objekt-Oriented Modeling and Design. – Prentice Hall. 1991.
3.2 Методические материалы, используемые в учебном процессе – нет.
4. Учебно методическая карта дисциплины.
II - семестр
Номер недели | Номер лекции | Наименование вопросов, изучаемых на лекции | № | Самостоятельная работа студентов | Форма контроля |
| |
Лабораторные | Содержание | Часы | |||||
1 | 2 | 3 | 4 | 5 | 6 | 7 |
|
1 | 1 | НАДЕЖНОЕ ПРОГРАММНОЕ СРЕДСТВО КАК ПРОДУКТ ТЕХНОЛОГИИ ПРОГРАММИРО-ВАНИЯ. ИСТОРИЧЕСКИЙ И СОЦИАЛЬНЫЙ КОНТЕКСТ ПРОГРАММИРОВАНИЯ. ИСТОЧ-НИКИ ОШИБОК В ПРОГРАММНЫХ СРЕДСТВАХ. | 1 | Выделение подгрупп, назначение старшего группы. Раздача заданий. Распределение заданий между членами группы. | 4 |
| |
2 | |||||||
3 | 2 | ОБЩИЕ ПРИНЦИПЫ РАЗРАБОТКИ ПРОГРАММНЫХ СРЕДСТВ ВНЕШНЕЕ ОПИСАНИЕ ПРОГРАММНОГО СРЕДСТВА | 2 | Перевод программной единицы на алгоритмический (процедурный) язык. | 4 |
| |
4 | |||||||
КО | |||||||
5 | 3 | МЕТОДЫ СПЕЦИФИКАЦИИ СЕМАНТИКИ ФУНКЦИЙ. АРХИТЕКТУРА ПРОГРАММНОГО СРЕДСТВА | 3 | Формирование модулей для каждой из процедур (подпрограмм). Анализ и разработка структуры программы. | 4 |
| |
6 |
| ||||||
7 | 4 | РАЗРАБОТКА СТРУКТУРЫ ПРОГРАММЫ И МОДУЛЬНОЕ ПРОГРАМ-МИРОВАНИЕ. РАЗРАБОТКА ПРОГРАММНОГО МОДУЛЯ. | 4 | Анализ структур данных. Выделение глобальных и локальных переменных. | 4 |
| |
8 | КР |
| |||||
9 | 5 | ДОКАЗАТЕЛЬСТВО СВОЙСТВ ПРОГРАММ. ТЕСТИРОВАНИЕ И ОТЛАДКА ПРОГРАММНОГО СРЕДСТВА. | 5 | Группировка процедур и модулей в единую систему. | 4 |
| |
10 |
| ||||||
11 | 6 | ОБЕСПЕЧЕНИЕ ФУНКЦИОНАЛЬНОСТИ И НАДЕЖНОСТИ ПРОГРАММНОГО СРЕДСТВА. ОБЕСПЕЧЕНИЕ КАЧЕСТВА ПРОГРАММНОГО СРЕДСТВА. | 6 | Отладка программы. | 4 |
| |
12 | |||||||
КО | |||||||
13 | 7 | ДОКУМЕНТИРОВАНИЕ ПРОГРАММНЫХ СРЕДСТВ. УПРАВЛЕНИЕ РАЗРАБОТКОЙ И АТТЕСТАЦИЯ ПРОГРАММНОГО СРЕДСТВА. | 7 | Тестирование и определение свойств программы. | 4 |
| |
14 |
| ||||||
15 | 8 | ОЪЕКТНЫЙ ПОДХОД К РАЗРАБОТКЕ ПРОГРАММНЫХ СРЕДСТВ. КОМПЬЮТЕРНАЯ ПОДДЕРЖКА РАЗРАБОТКИ И СОПРОВОЖДЕНИЯ ПРОГРАММНЫХ СРЕДСТВ. | 8 | Документирование и аттестация программы. | 4 |
| |
16 |
| ||||||
17 | 1 | КО | |||||
1 | Р.-З. |
Примечание: КО-контрольный опрос; КР-контрольная работа; Р.-З. – защита расчетного задания.
5. Протокол согласования рабочей программы с другими дисциплинами.
Наименование дисциплин, изучение которых опирается на данную дисциплину | Кафедра | Предложения об изменениях в пропорциях материала, порядка изложения и т. д. | Подпись заведующего кафедрой |
1 | 2 | 3 | 4 |
Информатика | ИВМ | I-II семестр | |
Основы алгоритмизации и языки программирования. | ИУС | III-IV семестр | |
Математика | Мат. | I-IV семестр Рекомендуется дисциплину Теория информации читать после теории вероятности. |
6. График учебного процесса студентов
Факультета ФИТАУ группы ИСЭ в I-II семестрах 199 г.-200 г.
Теоретические занятия 17 недель.
Наименование дисциплины | Семестр | Виды и объем аудиторных занятий по уч. плану | Виды и объем самостоятельной работы, ч | ||||||
Подготовка к очередным занятиям | Подготовка к текущему контролю | Выполн. Индивидуальных заданий | Всего за семестр | ||||||
Лекции | Лабораторные | Всего за семестр | Лекции | Лабораторные | Контрольные | Р.-З. | |||
Технология программирования | II | 17 | 34 | 51 | 7 | 14 | 16 | 12 | 49 |
Наименовапние дисциплины | Семестр | Календарный график сдачи индивидуальных работ и текущего контроля по неделям семестра | Заканчивается Ли дисциплина в данном семес тре | Форма проверки знаний | Примечание | ||||||||||||||||||
Да Нет | Зач. | Экз. | |||||||||||||||||||||
Технология программирования | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 |
| |||||
II | КО | КР | КО | КО | Р. З | Да | Зач. |
|
Вопросы по остаточным знаниям.
Утверждаю Утверждаю
Зав. Кафедрой ИУС Декан ФИТАУ
1. Модель перевода и источники ошибок при разработке программных средств.
2. Специфические особенности разработки программных средств.
3. Жизненный цикл программного средства.
4. Определение требований к программному средству.
5. Спецификация качества программного средства
6. Функциональная спецификация программного средства.
7. Контроль внешнего описания программного средства.
8. Табличный подход к спецификации семантики функций. Метод таблиц решений.
9. Основные классы архитектур программных средств.
10. Понятие программного модуля и его основные характеристики.
11. Методы разработки структуры программ.
12. Метод целенаправленной конструктивной реализации.
13. Структурное программирование и пошаговая детализация. Понятие о псевдокоде.
14. Правила для установления свойств составного и условного операторов. Доказать.
15. Инвариант цикла. Правило для установления свойств оператора цикла. Доказать.
16. Понятие о завершимости выполнения программы. Правило для установления завершимости выполнения цикла. Доказать.
17. Заповеди отладки программных средств.
18. Автономная отладка и тестирование программного средства.
19. Комплексная отладка и тестирование программного средства.
20. Обеспечение устойчивости программного модуля.
21. Обеспечение защиты от влияния «чужих» программ.
22. Обеспечение защиты от несанкционированного доступа к программным средствам и защиты от взлома защиты.
23. Обеспечение легкости применения программного средства.
24. Обеспечение эффективности программного средства.
25. Обеспечение сопровождаемости программного средства.
26. Виды документов программного средства.
27. Структура управления разработкой программного средства.
28. Особенности внешнего описания программных средств при объектном подходе к разработке.
29. Инструментальные среды разработки и сопровождения программных средств. Принципы их классификации.
30. Инструментальные системы технологии программирования и их общая архитектура
Доцент кафедры ИУС, к. ф.-м. н
Экзаменационные вопросы по технологии программирования.
Утверждаю Утверждаю
Зав. Кафедрой ИУС Декан ФИТАУ
Программа как формализованное описание процесса обработки данных. Правильность программы. Не конструктивность понятия. Надежность ПС. Технология программирования - технология разработки надежных ПС. История развития языков программирования. Источники ошибок в ПС. Неправильный перевод, модель перевода. Жизненный цикл программного средства. Качество программного средства. Обеспечение надежности ПС. Методы предупреждения ошибок в ПС. Внешнее описание ПС. Методы контроля внешнего описания. Определение требований к ПС Спецификация качества программного средства. Функциональная спецификация программного средства. Понятие архитектуры ПС. Основные классы архитектур программных средств. Контроль архитектуры программных средств. Архитектурные функции. Модульное программирование. Характеристики модуля. Методы разработки структуры программы. Контроль структуры программы. Порядок разработки программного модуля. Структурное программирование. Пошаговая детализация, псевдокод. Контроль программного модуля. Принципы и виды отладки программного средства. Заповеди отладки. Автономная отладка программного средства. Комплексная отладка ПС. Функциональность и надежность ПС. Обеспечение завершенности ПС. Обеспечение точности, автономности и устойчивости ПС. Обеспечение защищенности ПС. Процесс обеспечения качества ПС. Обеспечение легкости применения ПС. Обеспечение эффективности ПС. Сопровождаемость ПС. Мобильность ПС.
Доцент кафедры ИУС, к. ф.-м. н
