Publication:
Analysis and comparison of generators of words of context-sensitive language on example of typed λ-calculus

Дата
2022
Авторы
Slieptsov, I. O.
Ismailova, L. Y.
Kosikov, S. V.
Journal Title
Journal ISSN
Volume Title
Издатель
Научные группы
Организационные подразделения
OrgUnit Logo
Организационная единица
Институт интеллектуальных кибернетических систем
Цель ИИКС и стратегия развития - это подготовка кадров, способных противостоять современным угрозам и вызовам, обладающих знаниями и компетенциями в области кибернетики, информационной и финансовой безопасности для решения задач разработки базового программного обеспечения, повышения защищенности критически важных информационных систем и противодействия отмыванию денег, полученных преступным путем, и финансированию терроризма.
Выпуск журнала
Аннотация
The given paper considers the problem of generating words of a context-dependent language and the problem of quantitative assessment of the constructed generators properties. The problem is considered in the context of property-bassed unit testing: this paper provides the developer with a method of comparing generators in order to find the most optimal one to ensure the required ratio of time for generating the test data, their complexity, diversity or other characteristics. The article proposes a system of characteristics that can be used to compare generators. The generator of typed О»-terms is considered as an example.
Описание
Ключевые слова
Цитирование
Slieptsov, I. O. Analysis and comparison of generators of words of context-sensitive language on example of typed λ-calculus / Slieptsov, I. O., Ismailova, L. Y., Kosikov, S. V. // Procedia Computer Science. - 2022. - 213. - № C. - P. 563-569. - 10.1016/j.procs.2022.11.105
URI
https://www.doi.org/10.1016/j.procs.2022.11.105
 https://www.scopus.com/record/display.uri?eid=2-s2.0-85146111260&origin=resultslist
 https://openrepository.mephi.ru/handle/123456789/28297
Коллекции
Публикации