В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие циклы и ветвления. Предложенный метод включает моделирование исполнения многопоточного приложения и анализ построенной модели. Модель подходит для реальных задач, под которыми понимаются те, где логика и понятие корректности привязаны к конкретным значениям переменных и истории операций над разделяемыми переменными, а не к попарному их сопоставлению.
Также имеется ФРАГМЕНТ ТЕКСТА для ознакомления!
Коротко о главном в электронной книге темы Программирование с идентификатором 4990859:
Н. В. Заборовский, А. Г. Тормасов работа о процессе разработки программ математика, программирование, прочая образовательная литература
Ниже приведены ТЕГИ, по которым можно посмотреть аналоги книг о процессе разработки ПО.
Скачать Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки ОнЛайн
Электронная книга Прикладная информатика. Научные статьи в жанре математика, программирование, прочая образовательная литература многопоточное исполнение, состояние гонки, статический анализ кода, эффективные алгоритмы для обучения и всестороннего развития.
Скачать ОнЛайн материалы автора Н. В. Заборовский, А. Г. Тормасов на устройства FB2 EPUB TXT RTF PDF HTML MOBI форматы. Цена от бесплатной до выставленной и в данном случае стоимость скачивания составляет 96.00 руб.
Читать бесплатно отрывок из книги или купить полную электронную версию:
ЧИТАТЬ ФРАГМЕНТ КУПИТЬ КНИГУ за 96.00 руб.