Кибернетика и программирование - рубрика Показатели качества и повышение надежности программных систем
по
Кибернетика и программирование
12+
Меню журнала
> Архив номеров > Рубрики > О журнале > Авторы > О журнале > Требования к статьям > Редакция и редакционный совет > Порядок рецензирования статей > Политика издания > Ретракция статей > Этические принципы > Политика открытого доступа > Оплата за публикации в открытом доступе > Online First Pre-Publication > Политика авторских прав и лицензий > Политика цифрового хранения публикации > Политика идентификации статей > Политика проверки на плагиат
Журналы индексируются
Реквизиты журнала

ГЛАВНАЯ > Журнал "Кибернетика и программирование" > Рубрика "Показатели качества и повышение надежности программных систем"
Показатели качества и повышение надежности программных систем
Раннев Е.В., Мясников В.И. - Анализ шума приемного тракта ЯМР-релаксометра c. 1-6

DOI:
10.7256/2306-4196.2014.6.13302

Аннотация: Традиционно, в импульсной ЯМР-спектроскопии сигналы регистрируются путем вычитания из них опорной частоты, близкой к ларморовой частоте ядра, оцифровки и дальнейшей числовой обработки. В современной ЯМР-аппаратуре тракт приемника состоит из преселектора, квадратурного детектора, нормирующего усилителя, фильтра низких частот и аналого-цифрового преобразователя. Недостатком такого приемника является длина аналогового тракта, поскольку при прохождении сигнала через каждый модуль, на него накладываются дополнительные шумы. Тепловой шум возникает при флуктуациях электронов в проводниках, имеющих определенную температуру. Такие флуктуации имеют спектральные составляющие, находящиеся в той же полосе частот, что и полезные сигналы, тем самым затрудняя их обработку. Спектр такого шума однороден на всех частотах. В данной статье проводится анализ природы шума приемного тракта релаксометра ядерного магнитного резонанса и оцениваются его характеристики, предлагается замена аналоговой части приемного тракта на цифровой квадратурный детектор и теоретически рассчитывается выгода от исключения нескольких источников шума.
Ревнивых А.В., Велижанин А.С. - Исследование дизассемблированного представления исполняемых файлов, сформированных различными компиляторами. Пример уязвимости на переполнение буфера c. 1-17

DOI:
10.25136/2644-5522.2019.1.28238

Аннотация: Предметом исследования является потенциальная уязвимость, в частности на переполнение буфера, в различном программном обеспечении, связанная с функцией стандартной библиотеки языка программирования С/С++ strcpy и подходы и методы поиска таковой уязвимости. Объектом исследования выступают данные машинного кода компиляторов при выполнении сборки программы в различных режимах. Целью исследования является провести анализ некоторых особенностей машинного кода, генерируемого различными компиляторами для Windows и Linux в режимах Debug и Release, в том числе, проведя на основе этого обзор уязвимости переполнения буфера. Методы исследования. В работе рассматриваются и развиваются методы построения алгоритмов поиска уязвимости переполнения буфера, исследуются характеристики данной уязвимости на уровне машинного кода. Для этого используются компиляторы Visual C++, Intel C++, g++, а также отладчики WinDBG, GDB. Ключевые выводы. Сборка программ в различных режимах приводит к формированию различий в исполняемом коде, который сделан из полностью одного и того же кода языка программирования высокого уровня; эти различия проявляются в отличиях в поведении программы. В ходе исследования программного обеспечения в поисках уязвимостей важно проводить анализ машинного кода с целью выявления скрытых закономерностей. Новизна исследования заключается в выявлении отличий в машинном коде, полученном после сборки одинакового высокоуровневого кода, определении «штампов» компиляторов при выполнении сборки программы в различных режимах. Особым вкладом автора в исследование темы является развитие методов построения алгоритмов поиска уязвимости переполнения буфера.
Кучинская-Паровая И.И. - Компонентное проектирование нейронных сетей для обработки баз знаний c. 9-15

