Модель дефектов программного обеспечения

Abstract

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

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