Журнал «Современная Наука»

ВОЗМОЖНОСТИ ИСПОЛЬЗОВАНИЯ ФУНКЦИОНАЛЬНЫХ ЯЗЫКОВ ДЛЯ АВТОМАТИЗАЦИИ ЗАДАЧ ВЕРИФИКАЦИИ

Соколов Илья Николаевич (аспирант, Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики )

Интерпретируемые языки программирования с динамической типизацией позволяют достаточно быстро писать программы и даже комплексы программ. Однако проблемные вопросы спецификации и верификации программ, написанных на таких языках практически, не поддаются автоматизации и зачастую выполняются вручную. В данной статье предложен метод автоматизированной верификации программ написанных на языках с динамической типизаций. Для решения вопросов с типами программа транслируется в функциональный язык программирования который используется в качестве языка спецификации с последующей параметризацией аргументов и построением полноценной модели для property-based тестирования.

Ключевые слова:Верификация программ, тестирование, функциональные языки программирования, спецификация, формальные методы, property-based testing

Читать полный текст статьи …

Ссылка для цитирования:
Соколов И. Н. ВОЗМОЖНОСТИ ИСПОЛЬЗОВАНИЯ ФУНКЦИОНАЛЬНЫХ ЯЗЫКОВ ДЛЯ АВТОМАТИЗАЦИИ ЗАДАЧ ВЕРИФИКАЦИИ // Современная наука: актуальные проблемы теории и практики. Серия: Естественные и Технические Науки. -2024. -№03. -С. 106-112 DOI 10.37882/2223-2966.2024.03.32

ПРАВОВАЯ ИНФОРМАЦИЯ:
Перепечатка материалов допускается только в некоммерческих целях со ссылкой на оригинал публикации. Охраняется законами РФ. Любые нарушения закона преследуются в судебном порядке.
© ООО "Научные технологии"