- •Свойства, определяющие качество информационной системы.
- •Надежность, полнота и актуальность представления информации. Возможность развития систем.
- •Основные показатели надежности.
- •Показатели безотказности
- •Аналитические статические модели.
- •Модель последовательности испытаний Бернулли.
- •Модели надежности ис. Эмпирические модели.
- •Обеспечение надежности функционирования ис.
- •Модели жизненного цикла ис. Каскадная модель жц.
- •Технические особенности разработки программных средств. Принципы модульности и адаптируемости.
- •Экономические особенности разработки программных средств.
- •Вопросы оценки трудоемкости разработки программных средств в свете требований стандартизации: этап проектирования.
- •Вопросы оценки трудоемкости разработки программных средств в свете требований стандартизации: этап программирования и этап квалификационных испытаний.
- •Вопросы оценки трудоемкости разработки программных средств в свете требований стандартизации: этап внедрения.
- •Виды поддержки и стадии этапа проектирования.
- •22. Основные факторы, влияющие на трудоемкость разработки программных средств.
- •Статический анализ программных средств.
- •Критерии оценки технологий проектирования программных средств.
- •Суть управления качеством программных средств.
- •24. Общие сведения о сертификации информационных систем и их программных средств.
- •25. Особенности сертификации программного обеспечения.
- •23. Длительность разработки программных средств, распределение затрат по этапам разработки.
- •1) Анализ и проектирование
1) Анализ и проектирование
Применение статического анализа на этих этапах требует прежде всего наличия инструментального средства формальной спецификации, обеспечивающего хранение результатов в машинообрабатываемой форме.
Статический анализ на этих этапах применяется прежде всего для выявления ошибок и аномалий, т.е. является средством управления качеством в отличие от этапа программирования, где имеет оценочный характер.
Применение статического анализа на этапах анализа и проектирования, несмотря на ограниченность измеряемых характеристик, способствует раннему обнаружению ошибок, трудноисправимых на последующих этапах.
2) Программирование
На этом этапе статический анализ используется для оценки качества программы, а также для документирования (при разработке документов сопровождения).
3) Тестирование и отладка
На этом этапе статический анализ применяется для получения исходной информации при подготовке и оценки полноты тестов.