Translation

Перевод терминов из тестирования, проверки моделей и др.

Зафиксированные факты перевода и сложившиеся традиции.

Термины

Иностранное	Русское
сoncolic execution	конколическое исполнение [Сенн21]
CTL	темпоральная логика ветвящегося времени [Карп10]
dynamic symbolic execution	динамическая символьная интерпретация [Виш22]
fuzzing	фаззинг [Виш22]
model checking	верификация программ с помощью моделей [Агран03]; проверка модели [Виль15]; верификация моделей программ [Кларк02]; модельная верификация [Агран03]
LTL	темпоральная логика линейного времени [Карп10]
mutator	мутатор
property-based testing	тестирование с помощью свойств
sanitizer	санитайзер; динамический анализатор
soundness	здравость; непротиворечивость
symbolic execution	символьное исполнение [Сенн21]
testcase minimization	минимизация; усечение тесткейса

Источники

• Агран03: «Верификация программ с помощью моделей» https://www.osp.ru/os/2003/12/183691
• Виш22: «Поиск ошибок в бинарном коде методами динамической символьной интерпретации» А.В. Вишняков, Москва, 2022, https://vishnya.xyz/vishnyakov-phd-synopsis2022.pdf
• Карп10: «Model Checking. Верификация параллельных и распределенных программных систем.» Ю.Г. Карпов, СПб.: БХВ-Петербург, 2010
• Кларк02: «Верификация моделей программ. Model Checking.» Э.М. Кларк, О. Грамберг, Д. Пелед. M.: МЦНМО, 2002.
• Сенн21: «Немного про современные технологии Greybox-фаззинга» И. Сенновский https://habr.com/ru/companies/bizone/articles/570312/

Литература

• Словарь сленга функционального программирования
• Перевод хаскельных и околохаскельных терминов, имён и названий
• Перевод англоязычных терминов в тестировании ПО и около