Контроль целостности динамических объектов вычислительных систем с использованием метрических эталонов
Ключевые слова:
целостность, метрика программного обеспечения, формальная грамматика, продукционная система, конечный автомат, распознавательАннотация
В статье предлагается подход к контролю целостности динамических объектов по их метрическим эталонам. Создание эталона основывается на последовательном преобразовании процесса от дампа памяти до автомата переходов на графе состояний с расчетом структурных, информационных и операционных метрик. Это позволяет выявлять нарушения функциональных состояний объекта в памяти вычислительной системы. Представлен алгоритм контроля целостности динамических объектов антивирусного средства Dr.Web.Литература
1. Платонов А.А., Тимофеев В.И., Шаршаков В.Н., Ломако А.Г. Модель угроз целостности вычислений в автоматизированных системах // Труды Института системного анализа Российской академии наук. 2013. №27. С. 321–337.
2. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции // М.: Мир. 1978. Т. 1. 614 с.
3. Баранов С.Н., Тележкин А.М. Метрическое обеспечение программных разработок // Труды СПИИРАН. 2014. №5(36). С. 5–27.
4. Холстед М.Х. Начала науки о программах // М.: Фин. и статистика. 1981. 128 с.
5. Watson A.H., McCabe Th.J., Dolores R. Structured Testing: a Testing Methodology Using the Cyclomatic Complexity Metric // National Institute of Standards and Technology Special Publication 500-235. 1996. 123 p.
6. Neelamegam C., Punithavalli M. Enhanced ensemble prediction algorithms for detecting faulty modules in object oriented systems using quality metrics // Journal of Computer Science. 2012. vol. 8. Issue 12. pp. 2075–2082.
7. Карповский Е.Я., Чижов С.А. Надежность программной продукции // Киев: Техника. 1990. 171 с.
8. Федорченко Л.Н. Регуляризация контекстно-свободных грамматик на основе эквивалентных преобразований синтаксических граф-схем // Труды СПИИРАН. 2010. №4(15). С. 213–230.
2. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции // М.: Мир. 1978. Т. 1. 614 с.
3. Баранов С.Н., Тележкин А.М. Метрическое обеспечение программных разработок // Труды СПИИРАН. 2014. №5(36). С. 5–27.
4. Холстед М.Х. Начала науки о программах // М.: Фин. и статистика. 1981. 128 с.
5. Watson A.H., McCabe Th.J., Dolores R. Structured Testing: a Testing Methodology Using the Cyclomatic Complexity Metric // National Institute of Standards and Technology Special Publication 500-235. 1996. 123 p.
6. Neelamegam C., Punithavalli M. Enhanced ensemble prediction algorithms for detecting faulty modules in object oriented systems using quality metrics // Journal of Computer Science. 2012. vol. 8. Issue 12. pp. 2075–2082.
7. Карповский Е.Я., Чижов С.А. Надежность программной продукции // Киев: Техника. 1990. 171 с.
8. Федорченко Л.Н. Регуляризация контекстно-свободных грамматик на основе эквивалентных преобразований синтаксических граф-схем // Труды СПИИРАН. 2010. №4(15). С. 213–230.
Опубликован
2015-03-10
Как цитировать
Платонов, А. А., & Тимофеев, В. И. (2015). Контроль целостности динамических объектов вычислительных систем с использованием метрических эталонов. Труды СПИИРАН, 1(38), 136-160. https://doi.org/10.15622/sp.38.8
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
