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

Russian (CIS)English (United Kingdom)
 MOSCOW +7(495)-142-86-81

POSSIBILITY OF USING FUNCTIONAL LANGUAGES TO AUTOMATE VERIFICATION TASKS

Sokolov Ilya Nikolayevich  (graduate student, St. Petersburg National Research University of Information Technologies, Mechanics and Optics )

Interpreted programming languages with dynamic typing allow you to write programs and even entire systems quickly enough. However, the problems of specification and verification of programs written in such languages are practically not amenable to automation and are often performed manually. In this paper, a method of automated verification of programs written in languages with dynamic typing is proposed. To solve problems with types, the program is translated into a functional programming language that is used as a specification language with subsequent parameterization of arguments and the construction of a full-fledged model for property-based testing.

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

Read the full article …

Citation link:
Sokolov I. N. POSSIBILITY OF USING FUNCTIONAL LANGUAGES TO AUTOMATE VERIFICATION TASKS // Современная наука: актуальные проблемы теории и практики. Серия: Естественные и Технические Науки. -2024. -№03. -С. 106-112 DOI 10.37882/2223-2966.2024.03.32
LEGAL INFORMATION:
Reproduction of materials is permitted only for non-commercial purposes with reference to the original publication. Protected by the laws of the Russian Federation. Any violations of the law are prosecuted.
© ООО "Научные технологии"

Terms Publications

Issues of the journals (Archive)

ECONOMICS AND LAW
HUMANITIES
NATURAL AND TECHNICAL SCIENCES
COGNITION

Серия - Natural and Technical Sciences