The 19 reference contexts in paper A. Antonov V., E. Zharko F., V. Promyslov G., А. Антонов В., Е. Жарко Ф., В. Промыслов Г. (2016) “ПРОБЛЕМЫ ОЦЕНКИ НАДЕЖНОСТИ И КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В АВТОМАТИЗИРОВАННЫХ СИСТЕМАХ УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИМИ ПРОЦЕССАМИ // PROBLEMS OF EVALUATION OF SOFTWARE DEPENDABILITY AND QUALITY IN INDUSTRIAL AUTOMATION AND CONTROL SYSTEMS” / spz:neicon:sustain:y:2015:i:4:p:87-96

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

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

  3. Start
    2476
    Prefix
    Проблема была осознана многими специалистами и, так как существует потребность в оценке надежности программ, применяемых в составе различных комплексов, появляются модели и методы, позволяющие оценить надежность программы
    Exact
    [3]
    Suffix
    . 88 Вместе с надежностью, иногда подменяя ее, используют термин «качество» программного обеспечения. Качество программного обеспечения можно определить как соответствие явно установленным функциональным и эксплуатационным требованиям, явно указанным стандартам разработки и неявным характеристикам.
    (check this in PDF content)

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

  5. Start
    7328
    Prefix
    В классических языках программирования известно, что количество ошибок зависит от объема исходного кода программы, технологии программирования, квалификации персонала участвующего в разработке программы и средств, выделенных на тестирование
    Exact
    [5]
    Suffix
    . Данные показатели могут считаться константами для замкнутых групп разработчиков с устоявшимися нормами разработки и тестирования. Однако нелинейная связь между количеством ошибок в программе и вероятностью их проявления при использовании программы приводит к негативным результатам при попытке использовать оценку по количеству ошибок в программе для расчета вероятности ее отказа [4].
    (check this in PDF content)

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

  7. Start
    9619
    Prefix
    Достоверность результата зависит от точности и правильности данных об основных событиях. На практике используют комбинации нисходящего и восходящего анализов, чтобы повысить полноту анализа. В работе
    Exact
    [4]
    Suffix
    выделены основные требования к моделям, используемым в методах расчета надежности: 1) Модель должна объяснять как уже произошедшие отказы, так и позволять прогнозировать отказы в будущем; 2) Модель должна основываться на существенных характеристиках моделируемой системы; 3) Модель должна основываться на понятных и достоверных предположениях; 4) Модель должна выражать в численной форме за
    (check this in PDF content)

  8. Start
    10929
    Prefix
    В таблице 1 приведено сравнение наиболее часто используемых в оценке показателей надежности методов с позиции их применения для программных компонентов. Данные для таблицы 1 в основном взяты из работы
    Exact
    [4]
    Suffix
    , в работе подчеркнут субъективный характер данных. Можно видеть, что методы расчета надежности, приведенные в таблице 1, в целом имеют недостатки: 1. Неполнота компонентов и их отказов; 2. Отсутствие общепринятой философской основы программного моделирования интенсивности и веТаблица 1.
    (check this in PDF content)

  9. Start
    11316
    Prefix
    Неполнота компонентов и их отказов; 2. Отсутствие общепринятой философской основы программного моделирования интенсивности и веТаблица 1. Сравнительная характеристика методов* Требование Метод 1234567891011 Непрерывное дерево событий
    Exact
    [6]
    Suffix
    xxxx0??x??0 Динамическое дерево событий [7]xXxxx???xx0 Марковские модели [2]xxxx0??xxx0 Сети Петри [8]xxxx0???x?0 Методология динамических граф-потоков [9] xxx?x???xxx Динамическое дерево отказов [10]x???x?x?x?x Диаграмма последовательности событий [11] xxxx0???xx0 Оценка по метрикам программного обеспечения [12] х?00??xx00x *В таблице приняты следующие обозначения: Х – свойство покрыто, 0 – с
    (check this in PDF content)

  10. Start
    11358
    Prefix
    Отсутствие общепринятой философской основы программного моделирования интенсивности и веТаблица 1. Сравнительная характеристика методов* Требование Метод 1234567891011 Непрерывное дерево событий [6]xxxx0??x??0 Динамическое дерево событий
    Exact
    [7]
    Suffix
    xXxxx???xx0 Марковские модели [2]xxxx0??xxx0 Сети Петри [8]xxxx0???x?0 Методология динамических граф-потоков [9] xxx?x???xxx Динамическое дерево отказов [10]x???x?x?x?x Диаграмма последовательности событий [11] xxxx0???xx0 Оценка по метрикам программного обеспечения [12] х?00??xx00x *В таблице приняты следующие обозначения: Х – свойство покрыто, 0 – свойство не покрыто, ? – покрытие сомнител
    (check this in PDF content)

  11. Start
    11390
    Prefix
    Отсутствие общепринятой философской основы программного моделирования интенсивности и веТаблица 1. Сравнительная характеристика методов* Требование Метод 1234567891011 Непрерывное дерево событий [6]xxxx0??x??0 Динамическое дерево событий [7]xXxxx???xx0 Марковские модели
    Exact
    [2]
    Suffix
    xxxx0??xxx0 Сети Петри [8]xxxx0???x?0 Методология динамических граф-потоков [9] xxx?x???xxx Динамическое дерево отказов [10]x???x?x?x?x Диаграмма последовательности событий [11] xxxx0???xx0 Оценка по метрикам программного обеспечения [12] х?00??xx00x *В таблице приняты следующие обозначения: Х – свойство покрыто, 0 – свойство не покрыто, ? – покрытие сомнительно. 90 роятности отказов и метод
    (check this in PDF content)

  12. Start
    11415
    Prefix
    Отсутствие общепринятой философской основы программного моделирования интенсивности и веТаблица 1. Сравнительная характеристика методов* Требование Метод 1234567891011 Непрерывное дерево событий [6]xxxx0??x??0 Динамическое дерево событий [7]xXxxx???xx0 Марковские модели [2]xxxx0??xxx0 Сети Петри
    Exact
    [8]
    Suffix
    xxxx0???x?0 Методология динамических граф-потоков [9] xxx?x???xxx Динамическое дерево отказов [10]x???x?x?x?x Диаграмма последовательности событий [11] xxxx0???xx0 Оценка по метрикам программного обеспечения [12] х?00??xx00x *В таблице приняты следующие обозначения: Х – свойство покрыто, 0 – свойство не покрыто, ? – покрытие сомнительно. 90 роятности отказов и методов для их количественной
    (check this in PDF content)

  13. Start
    11467
    Prefix
    Сравнительная характеристика методов* Требование Метод 1234567891011 Непрерывное дерево событий [6]xxxx0??x??0 Динамическое дерево событий [7]xXxxx???xx0 Марковские модели [2]xxxx0??xxx0 Сети Петри [8]xxxx0???x?0 Методология динамических граф-потоков
    Exact
    [9]
    Suffix
    xxx?x???xxx Динамическое дерево отказов [10]x???x?x?x?x Диаграмма последовательности событий [11] xxxx0???xx0 Оценка по метрикам программного обеспечения [12] х?00??xx00x *В таблице приняты следующие обозначения: Х – свойство покрыто, 0 – свойство не покрыто, ? – покрытие сомнительно. 90 роятности отказов и методов для их количественной оценки; 3.
    (check this in PDF content)

  14. Start
    11510
    Prefix
    Сравнительная характеристика методов* Требование Метод 1234567891011 Непрерывное дерево событий [6]xxxx0??x??0 Динамическое дерево событий [7]xXxxx???xx0 Марковские модели [2]xxxx0??xxx0 Сети Петри [8]xxxx0???x?0 Методология динамических граф-потоков [9] xxx?x???xxx Динамическое дерево отказов
    Exact
    [10]
    Suffix
    x???x?x?x?x Диаграмма последовательности событий [11] xxxx0???xx0 Оценка по метрикам программного обеспечения [12] х?00??xx00x *В таблице приняты следующие обозначения: Х – свойство покрыто, 0 – свойство не покрыто, ? – покрытие сомнительно. 90 роятности отказов и методов для их количественной оценки; 3.
    (check this in PDF content)

  15. Start
    11562
    Prefix
    Сравнительная характеристика методов* Требование Метод 1234567891011 Непрерывное дерево событий [6]xxxx0??x??0 Динамическое дерево событий [7]xXxxx???xx0 Марковские модели [2]xxxx0??xxx0 Сети Петри [8]xxxx0???x?0 Методология динамических граф-потоков [9] xxx?x???xxx Динамическое дерево отказов [10]x???x?x?x?x Диаграмма последовательности событий
    Exact
    [11]
    Suffix
    xxxx0???xx0 Оценка по метрикам программного обеспечения [12] х?00??xx00x *В таблице приняты следующие обозначения: Х – свойство покрыто, 0 – свойство не покрыто, ? – покрытие сомнительно. 90 роятности отказов и методов для их количественной оценки; 3.
    (check this in PDF content)

  16. Start
    11621
    Prefix
    методов* Требование Метод 1234567891011 Непрерывное дерево событий [6]xxxx0??x??0 Динамическое дерево событий [7]xXxxx???xx0 Марковские модели [2]xxxx0??xxx0 Сети Петри [8]xxxx0???x?0 Методология динамических граф-потоков [9] xxx?x???xxx Динамическое дерево отказов [10]x???x?x?x?x Диаграмма последовательности событий [11] xxxx0???xx0 Оценка по метрикам программного обеспечения
    Exact
    [12]
    Suffix
    х?00??xx00x *В таблице приняты следующие обозначения: Х – свойство покрыто, 0 – свойство не покрыто, ? – покрытие сомнительно. 90 роятности отказов и методов для их количественной оценки; 3. Неубедительность оценки параметров отказа – интенсивности отказов, распределения режимов отказов и факторов отказа по общей причине (ООП).
    (check this in PDF content)

  17. Start
    12479
    Prefix
    Методы могут быть использованы для анализа видов и последствий отказов отдельных компонентов АСУ ТП и для системы в целом, а также для анализа ее работоспособности. Марковские методы и сети Петри считаются
    Exact
    [13]
    Suffix
    наиболее перспективными с точки зрения получения количественной оценки надежности программного обеспечения и учета взаимного влияния программных и аппаратных компонентов системы. оценки качества программного обеспечения: модели качества Сложность процесса разработки и сопровождения ПО во многом обуславливается особыми требованиями, предъявляемыми к его качеству.
    (check this in PDF content)

  18. Start
    12984
    Prefix
    учета взаимного влияния программных и аппаратных компонентов системы. оценки качества программного обеспечения: модели качества Сложность процесса разработки и сопровождения ПО во многом обуславливается особыми требованиями, предъявляемыми к его качеству. Базовую модель качества можно определить как структурированный набор свойств, которые необходимы для удовлетворения определенных целей
    Exact
    [14]
    Suffix
    . Преимущество применения базовой модели качества заключается в декомпозиции значимых для программного обеспечения объектов, таких, как процессы жизненного цикла, программный продукт, на ряд своих характеристик/подхарактеристик.
    (check this in PDF content)

  19. Start
    13347
    Prefix
    Преимущество применения базовой модели качества заключается в декомпозиции значимых для программного обеспечения объектов, таких, как процессы жизненного цикла, программный продукт, на ряд своих характеристик/подхарактеристик. Пользователи ПО испытывают потребности в создании моделей качества ПО для оценки качества как качественно, так и количественно
    Exact
    [15]
    Suffix
    . Модели качества, которые имеются в настоящее время, в большинстве случаев являются иерархическими моделями на основе критериев качества и связанных с ними показателей (метрик). Все модели качества могут быть разделены на три категории в соответствии с методами, на основе которых они были созданы.
    (check this in PDF content)