Цена: 1 250 ₽
Издательство: ФИЗМАТЛИТ
Серия: Математика. Прикладная математика
Год издания: 2008
ISBN: 978-5-9221-0936-9
В работе изучается тестирование соответствия систем, в которых возможно применение блокировок и разрушений. Рассматриваются алгоритмы преобразования и оптимизации таких систем. Анализируются различные виды поломки спецификаций тестирования, такие как "неисправность" (fault) и "сбой" (failure). Анализируется структура систем с блокировками и разрушениями, а также методы их тестирования. Рассматриваются вопросы образования спецификаций, которые могут быть использованы для автоматического тестирования. Изучается общая теория алгоритмической верификации и тестирования. Представлены достаточные условия для верификации и тестирования систем с блокировками и разрушениями. Рассматриваются алгоритмы преобразования и оптимизации таких систем.
#Математика #системы #теория соответствия #блокировки #разрушения