Верификация и тестирование программных систем, учебное пособие для вузов
| Autore principale: | |
|---|---|
| Riassunto: | Кратко изложены теоретические аспекты верификации программных систем. Приведены различные алгебры процессов, их аксиоматика и семантика, понятие слабой и сильной бисимуляционной эквивалентности поведений агентов (системы), её значение для доказательства правильности работы программной системы. Представлены виды и способы тестирования системы, достоинства и недостатки структурного и функционального тестирования для различных видов программ. Для бакалавров и магистров, изучающих дисциплину "Теория и техника тестирования, верификации и валидации программных продуктов". Книга из коллекции БГТУ "Военмех" им. Д.Ф. Устинова - Инженерно-технические науки |
| Pubblicazione: |
Санкт-Петербург, БГТУ "Военмех" им. Д.Ф. Устинова, 2014
|
| Soggetti: | |
| Accesso online: | http://e.lanbook.com/books/element.php?pl1_id=63704 https://e.lanbook.com/img/cover/book/63704.jpg |
| Natura: | Elettronico Libro |
MARC
| LEADER | 00000nam0a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 63704 | ||
| 010 | |a 978-5-85546-787-1 | ||
| 100 | |a 20250516d2014 k y0rusy01020304ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 105 | |a y j 000zy | ||
| 106 | |a z | ||
| 200 | 1 | |a Верификация и тестирование программных систем |b Электронный ресурс |f Смирнова Н. Н. |e учебное пособие для вузов | |
| 210 | |a Санкт-Петербург |b Санкт-Петербург |c БГТУ "Военмех" им. Д.Ф. Устинова |d 2014 | ||
| 215 | |a 35 с. | ||
| 330 | |a Кратко изложены теоретические аспекты верификации программных систем. Приведены различные алгебры процессов, их аксиоматика и семантика, понятие слабой и сильной бисимуляционной эквивалентности поведений агентов (системы), её значение для доказательства правильности работы программной системы. Представлены виды и способы тестирования системы, достоинства и недостатки структурного и функционального тестирования для различных видов программ. Для бакалавров и магистров, изучающих дисциплину "Теория и техника тестирования, верификации и валидации программных продуктов". | ||
| 333 | |a Книга из коллекции БГТУ "Военмех" им. Д.Ф. Устинова - Инженерно-технические науки | ||
| 610 | 0 | |a верификация программных систем | |
| 610 | 0 | |a формальные методы верификации | |
| 610 | 0 | |a метод верификации на модели | |
| 610 | 0 | |a алгебры процессов | |
| 610 | 0 | |a исчисление взаимодействующих систем (ccs) | |
| 610 | 0 | |a эквивалентность поведения. конгруэнции | |
| 610 | 0 | |a эквивалентность множеств путей (trace equivalence) | |
| 610 | 0 | |a бисимуляция и наблюдаемая эквивалентность | |
| 610 | 0 | |a сведение операций ccs к операциям над именованными системами переходов | |
| 610 | 0 | |a алгоритм вычисления бисимуляции | |
| 610 | 0 | |a основные ошибки взаимодействующих объектов на примере спецификации протокола | |
| 610 | 0 | |a анализ распределенных систем при помощи ccs | |
| 610 | 0 | |a тестирование программных систем | |
| 610 | 0 | |a основные понятия | |
| 610 | 0 | |a ошибки на этапах жизненного цикла (жц) тестирования | |
| 610 | 0 | |a ключевой вопрос тестирования | |
| 610 | 0 | |a рекомендуемая последовательность разработки тестов для программного модуля | |
| 610 | 0 | |a структурное тестирование (белого ящика) | |
| 610 | 0 | |a средства автоматизации тестирования | |
| 610 | 0 | |a организационные аспекты процесса тестирования | |
| 675 | |a 004.415.5(075.8) | ||
| 700 | 1 | |a Смирнова |b Н. Н. | |
| 801 | 1 | |a RU |b Издательство Лань |c 20250516 |g RCR | |
| 856 | 4 | |u http://e.lanbook.com/books/element.php?pl1_id=63704 | |
| 856 | 4 | 1 | |u https://e.lanbook.com/img/cover/book/63704.jpg |
| 953 | |a https://e.lanbook.com/img/cover/book/63704.jpg | ||