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

Description

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