Методы отладки и верификации функционально-потоковых параллельных программ
Скачать файл:
URI (для ссылок/цитирований):
https://elib.sfu-kras.ru/handle/2311/2337Автор:
Удалова, Ю.В.
Udalova, Julia V.
Легалов, А.И.
Legalov, Alexander I.
Сиротинина, Н.Ю.
Sirotinina, Natalie U.
Дата:
2011-04Аннотация:
В статье предлагаются методы отладки функционально-потоковых параллельных программ,
обеспечивающие гибкий анализ параллельных процессов и их визуальное восприятие с различных
позиций. Рассмотрен подход к их формальной верификации, базирующийся на переборе,
поступающих в асинхронные списки данных, эквивалентный методу проверки моделей. Это
позволяет проанализировать корректность разрабатываемых программ без построения
специализированных промежуточных моделей. Debug function-stream parallel program can pass in one of the four realized modes: mode of
incremental debug, mode of layer debug, mode of branch debug and mode of formulas checking.
Verification of function-stream parallel programs with asynchronous lists is described in article.