Верификация и тестирование программных систем
Инженерно-технические науки Бакалавриат Магистратура
Характеристики
2014 год • 35 страниц • 1.1 MB
Издательство Балтийский государственный технический университет «Военмех» имени Д.Ф. Устинова
ISBN 978-5-85546-787-1
Тип издания учебное пособие для вузов
Описание
Кратко изложены теоретические аспекты верификации программных систем. Приведены различные алгебры процессов, их аксиоматика и семантика, понятие слабой и сильной бисимуляционной эквивалентности поведений агентов (системы), её значение для доказательства правильности работы программной системы. Представлены виды и способы тестирования системы, достоинства и недостатки структурного и функционального тестирования для различных видов программ. Для бакалавров и магистров, изучающих дисциплину "Теория и техника тестирования, верификации и валидации программных продуктов".
