The 4 reference contexts in paper A. Brakarenka S., А. Бракоренко С. (2015) “ТЕСТИРОВАНИЕ И ОБЕСПЕЧЕНИЕ КАЧЕСТВА ПРОГРАММНО-ТЕХНИЧЕСКИХ КОМПЛЕКСОВ НА ОСНОВЕ ИСПОЛЬЗОВАНИЯ ВИРТУАЛЬНЫХ ТЕХНОЛОГИЧЕСКИХ ОБЪЕКТОВ // TESTING AND QUALITY ASSURANCE OF SOFTWARE AND HARDWARE SYSTEMS BASED ON USE OF VIRTUAL TECHNOLOGICAL OBJECTS” / spz:neicon:pimi:y:2014:i:2:p:75-80

  1. Start
    3204
    Prefix
    объектов Обеспечение качества ПО – непрерывный процесс в течение всего жизненного цикла ПО, который охватывает: – методы и средства анализа, проектирования и кодирования; – технические отчеты, выполняющиеся на каждом шаге разработки ПО; – процедуры обеспечения соответствия стандартам в области разработки ПО, соответствие которым определено в задании на разработку данного ПО
    Exact
    [1]
    Suffix
    . Качество ПО можно определить как соответствие явно установленным функциональным и эксплуатационным требованиям, явно указанным стандартам разработки и неявным характеристикам, которые ожидаются от профессионально разработанного ПО.
    (check this in PDF content)

  2. Start
    5500
    Prefix
    Данные приложения позволяют получать доступ к данным контроллера в режиме реального времени как для их чтения, так и с возможностью записи в память контроллера. Процесс обмена данными между ПЛК и персональным компьютером (ПК) осуществляется при помощи технологии ОРС
    Exact
    [2]
    Suffix
    . Рисунок 1 – Структурная схема автоматизированной системы управления технологическими процессами, основанной на технологии ОРС OPC представляет собой универсальный программный интерфейс, который может использоваться на устройствах, поставляемых различными производителями (рисунок 1).
    (check this in PDF content)

  3. Start
    9750
    Prefix
    Рассмотрим более подробно процесс тестирования программы управления АСУ, реализованной на базе контроллеров Simatic S7 400 фирмы Siemens, на примере использования виртуальной модели в Matlab. Переменные, созданные на этапе настройки ОРС сервера
    Exact
    [3]
    Suffix
    , в качестве выходных воздействий передаются из симулятора ПЛК в OPC сервер п.1 (рисунок 3). Далее данные (2) передаются в Matlab Simulink и преобразуются во внутренние переменные Matlab Simulink посредством инструментов OPC Tool (OPC read (cache)).
    (check this in PDF content)

  4. Start
    11375
    Prefix
    за всеми происходящими процессами и производить управляющие воздействия как внутри математической модели, так и в самой логике контроллера, что является несомненным плюсом данного метода. Также мы получаем возможность тестирования всей программы целиком, а не её модулей в отдельности, что позволяет проверить межблочные связи – места наибольшего риска появления ошибок
    Exact
    [4]
    Suffix
    . Приведенный алгоритм также позволяет проводить моделирование различных нештатных и аварийных событий, проверить корректность работы алгоритмов защит, блокировок, предупредительной и аварийной сигнализации.
    (check this in PDF content)