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

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

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

Верификация программного обеспечения

Знакомит с современными технологиями верификации программного обучения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. С. В. Синицын, Н. Ю. Налютин ISBN 978-5-94774-644-0

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