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

Кратко изложены теоретические аспекты верификации программных систем. Приведены различные алгебры процессов, их аксиоматика и семантика, понятие слабой и сильной бисимуляционной эквивалентности поведений агентов (системы), её значение для доказательства правильности работы программной системы. Представлены виды и способы тестирования системы, достоинства и недостатки структурного и функционального тестирования для различных видов программ. Для бакалавров и магистров, изучающих дисциплину 'Теория и техника тестирования, верификации и валидации программных продуктов'. Н. Н. Смирнова; БГТУ 'ВОЕНМЕХ' ISBN 978-5-85546-787-1

Читать далее и скачать

Основы теории надёжности программного обеспечения

Отражены современное состояние и перспективы в области надёжности программных средств. Дана их общая характеристика как объекта эксплуатации. Рассмотрены параметры потоков ошибок, модели и методы расчёта надёжности ПО. Приведены модель отладочных испытаний, методы повышения и обеспечения надёжности многомодульных программных систем. Предложены модель форсированных испытаний и основы точностной теории надёжности ПО. Представлено введение в синергетику и динамическую теорию информации. Для студентов вузов, обучающихся по направлениям подготовки 'Приборостроение', 'Оптотехника', 'Фотоника и оптоинформатика' и специальности 'Приборы и системы лучевой энергетики' и изучающих теорию надёжности технических и информационных систем. Может быть полезен аспирантам и преподавателям. В. А. Смагин, А. Н. Дорохов; БГТУ 'ВОЕНМЕХ' ISBN 978-5-85546-479-9

Читать далее и скачать