DOI:
10.7256/2306-4196.2013.1.8308

Аннотация: В статье описаны основные этапы методики компонентного проектирования нейронных сетей для обработки баз знаний, представленных семантическими сетями. Методика основана на использовании унифицированной модели нейронной сети и компонентном подходе к работе с нейронными сетями. Важным элементом методики компонентного проектирования нейронных сетей является библиотека совместимых НС-компонент. Одним из возможных путей решения данных проблем может быть разработка методики проектирования и использования нейронных сетей на основе унифицированной модели нейронных сетей и компонентного подхода. Методика компонентного проектирования НС базируется на использовании библиотеки совместимых НС-компонент. Делается вывод, что использование предлагаемой методики компонентного проектирования НС позволит облегчить трудозатраты при проектировании и разработке НС, снизить требования к квалификации разработчика (конечного пользователя), а также решить задачу интеграции НС с другими методами представления и обработки информации при разработке интеллектуальных систем.
Голосовский М.С. - Алгоритмы автоматизированного выявления связей между элементами проекта разработки программного обеспечения c. 38-49

DOI:
10.25136/2644-5522.2017.6.19616

Аннотация: Предметом исследования является определение связей между элементами проекта разработки программного обеспечения, реализуемое с помощью трассировки требований на основе данных из систем контроля версий исходного программного кода. Многие известные методы трассировки являются зависимыми от языка программирования, что ограничивает их использование в проектах, разрабатываемых с использованием нескольких языков программирования. Поэтому цель исследования заключалась в формировании набора алгоритмов, позволяющих выстраивать связи между сущностями процесса разработки программного обеспечения (артефактами) на основе исходного кода, и анализировать эти связи (при этом код должен быть независимым от языка программирования и простым в реализации). Методология исследования объединяет методы системного анализа, программной инженерии, разработки программного обеспечения, теории надежности, информатики и математической квалиметрии. Основными выводами проведенного исследования являются алгоритмы автоматизированного определения связей между элементами проекта разработки программного обеспечения, позволяющие решать поставленные задачи выполнения импакт-анализа. Высокую вычислительную сложность разработанных алгоритмов можно снизить путем постепенного формирования глобальной матрицы связности по мере развития проекта. Точность разработанных алгоритмов можно повысить, если в качестве элемента связи брать не файл, а функцию или метод класса.
Поначугин А.В. - Определение надёжности программного обеспечения в структуре современной информационной системы c. 65-72

DOI:
10.25136/2644-5522.2019.2.20341

Аннотация: Предметом исследования является применение современных подходов для определения направленных на повышение надежности программного обеспечения мер безопасности и качества информационной системы. Объектом исследования являются модели определения надёжности программного обеспечения. Автор подробно рассматривает такие аспекты темы как: использование функционального подхода к изучению надежности программной составляющей, складывающейся из совокупного достижения надежности каждого функционального блока; использование системного подхода в части исследования надёжности программного обеспечения в структуре информационной системы. Особое внимание уделяется сопоставлению существующих моделей и способов определения надёжности. Предлагаемая методика оценки надежности программного обеспечения основывается на выделении функциональных блоков и позволяет гарантировать качество и надёжность конечного результата разработки программного обеспечения. Основные выводы проведённого исследования: использование системного подхода дает возможность выявить качества, следующие из взаимных связей между составляющими элементами программы, которые определяют современные способы повышения надежности программных продуктов. В работе предложено адаптировать главные системные принципы повышения надежности программного обеспечения, доказывается полезный эффект от их внедрения. Новизна исследования заключается в совместном использовании функционального и системного подходов с целью выявления способов роста качества и надежности, что позволяет учитывать особенности внутри структурных элементов программы и их взаимодействие.
Другие сайты издательства:
Официальный сайт издательства NotaBene / Aurora Group s.r.o.