Тип публикации: диссертация
Год издания: 2015
Ключевые слова: отладка, верификация, параллельное программирование, функциональное программирование
Аннотация: Цель: разработка методов и инструментальных средств, обеспечивающих отладку и верификацию функционально-потоковых параллельных (ФПП) программ. Поставленные задачи решались с использованием методов доказательства теорем, методов проверки моделей, элементов теории графов и интервального анализа. Разработаны комплекс методов отладки ФПоказать полностьюПП-программ, базирующийся на различных принципах выбора шага отладки на информационном графе, а также методы верификации ФПП-программ, использующие комбинаторный анализ, информационные графы и интервальные константы. Предложена оригинальная инструментальная среда для отладки и верификации ФПП-программ, используемая при выполнении научно-методических проектов и в учебном процессе СФУ. Результаты исследования рекомендуются использовать в учреждениях, занимающихся разработкой языков и методов функционального и параллельного программирования.