Лаврищева Е.М., Петрухин В.А. Методы и средства инженерии программного обеспечения

Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю. Основы инженерии качества программных систем. 2-е изд., перераб. и доп. - К.: Академпериодика, 2007. – 672 с. Определяется ядро знаний в области инженерии качества программных систем. Рассматриваются процессы жизненного цикла, связанные с обеспечением качества – процессы верификации, валидации, тестирования, измерения, управления риском, обеспечения гарантии качества, управления...

Учебное пособие. - СПб.: ГУАП, 2000. - 210 с. Учебное пособие посвящено общим вопросам стандартизации в области обеспечения качества разработки программных средств. В нем описываются стандарты в области обеспечения качества ПС, рассматриваются жизненные циклы программного средства, установленные в зарубежных и отечественных стандартах, обсуждается роль документации при создании качественного ПС. Особое внимание уделено вопросам оценки процесса р...

Лаврищева Е.М. Методы программирования. Теория, инженерия, практика. - Киев: Наукова думка, 2006. - 452с. ISBN 978-966-00-0614-4 В монографии систематизированы и изложены теория, инженерия и практика современных методов программирования. Определены основы методов интеграции и преобразования разноязыковых программ и данных, рассмотрены методы спецификации и доказательства программ, верификации и тестирования, а также планирования и управления прог...

Учебник посвящен систематическому изложению принципов, моделей и методов, используемых в инженерном цикле разработки сложных программных продуктов. Изложены классические основы программной инженерии, показаны последние научные и практические достижения, характеризующие динамику развития этой области; продемонстрирован комплексный подход к решению наиболее важных вопросов, возникающих в больших программных проектах. В основу материала положен двен...

М.: МИФИ, 2006. - 157 с. Курс лекций, посвященный изложению комплексного взгляда на процесс верификации программного обеспечения. Предметом обсуждения являются различные подходы и методы, применяемые в области верификации и, в частности, тестирования программного обеспечения. Предполагается, что разрабатываемое программное обеспечение является частью более общей системы. Подобная система включает аппаратные, информационные и организационные (чело...

Авторский курс, 11.03.2009, 134 стр. Введение в тестирование программного обеспечения Методы и виды тестирования Тестовая документация. Общие сведения Тестовые требования Тестовые примеры (Test Case) Тестовые планы (Test Plan) Отчеты о прохождении тестов Покрытие программного кода Тестирование пользовательского интерфейса Тестирование объектно?ориентированного программного обеспечения Регрессионное тестирование

Соммервилл, Иан. Инженерия программного обеспечения, 6-е издание.: Пер. с англ. – М.: Издательский дом "Вильямс", 2002. – 624 с.: ил. === Данная книга является прекрасным введением в инженерию программного обеспечения. Здесь дана широкая панорама тем инженерии ПО, охватывающих все этапы и технологии разработки программных систем. В семи частях книги представлен весь спектр процессов, ведущих к созданию программного обеспечения: от начальной разра...

В книге американских специалистов фирмы TRW рассмотрены возможные ошибки при разработке систем программного обеспечения и изложены методы выявления причин их возникновения. Основное внимание уделено построению математических моделей программного обеспечения, пзволяющих оценивать его надежность. Книга предназначена для разработчиков ПО, инженеров-математиков, обслуживающих ЭВМ, а также студентов и аспирантов, изучающих принципы разработки системно...

Надежное программное средство как продукт технологии программирования. Исторический и социальный контекст программирования. Источники ошибок в программных средствах. Общие принципы разработки программных средств. Внешнее описание программного средства. Методы спецификации семантики функций. Архитектура программного средства. Разработка структуры программы и модульное программирование. Разработка программного модуля. Доказательство свойств програм...

Конспект лекций по дисциплине "Технология программирования". В дисциплине «Технология программирования»: - рассматриваются и подробно анализируются этапы раз­работки программного обеспечения, начиная от этапа его предварительного проектирования и оканчивая сдачей готового испытанного программного продукта заказчику с последующим его сопровождением; - с позиции современной системотехники рассматриваются проблемы проектирования сложных программн...