ОБЕСПЕЧЕНИЕ КАЧЕСТВА ПРОГРАММНОГО СРЕДСТВА
Обеспечение защищенности программных средств.
Обеспечение устойчивости программного средства.
Обеспечение автономности программного средства.
Обеспечение точности программного средства.
Обеспечение завершенности программного средства.
ОБЕСПЕЧЕНИЕ ФУНКЦИОНАЛЬНОСТИ И НАДЕЖНОСТИ ПРОГРАММНОГО СРЕДСТВА
Комплексная отладка программного средства.
Автономная отладка модуля.
Принципы и виды отладки.
ТЕСТИРОВАНИЕ И ОТЛАДКА ПРОГРАММНОГО СРЕДСТВА
Контроль программного модуля.
Пошаговая детализация и понятие о псевдокоде.
Структурное программирование.
Порядок разработки программного модуля.
Контроль структуры программы.
Методы разработки структуры программы.
|
|
Программный модкль и его основные характеристики программного модуля.
РАЗРАБОТКА СТРУКТУРЫ ПРОГРАММЫ И МОДУЛЬНОЕ ПРОГРАММИРОВАНИЕ
Контроль архитектуры программных средств.
Основные классы архитектур программных средств.
АРХИТЕКТУРА ПРОГРАММНОГО СРЕДСТВА
Методы контроля внешнего описания программного средства.
Функциональная спецификация программного средства.
Спецификация качества программного средства.
Определение требований к программному средству.
Внешнее описание ПС.
ВНЕШНЕЕ ОПИСАНИЕ ПРОГРАММНОГО СРЕДСТВА
Обеспечение надежности ПС.
Качество программного средства. Критерии качества.
Жизненный цикл программного средства.
Специфика разработки программных средств.
Основные пути борьбы с ошибками при разработке ПС.
Модель перевода информации.
Неправильный перевод информации как причина ошибок в программных средствах.
Интеллектуальные возможности человека, используемые при разработке ПС.
ИСТОЧНИКИ ОШИБОК В ПРОГРАММНЫХ СРЕДСТВАХ
Технология программирования и информатизация общества.
Надежность программного средства.
Программа как формализованное описание процесса обработки данных. Программное средство.
|
|
НАДЕЖНОЕ ПРОГРАММНОЕ СРЕДСТВО КАК ПРОДУКТ ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ. ИСТОРИЧЕСКИЙ И СОЦИАЛЬНЫЙ КОНТЕКСТ ПРОГРАММИРОВАНИЯ
Вопросы к экзамену.
Литература к лекции 16.
16.1. Ian Sommerville. Software Engineering. - Addison-Wesley Publishing Company, 1992. P. 349-369.
16.2. CASE: Копьютерное проектирование программного обеспечения. - Издательство Московского университета, 1994.
16.3. Requirements for Ada Programming Support Enviroments. - USA: DoD, Stoneman, 1980.
ОБЩИЕ ПРИНЦИПЫ РАЗРАБОТКИ ПРОГРАММНЫХ СРЕДСТВ
РАЗРАБОТКА ПРОГРАММНОГО МОДУЛЯ