АНАЛИЗ КАЧЕСТВА РАЗРАБОТАННЫХ ПРОГРАММНЫХ СРЕДСТВ, ИСПОЛЬЗУЕМЫХ В НЕФТЕПЕРЕРАБАТЫВАЮЩЕМ И НЕФТЕХИМИЧЕСКОМ ПРОИЗВОДСТВЕ

В. В. Фомина, Т. М. Левина, Р. Р. Исламгулов, В. О. Черникова

Аннотация


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

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

Ключевым моментом статьи является проверка разрабатываемых программных средств на семантические ошибки, описание программы в соответствии с ГОСТ 28806-90 «Качество программных средств. Термины и определения». Важность своевременной проверки программного средства на различные ошибки очень велика, так как они могу нанести существенный ущерб, значительно превышающий положительный эффект от их использования.

В статье рассмотрена важность правильного употребления IT терминов и выражений. Рассмотрены статический и динамический анализы исходного кода программного обеспечения. Рассмотрены достоинства и недостатки для каждого из видов анализа, которые представлены в таблице. Проведен статический анализ двух программных продуктов с помощью анализатора PVS-Studio. На основе проведенного анализа сделаны соответствующие выводы.


Ключевые слова


program code;program description;semantic analysis;semantic error;semantics;software;описание программы;программное обеспечение;программный код;семантика;семантические ошибки;семантический анализ

Полный текст:

PDF

Литература


Fomina V. V., Zharinov Yu. A., Abyzgildin A.Yu. Building up the hybrid graph of the oil chemical production on the basis of the graphical model of the process // Нефтегазовое дело. 2016. Т. 14, №1. С.157-164.

Фомина В. В., Абызгильдин А. Ю. Метод оптимизации нефтехимических процессов с применением графических моделей технологических систем // Нефтегазовое дело. 2016. Т. 14, № 3. С. 141-144.

Fomina V. V., Zharinov Yu. A., Abyzgildin A. Yu. Graphical modeling method application in construction of petrochemical plant bloc-diagram // Oil and Gas Business. 2014. № 1, pp. 263-272. URL: http://ogbus.ru/eng/authors/FominaVV/FominaVV_1.pdf.

Фомина В. В., Катков А. Н., Абызгильдин А. Ю. Анализ структуры и построение графической модели сложного нефтехимического комплекса // Нефтепереработка и нефтехимия. Научно-технические достижения и передовой опыт. 2010. №2. С. 33-39.

Катков А. Н., Фомина В. В., Абызгильдин А. Ю. Анализ и оптимизация технологического процесса с применением метода графического моделировкания // Нефтепереработка и нефтехимия. Научно-технические достижения и передовой опыт. 2010. №3. С. 30-33.

Фомина В. В., Абызгильдин А. Ю. Представление блок-схемы завода нефтехимического профиля методом графического моделирования // Нефтепереработка и нефтехимия. Научно-технические достижения и передовой опыт. 2008. №3. С. 38-42.

Ферлюдин Ю. П., Фомина В. В., Абызгильдин А. Ю. Блок-схема ОАО «Салаватнефтеоргсинтез», построенная методом графического моделирования // Нефтепереработка и нефтехимия. Научно-технические достижения и передовой опыт. 2008. №4-5. С. 117-120.

Абызгильдин А. Ю., Фомина В. В. Графическая модель блок-схемы нефтеперерабатывающего завода ОАО «Салаватнефтеоргсинтез» // Нефтегазовое дело. 2008. Т. 6, № 1. С. 44-46.

Абызгильдин А. Ю., Фомина В. В., Рахимова З. Ф. Графическое представление сложного нефтехимического комплекса методом графических моделей // Нефтегазовое дело. 2008. Т. 6, № 2. С. 137-140.

Фомина В. В. Анализ структуры нефтехимического комплекса и оптимизация технологических схем с применением метода графических моделей: дис… канд. техн. наук . Уфа, 2009.

Фомина В. В. Анализ структуры нефтехимического комплекса и оптимизация технологических схем с применением метода графических моделей: автореф. дис. канд. техн. наук. Уфа, 2009.

Абызгильдин А. Ю., Фомина В. В. Графические модели процессов первичной переработки, термических, термокаталитических и термогидрокаталитических процессов переработки нефти и газа. Уфа: УГНТУ, 2016. 87 с.

Абызгильдин А. Ю., Фомина В. В. Графические модели процессов переработки масел. Уфа: УГНТУ, 2016. 88 с.

ГОСТ 28806-90 «Качество программных средств. Термины и определения». М.: Стандартинформ, 2005.

Лунева Н. Н., Левина Т. М. Программный инструмент для принятия управленческих решений // Вестник экономики и менеджмента. 2016. №3. С.31-36

Ураксеев М. А., Левина Т. М., Шамаев Ф. Ф., Кулябин А. С. Разработка волоконно-оптических систем для учета, мониторинга и прогнозирования работы высоковольтного оборудования в СУБД с web-интерфейсом // Электротехнические и информационные комплексы и системы. 2015. Т 11, №1. С. 97-103

Ураксеев М. А., Левина Т. М. Применение магнитооптического элемента фарадея в информационно-измерительных системах контроля магнитного поля и электрического тока // Прикаспийский журнал: управление и высокие технологии. 2008. № 2. С. 24-31.

Ураксеев М. А., Левина Т. М. Оптоволоконные трансформаторы как элементы современных электротехнических комплексов и систем // Электротехнические и информационные комплексы и системы. 2013. Т 9. №2. С. 23-29.

Filippov V. N., Scharafiev R., Galiakbarova E., Sultanova E., Efimenko E. Systems clearing constructions enterprises of oil refining and petrochemicals the republic of bashkortostan at the present stage of planning of protection water resources // Oriental Journal of Chemistry. 2015. Т. 31, № 5, pp. 157-163.

Левина Т. М., Бажанова Т. В. Удаленное предоставление производственной информации по запросу пользователя //Сборник тезисов докладов VI науч.-техн. конф. молодых специалистов ООО "БашНИПИнефть". 2016. С. 115-116.

Лунева Н. Н., Левина Т. М. Применение информационных технологий в управлении и организации проведения ремонтов на предприятиях нефтехимии и нефтепереработки //Вестник экономики и менеджмента. 2016. № 3. С. 26-31.

Левина Т. М., Каримов Р. Р. Алгоритм учета некорректных данных оборудования как способ повышения техносферной безопасности // Инновационные научные исследования: теория, методология, практика. 2016. C. 40-43 с.

Ураксеев М. А., Левина Т. М., Бажанова Т. В. Алгоритм работы цифрового устройства интегрирования в измерительном комплексе контроля электрического тока и магнитного поля // Электротехнические и информационные комплексы и системы. 2016. Т. 12. № 2. С. 80-84.




DOI: http://dx.doi.org/10.17122/ogbus-2017-4-194-214

Ссылки

  • На текущий момент ссылки отсутствуют.