Поиск :
Личный кабинет :
Электронный каталог: Смирнова, Наталия Николаевна - Верификация и тестирование программных систем
Смирнова, Наталия Николаевна - Верификация и тестирование программных систем
Нет экз.
Электронный ресурс
Автор: Смирнова, Наталия Николаевна
Верификация и тестирование программных систем : Учебное пособие
Издательство: БГТУ "Военмех" им. Д.Ф. Устинова, 2014 г.
ISBN 978-5-85546-787-1
Автор: Смирнова, Наталия Николаевна
Верификация и тестирование программных систем : Учебное пособие
Издательство: БГТУ "Военмех" им. Д.Ф. Устинова, 2014 г.
ISBN 978-5-85546-787-1
Электронный ресурс
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)
техника = техника : вычислительная техника : аппаратные средства вычислительной техники : электронные вычислительные машины
техника = техника : вычислительная техника : программирование
основной = виды изданий : учебные издания
основной = читательское назначение : вузы
основной = ЭБС Лань (СЭБ)
основной = ЭБС Лань
основной = Лань (СЭБ) сделано
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)
техника = техника : вычислительная техника : аппаратные средства вычислительной техники : электронные вычислительные машины
техника = техника : вычислительная техника : программирование
основной = виды изданий : учебные издания
основной = читательское назначение : вузы
основной = ЭБС Лань (СЭБ)
основной = ЭБС Лань
основной = Лань (СЭБ) сделано