Показать сокращенную информацию

dc.contributor.authorПетрик, В.Л.
dc.contributor.authorМанжос, Ю.С.
dc.date.accessioned2022-12-14T13:40:26Z
dc.date.available2022-12-14T13:40:26Z
dc.date.issued2008
dc.identifier.citationПетрик, В. Л. Модель дефектов программного обеспечения / В. Л. Петрик, Ю. С. Манжос // Радіоелектронні і комп'ютерні системи. – 2008. – № 3. – С. 46–51.uk_UA
dc.identifier.issn1814-4225
dc.identifier.urihttp://dspace.library.khai.edu/xmlui/handle/123456789/3275
dc.description.abstractПредлагается модель дефектов программного обеспечения, основанная на целочисленном дескрипторном отображении. Программный код рассмотрен как упорядоченное множество программных конструкций, каждая из которых с некоторой вероятностью может содержать остаточный программный дефект. Модель дефектов учитывает адресные операции, операции перехода и позволяет на основе статистических характеристик кода оценить долю остаточных дефектов, связанных с нарушением семантических инвариантов, и эффективность метода, основанного на контроле целочисленных семантических дескрипторов.uk_UA
dc.description.abstractПропонується модель дефектів програмного забезпечення, заснована на цілісному дескрипторному відображенні. Програмний код розглянуто як упорядковане безліч програмних конструкцій, кожна з яких з певною ймовірністю може містити залишковий програмний дефект. Модель дефектів враховує адресні операції, операції переходу та дозволяє на основі статистичних характеристик коду оцінити частку залишкових дефектів, пов'язаних з порушенням семантичних інваріантів, та ефективність методу, заснованого на контролі цілих семантичних дескрипторів.uk_UA
dc.language.isoruuk_UA
dc.publisherХАІuk_UA
dc.subjectрадиоэлектронные и компьютерные системыuk_UA
dc.subjectпрограммное обеспечениеuk_UA
dc.subjectсемантический контрольuk_UA
dc.subjectсемантический инвариантuk_UA
dc.subjectдескрипторuk_UA
dc.subjectрадіоелектронні і комп'ютерні системиuk_UA
dc.subjectпрограмне забезпеченняuk_UA
dc.subjectсемантичний контрольuk_UA
dc.subjectсемантичний інваріантuk_UA
dc.titleМодель дефектов программного обеспеченияuk_UA
dc.typeArticleuk_UA


Файлы в этом документе

Thumbnail

Данный элемент включен в следующие коллекции

Показать сокращенную информацию