Электронный каталог

Электронный ресурс
32.971.3я73

Смирнова, Наталия Николаевна.
Верификация и тестирование программных систем [Электронный ресурс] : Учебное пособие / Н. Н. Смирнова ; М-во образования и науки Российской Федерации, Балтийский гос. технический ун-т "Военмех". – Санкт-Петербург : БГТУ "Военмех" им. Д.Ф. Устинова, 2014. – 35 с. – Режим доступа : http://e.lanbook.com/books/element.php?pl1_id=63704. – Библиогр.: с. 64. – Для авторизованных пользователей МПГУ. – Книга из коллекции БГТУ "Военмех" им. Д.Ф. Устинова - Инженерно-технические науки. – На рус. яз. – ISBN 978-5-85546-787-1.

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

ББК 32.971.3я73
ББК 32.973я73
004.415.5(075.8)

техника = техника : вычислительная техника : аппаратные средства вычислительной техники : электронные вычислительные машины
техника = техника : вычислительная техника : программирование
основной = виды изданий : учебные издания
основной = читательское назначение : вузы
основной = ЭБС Лань (СЭБ)
основной = ЭБС Лань
основной = Лань (СЭБ) сделано