ИСП РАН
Институт системного программирования Российской Академии Наук

Учебники Липаева В.В.

Тестирование компонентов и комплексов программ

Учебник состоит из двух частей: разработка требований и тестирование модулей, компонентов и сложных комплексов программ (КП). В первой части (7 лекций) рассматриваются системные основы разработки требований к сложным комплексам программ, эталоны при их проектировании и производстве, декомпозиция функций и архитектуры комплексов программ для формирования требований к компонентам и модулям. Изложены требования к характеристикам качества, к тестам и допустимым рискам КП. Анализируются требования и условия эффективного использования готовых модулей и компонентов при производстве сложных КП. Значительное внимание уделено верификации, трассированию и обеспечению баланса требований к КП в условиях ограниченных ресурсов, а также документированию и управлению процессами изменения требований к их функциям и характеристикам.
Подробнее

Сертификация программных средств.

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

Человеческие факторы в программной инженерии:
Рекомендации и требования к профессиональной квалификации специалистов.

Для анализа и учета человеческих факторов при производстве программных продуктов в учебнике изложены общие психологиче-ские характеристики субъектов, особенности лидеров и коллективов специалистов. В основной группе лекций представлены требования к психологическим и профессиональным характеристикам руководителей и специалистов, их обучению необходимой квалификации, что они должны знать и уметь для успешной деятельности на основных этапах жизненного цикла сложных комплексов программ. Рекомендации и требования для обучения специалистов производству крупных программных продуктов иллюстрированы тремя десятками рисунков, каждый из которых отражает определенные квалификационные уровни и детализирован перечнем необходимых профессиональных знаний и навыков.
Подробнее

Тестирование крупных комплексов программ на соответствие требованиям.

Учебник состоит из двух крупных частей: разработка требований к крупным системам и комплексам программ; тестирование и реализация требований к крупным комплексам программ. В первой части (5 лекций) рассматриваются функциональные требования к проектам крупных систем и комплексов программ, к их количественным и динамическим характеристикам. Изложены требования к архитектуре и изменениям крупных комплексов программ, требования к обеспечению повторного использования программных компонентов и комплексов. Значительное внимание уделено верификации, трассированию и обеспечению баланса требований к крупным комплексам программ в условиях ограниченных ресурсов, а также документированию и процессам обеспечения разработки требований к их функциям и характеристикам.
Подробнее

Программная инженерия. Методологические основы.

Учебник содержит курс лекций, отражающий методологические основы современной программной инженерии, обеспечивающей жизненный цикл (ЖЦ) сложных программных средств (ПС). Представлены профили международных стандартов ЖЦ систем и комплексов программ, регламентирующие в программной инженерии, модели и процессы управления проектами ПС. Значительное внимание уделено системному анализу и технико-экономическому обоснованию проектов крупных ПС. Ряд лекций посвящен разработке требований, планированию, структурному и объектно-ориентированному проектированию ПС.
Подробнее