Кулаков А.Ф. Оценка качества программ ЭВМ

К.: Техника, 1984. — 167 с. ил.В книге рассмотрен комплекс вопросов оценки качества больших программ ЭВМ Классифицированы свойства н показатели качества программных изделий, а также методы их оценка, Рассмотрены статические методы анализа, основные принципы тестирования и испытания программ. Особое внимание уделено функциональным и эксплуатационным показателям качества, вопросам автоматизации контроля и оценки качества программ, специфике статистических испытаний на основе моделирования, а также вопросам планировании и оценке уровня завершенности испытаний. Рассчитана на инженерно-технических работников — сигналистов по программированию, а также может быть полезны студентам вузов соответствующих специальностей.Введение.
Разработка, внедрение и сопровождение ПИ.
Этапы жизненного цикла ПИ.
Организация проектирования.
Ошибки в ПИ и их последствия.
Испытание, изготовление и внедрение ПИ.
Методы формального описания ПИ.
Свойства и показатели качества ПИ.
Общий подход к выбору показателей качества.
Виды показателей качества.
Классификация свойств и показателей качества.
Функциональные показатели качества ПИ.
Обобщенная математическая модель надежности ПИ.
Эксплуатационные показатели качества ПИ.
Управление качеством.
Классификация методов контроля и оценки качества.
Измерение качества.
Статические методы анализа программ.
Синтаксический и семантический контроль программ.
Чтение текста программ.
Контроль приемлемости граф-схем программ.
Методы доказательства правильности программ.
Автоматизация формального анализа программ.
Тестирование программ.
Основные принципы тестирования.
Организация тестирования.
Тестирование модулей.
Комплексное тестирование.
Автоматизация тестирования.
Испытание ПИ.
Цель, виды и методы испытаний.
Технологическая схема и средства испытаний.
Содержание программ и методик испытаний.
Вопросы планирования испытаний.
Моделирование процессов при испытаниях.
Статистические испытания ПИ.
Оценка завершенности испытаний.
Методы оценки уровня качества ПИ.
Список литературы.