RUSSIAN

Верификация и тестирование программных систем: учебное пособие для вузов

By Смирнова Н.Н.

Book information

Year
2014
Language
russian
Format
ZIP
Filesize
3 MB (3663646 bytes)
Pages
0\0
Time added
2021-06-08 23:37:33

Description

Кратко изложены теоретические аспекты верификации программных систем. Приведены различные алгебры процессов, их аксиоматика и семантика, понятие слабой и сильной бисимуляционной эквивалентности поведений агентов (системы), её значение для доказательства правильности работы программной системы. Представлены виды и способы тестирования системы, достоинства и недостатки структурного и функционального тестирования для различных видов программ. Для бакалавров и магистров, изучающих дисциплину "Теория и техника тестирования, верификации и валидации программных продуктов".

Similar books