Предлагается модель дефектов программного обеспечения, основанная на целочисленном дескриптор-ном отображении. Программный код рассмотрен как упорядоченное множество программных кон-струкций, каждая из которых с некоторой вероятностью может содержать остаточный про-граммный дефект. Модель дефектов учитывает адресные операции, операции перехода и позволяет на основе статистических характеристик кода оценить долю остаточных дефектов, связанных с на-рушением семантических инвариантов, и эффективность метода, основанного на контроле целочис-ленных семантических дескрипторов.
