- •Тема 11. Технологии разработки программного обеспечения
- •Надежность Программ
- •Считается, что в Программном Средстве имеется ошибка (software error), если оно не выполняет
- •Так как задание на создание ПС обычно
- •Поэтому понятие правильного ПС неконструктивно в том смысле, что после окончания работы над
- ••Надежность ПС это его способность безотказно выполнять определенные функции при заданных условиях в
- ••Под отказом в ПС понимают проявление в нем ошибки.
- ••Убедиться, что ПС обладает свойством надежности можно при его испытании путем тестирования, а
- •Основные понятия ТП
- •Более конструктивно под Технологией Программирования понимать
- •Широкое внедрение компьютеров существенно изменило направленность технологии программирования.
- •Компьютерная техника из средства решения отдельных задач все более превращается в средство информационного
- •Технологические задачи конструктора автомобиля
- •Отличие конструирования программ от конструирования автомобиля
- •Отличия
- •Жизненный цикл ПО
- •Почему возникает потребность модификации
- •Опыт показывает, что незначительные дополнительные усилия, затраченные при разработке программы, впоследствии могут облегчить
- •Критериями качества ПС
- •Функциональность
- •Надежность
- •Легкость применения
- •Эффективность
- •Сопровождаемость ПС
- •Мобильность
- ••Функциональность и надежность являются обязательными критериями качества ПС, причем обеспечение надежности красной нитью
- •четыре подхода к обеспечению надежности
- •Для предупреждения ошибок при разработке ПС следует сконцентрировать внимание на следующих вопросах:
- •Два общих метода борьбы со сложностью систем
- •Принципы программирования
- •Для того, чтобы удовлетворить этим принципам на сегодняшний день выработаны
- •Традиционные этапы разработки ПО
- •этапы разработки ПО
- •Способы разработки
- •Методы проектирования
- •Шаблоны проектирования
- •Методы тестирования
- •Тестирование по принципу «черного ящика»
- •Что еще входит в ТП?
Тема 11. Технологии разработки программного обеспечения
Надежность программОсновные понятия ТПЖизненный цикл ПОНеобходимые свойства ПОПринципы программированияЭтапы разработки ПО
07/02/19 |
1 |
• |
Математика делает то, что можно, так, |
|
как нужно, тогда как информатика |
|
делает то, что нужно, так, как можно. |
• |
Программистский фольклор |
07/02/19 |
2 |
Надежность Программ
•Обычно программы разрабатываются в расчете на то, чтобы ими могли пользоваться люди, не участвующие в их разработке
•(их называют пользователями).
•Для освоения программы пользователем помимо ее текста требуется определенная дополнительная документация (программная документация).
•Программа, снабженная программной документацией, называется программным средством (ПС).
07/02/19 |
3 |
Считается, что в Программном Средстве имеется ошибка (software error), если оно не выполняет того, что разумно ожидать от него пользователю.
В частности, разновидностью ошибки в ПС является несогласованность между программами и документацией по их применению
07/02/19 |
4 |
Так как задание на создание ПС обычно
формулируется не формально, а также из-за того, что понятия ошибки в ПС не формализовано, то нельзя доказать формальными методами (математически) правильность ПС.
Нельзя показать правильность ПС и тестированием: как указал Дейкстра, тестирование может лишь продемонстрировать наличие в ПС ошибки.
07/02/19 |
5 |
Поэтому понятие правильного ПС неконструктивно в том смысле, что после окончания работы над созданием ПС мы не сможем убедиться, что достигли цели
Конструктивной характеристикой ПС является
надежность ПС
(говорят надежное ПС, а не правильное ПС).
07/02/19 |
6 |
•Надежность ПС это его способность безотказно выполнять определенные функции при заданных условиях в течение заданного периода времени с достаточно большой вероятностью.
07/02/19 |
7 |
•Под отказом в ПС понимают проявление в нем ошибки.
•
•Таким образом, надежное ПС не исключает наличия в нем ошибок важно лишь, чтобы эти ошибки при практическом применении этого ПС в заданных условиях проявлялись достаточно редко
07/02/19 |
8 |
•Убедиться, что ПС обладает свойством надежности можно при его испытании путем тестирования, а также при практическом применении.
•Таким образом, фактически мы можем
разрабатывать лишь надежные, а не правильные ПС.
07/02/19 |
9 |
Основные понятия ТП
Технология – (технос – мастерство, логос - наука; греч. = наука о мастерстве).
Разработка ПC относится скорее к искусству, чем к науке. Поэтому здесь полезно использовать уже добытый опыт предыдущих поколений программистов. Этот опыт и составляет предмет ТП.
В общем смысле под Технологией Программирования понимается [Брукс 1979]
совокупность знаний о способах и средствах достижения целей в области программного обеспечения ЭВМ, в том числе и таких, которые ранее никем не достигались.
07/02/19 |
10 |