- •Замок дракона
- •Надёжное программное средство как продукт технологии программирования. Исторический и социальный контекст программирования
- •Программа как формализованное описание процесса обработки данных.
- •Программное средство
- •Неконструктивность понятия правильной программы
- •1.3. Надежность программного средства
- •Технология программирования как технология разработки надежных программных средств
- •Технология программирования и информатизация общества
- •Литература
- •Замок дракона
- •Источники ошибок в программных средствах
- •Интеллектуальные возможности человека
- •Неправильный перевод как причина ошибок в программных средствах
- •Модель перевода
- •Основные пути борьбы с ошибками
- •Жизненный цикл программного средства
- •Понятие качества программного средства
- •Обеспечение надёжности — основной мотив разработки программных средств
- •Методы борьбы со сложностью
- •Обеспечение точности перевода
- •Преодоление барьера между пользователем и разработчиком
- •Контроль принимаемых решений
- •Литература
- •Замок дракона
- •Внешнее описание программного средства
- •Назначение внешнего описания программного средства и его роль в обеспечении качества программного средства
- •Определение требований к программному средству
- •Спецификация качества программного средства
- •Функциональная спецификация программного средства
- •Методы контроля внешнего описания программного средства
- •Литература
- •Замок дракона
- •Л. Витгенштейн
- •Методы спецификации семантики функций
- •Основные подходы к спецификации семантики функций
- •Метод таблиц решений
- •Операционная семантика
- •Денотационная семантика
- •Аксиоматическая семантика
- •Аксиоматическая семантика
- •Литература
- •Замок дракона
- •Архитектура программного средства
- •Понятие архитектуры программного средства
- •Основные классы архитектур программных средств
- •Архитектурные функции
- •Контроль архитектуры программных средств
- •Литература
- •Замок дракона
- •Разработка структуры программы и модульное программирование
- •Цель модульного программирования
- •Основные характеристики программного модуля
- •Методы разработки структуры программы
- •Контроль структуры программы
- •Литература
- •Лекция 8. Разработка программного модуля
- •8.1. Порядок разработки программного модуля.
- •8.2. Структурное программирование.
- •8.3. Пошаговая детализация и понятие о псевдокоде.
- •8.4. Контроль программного модуля.
- •Литература к лекции 8.
- •Лекция 9. Доказательство свойств программ
- •9.1. Обоснования программ. Формализация свойств программ.
- •9.2. Свойства простых операторов.
- •9.3. Свойства основных конструкций структурного программирования.
- •9.4. Завершимость выполнения программы.
- •9.5. Пример доказательства свойства программы.
- •Литература к лекции 9.
- •Лекция 10. Тестирование и отладка программного средства
- •10.1. Основные понятия.
- •10.2. Принципы и виды отладки.
- •10.3. Заповеди отладки.
- •10.4. Автономная отладка модуля.
- •10.5. Комплексная отладка программного средства.
- •Литература к лекции 10.
- •Лекция 11. Обеспечение функциональности и надежности программного средства
- •11.1. Функциональность и надежность как обязательные критерии качества программного средства.
- •11.2. Обеспечение завершенности программного средства.
- •11.3. Обеспечение точности программного средства.
- •11.4. Обеспечение автономности программного средства.
- •11.5. Обеспечение устойчивости программного средства.
- •11.6. Обеспечение защищенности программных средств.
- •Литература к лекции 11.
- •Лекция 12. Обеспечение качества программного средства
- •12.1. Общая характеристика процесса обеспечения качества программного средства.
- •12.3. Обеспечение эффективности программного средства.
- •Литература к лекции 12.
- •Лекция 13. Документирование программных средств
- •13.1. Документация, создаваемая в процессе разработки программных средств.
- •13.2. Пользовательская документация программных средств.
- •Литература к лекции 13.
- •Лекция 14. Аттестация программного средства
- •14.1. Назначение аттестации программного средства.
- •14.2. Виды испытаний программного средства.
- •14.3. Методы оценки качества программного средства.
- •Лекция 15.Оъектный подход к разработке программных средств
- •15.1. Объекты и отношения в программировании. Сущность объектного подхода к разработке программных средств.
- •15.2. Объекты и субъекты в программировании.
- •15.3. Объектный и субъектный подходы к разработке программных средств.
- •15.4. Объектный подход к разработке внешнего описания и архитектуры программного средства.
- •Литература к лекции 15.
Определение требований к программному средству
Определение требования к ПС являются исходным документом разработки ПС — заданием, выражающем в абстрактной форме потребности пользователя. Они в общих чертах определяют замысел ПС, характеризуют условия его использования. Неправильное понимание потребностей пользователя трансформируются в ошибки внешнего описания. Поэтому разработка ПС начинается с создания документа, достаточно полно характеризующего потребности пользователя и позволяющего разработчику адекватно воспринимать эти потребности.
Определение требований представляет собой смесь фрагментов на естественном языке, различных таблиц и диаграмм. Такая смесь, должна быть понятной пользователю, не знающего специальных программистских обозначений. Обычно в определении требований не содержится формализованных фрагментов, кроме случаев достаточно для этого подготовленных пользователей (например, математически) — формализация этих требований составляет содержание дальнейшей работы коллектива разработчиков.
Неправильное понимание требований заказчиком, пользователями и разработчиками связано обычно с различными взглядами на роль требуемого ПС в среде его использования [3]. Поэтому важной задачей при создании определения требований является установление контекста использования ПС, включающего связи между этим ПС, аппаратурой и людьми. Лучше всего этот контекст в определении требований представить в графической форме (в виде диаграмм) с добавлением описаний сущностей используемых объектов (блоков ПС, компонент аппаратуры, персонала и т.п.) и характеристики связей между ними.
Известны три способа определения требований к ПС [38]:
управляемый пользователем,
контролируемый пользователем,
независимый от пользователя.
В управляемой пользователем разработке определения требований к ПС определяются заказчиком, представляющим организацию пользователей. Это происходит обычно в тех случаях, когда организация пользователей (заказчик) заключает договор на разработку требуемого ПС с коллективом разработчиков и требования к ПС являются частью этого договора. Роль разработчика ПС в создании этих требований сводится, в основном, в выяснении того, насколько понятны ему эти требования с соответствующей критикой рассматриваемого документа. Это может приводить к созданию нескольких редакций этого документа в процессе заключения указанного договора.
В контролируемой пользователем разработке требования к ПС формулируются разработчиком при участии представителя пользователей. Роль пользователя в этом случае сводится к информированию разработчика о своих потребностях в ПС и контролю за тем, чтобы формулируемые требования действительно выражали его потребности в ПС. В конечном счёте разработанные требования, как правило, утверждаются представителем пользователя.
В независимой от пользователя разработке требования к ПС определяются без какого-либо участия пользователя (на полную ответственность разработчика). Это происходит обычно тогда, когда разработчик решает создать ПС широкого применения в расчете на то, разработанное им ПС найдет спрос на рынке программных средств.
С точки зрения обеспечения надежности ПС наиболее предпочтительным является контролируемая пользователем разработка.