Контроль целостности динамических объектов вычислительных систем с использованием метрических эталонов
Ключевые слова:
целостность, метрика программного обеспечения, формальная грамматика, продукционная система, конечный автомат, распознавательАннотация
В статье предлагается подход к контролю целостности динамических объектов по их метрическим эталонам. Создание эталона основывается на последовательном преобразовании процесса от дампа памяти до автомата переходов на графе состояний с расчетом структурных, информационных и операционных метрик. Это позволяет выявлять нарушения функциональных состояний объекта в памяти вычислительной системы. Представлен алгоритм контроля целостности динамических объектов антивирусного средства 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.
Monitoring of Integrity of Dynamic Objects of Computing Systems with Use of Metric Standards
Abstract
In article approach to monitoring of integrity of dynamic objects on their metric standards is offered. Creation of a standard is based on sequential conversion of process from a memory dump to the machine gun of transitions on a state graph with calculation of structural, information and operational metrics. It allows to reveal violations of the functional statuses of object in memory of the computing system. The algorithm of monitoring of integrity of dynamic objects of anti-virus means of Dr.Web is provided.
Опубликован
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).
