Ebook: Оценка качества программ ЭВМ

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