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

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

Bibliografiske detaljer
Hovedforfatter: Смирнова Н. Н.
Summary:Кратко изложены теоретические аспекты верификации программных систем. Приведены различные алгебры процессов, их аксиоматика и семантика, понятие слабой и сильной бисимуляционной эквивалентности поведений агентов (системы), её значение для доказательства правильности работы программной системы. Представлены виды и способы тестирования системы, достоинства и недостатки структурного и функционального тестирования для различных видов программ. Для бакалавров и магистров, изучающих дисциплину "Теория и техника тестирования, верификации и валидации программных продуктов".
Книга из коллекции БГТУ "Военмех" им. Д.Ф. Устинова - Инженерно-технические науки
Udgivet: Санкт-Петербург, БГТУ "Военмех" им. Д.Ф. Устинова, 2014
Fag:
верификация программных систем
формальные методы верификации
метод верификации на модели
алгебры процессов
исчисление взаимодействующих систем (ccs)
эквивалентность поведения. конгруэнции
эквивалентность множеств путей (trace equivalence)
бисимуляция и наблюдаемая эквивалентность
сведение операций ccs к операциям над именованными системами переходов
алгоритм вычисления бисимуляции
основные ошибки взаимодействующих объектов на примере спецификации протокола
анализ распределенных систем при помощи ccs
тестирование программных систем
основные понятия
ошибки на этапах жизненного цикла (жц) тестирования
ключевой вопрос тестирования
рекомендуемая последовательность разработки тестов для программного модуля
структурное тестирование (белого ящика)
средства автоматизации тестирования
организационные аспекты процесса тестирования
Online adgang:http://e.lanbook.com/books/element.php?pl1_id=63704
https://e.lanbook.com/img/cover/book/63704.jpg
Format: Electronisk Bog
Beskrivelse
Fysisk beskrivelse:35 с.
Summary:Кратко изложены теоретические аспекты верификации программных систем. Приведены различные алгебры процессов, их аксиоматика и семантика, понятие слабой и сильной бисимуляционной эквивалентности поведений агентов (системы), её значение для доказательства правильности работы программной системы. Представлены виды и способы тестирования системы, достоинства и недостатки структурного и функционального тестирования для различных видов программ. Для бакалавров и магистров, изучающих дисциплину "Теория и техника тестирования, верификации и валидации программных продуктов".
Книга из коллекции БГТУ "Военмех" им. Д.Ф. Устинова - Инженерно-технические науки
ISBN:978-5-85546-787-1

Lignende værker