Описание
Обзор формальных методов спецификации и описания для распределённых и открытых систем. Техники верификации. Доказательства корректности. Верификация общих свойств распределённых систем. Анализ и стратегии смягчения. Техники тестирования. Стратегии генерации тестов. Архитектуры тестирования.
Текст источника на языке оригинала
Review of formal specification and description techniques for distributed and open systems. Verification techniques. Correctness proofs. Verification of general properties of distributed systems. Analysis and relief strategies. Testing techniques. Test generation strategies. Test architectures.
Источники и ссылки
Даты и источники сохраняются, чтобы помочь вам проверить сведения. Переводы предлагаются для удобства чтения; официальным источником для условий и требований является оригинал.
Исходная ссылка : https://calendar.carleton.ca/grad/courses/COMP/