Вариант модельный (ошибки) —
Подтип некоторого типа ошибки в программе, отнесение к которому осуществляется исходя из особенностей реализации ошибки данного типа и особенностей языка программирования.
Примечание. Разбиение типа ошибки на варианты модельные применяется из-за ограничений технологических анализа статического в целях эффективной работы анализаторов статических, сводя задачу поиска ошибки более общего типа к задаче поиска ошибок множества подтипов [ ГОСТ Р 71207-2024 ].