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

Détails bibliographiques
Auteur principal:	Смирнова Н. Н.
Résumé:	Кратко изложены теоретические аспекты верификации программных систем. Приведены различные алгебры процессов, их аксиоматика и семантика, понятие слабой и сильной бисимуляционной эквивалентности поведений агентов (системы), её значение для доказательства правильности работы программной системы. Представлены виды и способы тестирования системы, достоинства и недостатки структурного и функционального тестирования для различных видов программ. Для бакалавров и магистров, изучающих дисциплину "Теория и техника тестирования, верификации и валидации программных продуктов". Книга из коллекции БГТУ "Военмех" им. Д.Ф. Устинова - Инженерно-технические науки
Publié:	Санкт-Петербург, БГТУ "Военмех" им. Д.Ф. Устинова, 2014
Sujets:	верификация программных систем формальные методы верификации метод верификации на модели алгебры процессов исчисление взаимодействующих систем (ccs) эквивалентность поведения. конгруэнции эквивалентность множеств путей (trace equivalence) бисимуляция и наблюдаемая эквивалентность сведение операций ccs к операциям над именованными системами переходов алгоритм вычисления бисимуляции основные ошибки взаимодействующих объектов на примере спецификации протокола анализ распределенных систем при помощи ccs тестирование программных систем основные понятия ошибки на этапах жизненного цикла (жц) тестирования ключевой вопрос тестирования рекомендуемая последовательность разработки тестов для программного модуля структурное тестирование (белого ящика) средства автоматизации тестирования организационные аспекты процесса тестирования
Accès en ligne:	http://e.lanbook.com/books/element.php?pl1_id=63704 https://e.lanbook.com/img/cover/book/63704.jpg
Format:	Électronique Livre