The 17 references with contexts in paper I. Potapov V., И. Потапов В. (2016) “ПРОБЛЕМАТИКА В ОБЛАСТИ НАДЕЖНОСТИ ПРОГРАММНЫХ СИСТЕМ // ISSUES OF SOFTWARE SYSTEMS DEPENDABILITY” / spz:neicon:sustain:y:2015:i:1:p:53-61

1
Перегудов Ф.И., Тарасенко Ф.П. Основы системного анализа : 3-е изд. Томск: Изд-во НТЛ, 2001. 396 с.
Total in-text references: 1
  1. In-text reference with the coordinate start=1641
    Prefix
    В технологии разработки ПС при описании, изучении и проектировании широко используется методология системного анализа. Изучение надежности ПС тоже может опираться на эту методологию. Одной из важнейших стадий системного анализа является формирование проблематики
    Exact
    [1]
    Suffix
    . В данной работе делается попытка обобщения проблем и задач пользователей и разработчиков надежного ПО. Формат журнальной публикации требует некоторого преобразования информации, получаемой при формировании проблематики, представленной в исходном виде «клубком» проблем.

2
Липаев В.В. Проектирование программных средств: М.: Высш. шк., 1990. 303 с.
Total in-text references: 14
  1. In-text reference with the coordinate start=2985
    Prefix
    В качестве дополнительной цели данной работы можно указать 54 необходимость систематизации и анализа публикаций в области надежности программных систем. Формирование проблематики Специалисты часто указывают на то, что программные системы (например, в работе
    Exact
    [2]
    Suffix
    — комплексы программ) являются сложными в том смысле, который вкладывают в это понятие исследователи в области теории систем и системного анализа. Это во многом определяет базовые проблемы и задачи разработки надежных ПС, среди которых основное внимание уделяется проектированию, отладке программ и диагностированию программных ошибок, контролю правильности функционирования отдельных компонен

  2. In-text reference with the coordinate start=4016
    Prefix
    Важную часть проблематики надежности ПС составляют вопросы изучения ошибок в программах [3, 5, 6], поскольку их наличие — одна из главных причин появления отказов в работе ПС. Само определение терминов «ошибка» и «отказ» ПС является отдельной проблемой. В
    Exact
    [2]
    Suffix
    проанализированы понятия корректности программ и программных ошибок. В проблематику может включаться разработка методики оценки корректности и отсутствия ошибок. При этом самостоятельными проблемами являются точное определение понятия ошибки для достоверного выявления наличия и причин их появления и разработка методов их обнаружения, поскольку наличие ошибок во многом определяется ожиданиями

  3. In-text reference with the coordinate start=4464
    Prefix
    При этом самостоятельными проблемами являются точное определение понятия ошибки для достоверного выявления наличия и причин их появления и разработка методов их обнаружения, поскольку наличие ошибок во многом определяется ожиданиями пользователей и не всегда точно формализуется
    Exact
    [2, 3, 7]
    Suffix
    . Учет пользовательских ожиданий в проектировании ПС [3] вполне может рассматриваться как заметная часть проблематики надежности. В этой же книге много внимания уделено той части проблематики, которая связана с появлением ошибок в программах и проявлением их в виде отказов ПС.

  4. In-text reference with the coordinate start=4754
    Prefix
    Учет пользовательских ожиданий в проектировании ПС [3] вполне может рассматриваться как заметная часть проблематики надежности. В этой же книге много внимания уделено той части проблематики, которая связана с появлением ошибок в программах и проявлением их в виде отказов ПС. В
    Exact
    [2]
    Suffix
    указывается на важность задач классификации, выявления характеристик и анализа статистики ошибок, статистического определения полного числа ошибок в программе. Эта проблема и некоторые подходы к ее решению обсуждаются в работах [8, 9], авторы которых делятся своим опытом по разработке методологии и практическому выполнению классификации и статистической обработки программных ошибок.

  5. In-text reference with the coordinate start=6021
    Prefix
    Важной частью проблематики, определяющей применение традиционных подходов теории надежности, является выявление того, что является случайной величиной, случайным процессом и т. д. Здесь важно, что программные ошибки сами по себе не являются случайными величинами. Специалисты указывают на то, что случайными событиями являются проявления ошибок при функционировании ПС
    Exact
    [2, 8, 10, 11]
    Suffix
    . Случайность объясняется тем, что для проявления ошибки необходимо возникновение соответствующей ситуации — комбинации некоторого состояния системы и входного воздействия. Поскольку эти комбинации достаточно редки и плохо предсказуемы, появляются основания для рассмотрения момента проявления программной ошибки в качестве случайной величины.

  6. In-text reference with the coordinate start=6622
    Prefix
    Иными словами, в рамках проблематики надежности ПС возможно рассмотрение характеристик потоков входных воздействий. В проблематике ошибок содержатся и вопросы, возникающие в связи с необходимостью уменьшения числа ошибок проектирования ПС
    Exact
    [2, 10]
    Suffix
    . В работе [8] подчеркивается необходимость предупреждения ошибок и контроля надежности в ходе проектирования, создания и внесения изменений в ПС, а в ходе эксплуатации — применения специальных систем защиты от нарушений функционирования.

  7. In-text reference with the coordinate start=9585
    Prefix
    Эти отличия во многом определяют и дополняют соответствующие компоненты проблематики: необходимо разрабатывать специальные подходы к исследованию надежности ПС, уделять особое внимание стадии проектирования, четко определить терминологию и критерии применения терминов. Например, большое значение [3, 5, 12] имеет определение понятий «ошибка», «надежность» и т. д. В
    Exact
    [2, 10]
    Suffix
    рассматриваются две разновидности программных систем, первая из которых характеризуется тем, что исполнители могут уделять меньше внимания вопросам надежности, поскольку качество этих ПС имеет значение в основном только для самих разработчиков.

  8. In-text reference with the coordinate start=9996
    Prefix
    две разновидности программных систем, первая из которых характеризуется тем, что исполнители могут уделять меньше внимания вопросам надежности, поскольку качество этих ПС имеет значение в основном только для самих разработчиков. Автор указывает на то, что вопросы надежности приобретают смысл в основном для ПС второго типа, более похожих на другие промышленно выпускаемые продукты. В
    Exact
    [2, 8, 10]
    Suffix
    обсуждается использование показателей надежности технических систем. В качестве пригодных для анализа ПС предложено рассматривать наработку на отказ и коэффициент готовности. Классификация моделей, предназначенных для расчета показателей надежности ПС, вместе с обсуждением соответствующей проблематики приводится в [5].

  9. In-text reference with the coordinate start=11244
    Prefix
    С другой стороны, при рассмотрении информационных систем предполагается, что отказы вычислительной техники и ПО взаимозависимы, то есть надежность таких систем должна оцениваться комплексно. Отказы ПС могут возникать при появлении данных, которые не были учтены при отладке и тестировании
    Exact
    [2, 6]
    Suffix
    . Существует проблема регистрации отказов в ходе испытаний ПС на надежность, поскольку они сравнительно редко проявляются, проведение экспериментов над ПО является сравнительно трудоемкой задачей, а стоимость таких экспериментальных исследований, особенно при изучении функциональной безопасности, может быть достаточно высокой [7, 8, 10].

  10. In-text reference with the coordinate start=12082
    Prefix
    В некоторых случаях, с учетом соответствующих временных показателей, восстановление позволяет преобразовывать отказы в менее значительные по своим последствиям сбои — данные идеи и терминология характерны для
    Exact
    [2, 10]
    Suffix
    . В этих же работах помимо классификации отказов и сбоев уточняется и детализируется проблематика по вопросам восстановления ПС и использованию для этих целей различных видов избыточности. Проблематика целесообразности введения и соответствующего использования избыточности в программы, данные и процессы функционирования ПС обсуждается многими авторами, например [2, 4, 13].

  11. In-text reference with the coordinate start=12454
    Prefix
    В этих же работах помимо классификации отказов и сбоев уточняется и детализируется проблематика по вопросам восстановления ПС и использованию для этих целей различных видов избыточности. Проблематика целесообразности введения и соответствующего использования избыточности в программы, данные и процессы функционирования ПС обсуждается многими авторами, например
    Exact
    [2, 4, 13]
    Suffix
    . Как правило, смысловое наполнение терминов в этом вопросе вполне соответствует традиционному для теории надежности. В основном рассматриваются программная (алгоритмическая), информационная и временная избыточности.

  12. In-text reference with the coordinate start=12766
    Prefix
    Как правило, смысловое наполнение терминов в этом вопросе вполне соответствует традиционному для теории надежности. В основном рассматриваются программная (алгоритмическая), информационная и временная избыточности. В этом контексте появляются традиционные вопросы о постановке оптимизационных задач
    Exact
    [2]
    Suffix
    , то есть проблематика дополняется базовой проблемой оптимизации использования избыточных ресурсов. При этом, однако, не вполне ясно как количественно оценивать уровень надежности ПС при соответствующих затратах.

  13. In-text reference with the coordinate start=13885
    Prefix
    Некоторые аспекты данной области проблематики также обсуждаются в работах [3, 5, 9, 12, 15]. Особое значение в проблематике надежности ПС приобретает необходимость построения моделей исследуемых систем и процессов ввиду их сложности. Существенную роль играют допущения
    Exact
    [2]
    Suffix
    , в рамках которых 56 строятся математические модели. Важно, что время, как параметр математических моделей, не имеет того значения, которое присуще исследованиям надежности других технических систем [5], за исключением, возможно, ПС реального времени [2, 8, 10].

  14. In-text reference with the coordinate start=14193
    Prefix
    Важно, что время, как параметр математических моделей, не имеет того значения, которое присуще исследованиям надежности других технических систем [5], за исключением, возможно, ПС реального времени
    Exact
    [2, 8, 10]
    Suffix
    . В качестве недостатков, дополняющих проблематику моделей надежности ПС, в [8] отмечено, что модели прогнозирования надежности, построенные с применением классических подходов, могут оказаться пригодны только в условиях большого числа отказов, а попытки их применения к хорошо отлаженным и высоконадежным ПС не дают приемлемых результатов.

3
Майерс Г. Надежность программного обеспечения: пер. с англ. М.: «Мир», 1980. 360 с.
Total in-text references: 7
  1. In-text reference with the coordinate start=3414
    Prefix
    Это во многом определяет базовые проблемы и задачи разработки надежных ПС, среди которых основное внимание уделяется проектированию, отладке программ и диагностированию программных ошибок, контролю правильности функционирования отдельных компонентов и всей системы в целом. В
    Exact
    [3]
    Suffix
    сложность считается одним из важнейших условий, определяющих ненадежность ПС. В работе [4] указывается на взаимосвязь сложности и качества ПО, управление которыми дополняет проблематику надежности.

  2. In-text reference with the coordinate start=3848
    Prefix
    Согласно мнению авторов книги [5] проблематика теории надежности ПО опирается на вопросы, связанные с изучением работоспособности сложных ПС. Важную часть проблематики надежности ПС составляют вопросы изучения ошибок в программах
    Exact
    [3, 5, 6]
    Suffix
    , поскольку их наличие — одна из главных причин появления отказов в работе ПС. Само определение терминов «ошибка» и «отказ» ПС является отдельной проблемой. В [2] проанализированы понятия корректности программ и программных ошибок.

  3. In-text reference with the coordinate start=4464
    Prefix
    При этом самостоятельными проблемами являются точное определение понятия ошибки для достоверного выявления наличия и причин их появления и разработка методов их обнаружения, поскольку наличие ошибок во многом определяется ожиданиями пользователей и не всегда точно формализуется
    Exact
    [2, 3, 7]
    Suffix
    . Учет пользовательских ожиданий в проектировании ПС [3] вполне может рассматриваться как заметная часть проблематики надежности. В этой же книге много внимания уделено той части проблематики, которая связана с появлением ошибок в программах и проявлением их в виде отказов ПС.

  4. In-text reference with the coordinate start=4526
    Prefix
    При этом самостоятельными проблемами являются точное определение понятия ошибки для достоверного выявления наличия и причин их появления и разработка методов их обнаружения, поскольку наличие ошибок во многом определяется ожиданиями пользователей и не всегда точно формализуется [2, 3, 7]. Учет пользовательских ожиданий в проектировании ПС
    Exact
    [3]
    Suffix
    вполне может рассматриваться как заметная часть проблематики надежности. В этой же книге много внимания уделено той части проблематики, которая связана с появлением ошибок в программах и проявлением их в виде отказов ПС.

  5. In-text reference with the coordinate start=9196
    Prefix
    При этом необходимо точно представлять отличия ПС от других технических систем с точки зрения надежности. Они достаточно объемно сформулированы в нескольких основополагающих работах, среди которых можно отметить
    Exact
    [3, 5, 8, 10, 12–14]
    Suffix
    . Эти отличия во многом определяют и дополняют соответствующие компоненты проблематики: необходимо разрабатывать специальные подходы к исследованию надежности ПС, уделять особое внимание стадии проектирования, четко определить терминологию и критерии применения терминов.

  6. In-text reference with the coordinate start=9516
    Prefix
    Эти отличия во многом определяют и дополняют соответствующие компоненты проблематики: необходимо разрабатывать специальные подходы к исследованию надежности ПС, уделять особое внимание стадии проектирования, четко определить терминологию и критерии применения терминов. Например, большое значение
    Exact
    [3, 5, 12]
    Suffix
    имеет определение понятий «ошибка», «надежность» и т. д. В [2, 10] рассматриваются две разновидности программных систем, первая из которых характеризуется тем, что исполнители могут уделять меньше внимания вопросам надежности, поскольку качество этих ПС имеет значение в основном только для самих разработчиков.

  7. In-text reference with the coordinate start=13688
    Prefix
    рассмотрении вопросов о классификации и причинах появления программных ошибок, что само по себе является частью проблематики надежности ПС, затрагивается еще одна важная тема — влияние человеческого фактора на надежность ПС, точнее, проблема оценки этого влияния и свойств программиста (или коллектива программистов). Некоторые аспекты данной области проблематики также обсуждаются в работах
    Exact
    [3, 5, 9, 12, 15]
    Suffix
    . Особое значение в проблематике надежности ПС приобретает необходимость построения моделей исследуемых систем и процессов ввиду их сложности. Существенную роль играют допущения [2], в рамках которых 56 строятся математические модели.

4
Штрик А.А., Осовецкий Л.Г., Мессих И.Г. Структурное проектирование надежных программ встроенных ЭВМ. Л.: Машиностроение. Ленингр. отд-ние, 1989. 296 с.
Total in-text references: 5
  1. In-text reference with the coordinate start=3505
    Prefix
    Это во многом определяет базовые проблемы и задачи разработки надежных ПС, среди которых основное внимание уделяется проектированию, отладке программ и диагностированию программных ошибок, контролю правильности функционирования отдельных компонентов и всей системы в целом. В [3] сложность считается одним из важнейших условий, определяющих ненадежность ПС. В работе
    Exact
    [4]
    Suffix
    указывается на взаимосвязь сложности и качества ПО, управление которыми дополняет проблематику надежности. Согласно мнению авторов книги [5] проблематика теории надежности ПО опирается на вопросы, связанные с изучением работоспособности сложных ПС.

  2. In-text reference with the coordinate start=5481
    Prefix
    Эту часть проблематики можно дополнить вопросами изучения структуры текстов программ для получения статистических характеристик, по которым можно попытаться сделать выводы о тех или иных свойствах ПС, в том числе о надежности
    Exact
    [4]
    Suffix
    . Можно предполагать, что применение подходящих методик составления структурных моделей позволит получать сведения о закономерностях в появлении программных ошибок. Важной частью проблематики, определяющей применение традиционных подходов теории надежности, является выявление того, что является случайной величиной, случайным процессом и т. д.

  3. In-text reference with the coordinate start=12454
    Prefix
    В этих же работах помимо классификации отказов и сбоев уточняется и детализируется проблематика по вопросам восстановления ПС и использованию для этих целей различных видов избыточности. Проблематика целесообразности введения и соответствующего использования избыточности в программы, данные и процессы функционирования ПС обсуждается многими авторами, например
    Exact
    [2, 4, 13]
    Suffix
    . Как правило, смысловое наполнение терминов в этом вопросе вполне соответствует традиционному для теории надежности. В основном рассматриваются программная (алгоритмическая), информационная и временная избыточности.

  4. In-text reference with the coordinate start=12994
    Prefix
    В этом контексте появляются традиционные вопросы о постановке оптимизационных задач [2], то есть проблематика дополняется базовой проблемой оптимизации использования избыточных ресурсов. При этом, однако, не вполне ясно как количественно оценивать уровень надежности ПС при соответствующих затратах. На основе
    Exact
    [4]
    Suffix
    можно предложить рассматривать эту проблему совместно с группой вопросов о сборе и анализе статистической информации. С другой стороны дополняет эту часть проблематики мнение о недостаточной эффективности введения избыточности и резервирования [13].

  5. In-text reference with the coordinate start=15553
    Prefix
    Надежность рассматривается специалистами как одна из характеристик качества ПС [8, 10, 14]. Проблематика качества, как и проблематика надежности, может включать вопросы, связанные с определением показателей качества и соответствующим управлением. В
    Exact
    [4]
    Suffix
    с качеством ПС связывается ряд вопросов, касающихся сложности их структуры. Рассматриваются специальные показатели сложности ПС и отдельных компонентов. В [9] к проблематике надежности добавляется задача анализа структурных особенностей программ.

5
Пальчун Б.П., Юсупов Р.М. Оценка надежности программного обеспечения. СПб.: Наука, 1994. 84 с.
Total in-text references: 8
  1. In-text reference with the coordinate start=3647
    Prefix
    В [3] сложность считается одним из важнейших условий, определяющих ненадежность ПС. В работе [4] указывается на взаимосвязь сложности и качества ПО, управление которыми дополняет проблематику надежности. Согласно мнению авторов книги
    Exact
    [5]
    Suffix
    проблематика теории надежности ПО опирается на вопросы, связанные с изучением работоспособности сложных ПС. Важную часть проблематики надежности ПС составляют вопросы изучения ошибок в программах [3, 5, 6], поскольку их наличие — одна из главных причин появления отказов в работе ПС.

  2. In-text reference with the coordinate start=3848
    Prefix
    Согласно мнению авторов книги [5] проблематика теории надежности ПО опирается на вопросы, связанные с изучением работоспособности сложных ПС. Важную часть проблематики надежности ПС составляют вопросы изучения ошибок в программах
    Exact
    [3, 5, 6]
    Suffix
    , поскольку их наличие — одна из главных причин появления отказов в работе ПС. Само определение терминов «ошибка» и «отказ» ПС является отдельной проблемой. В [2] проанализированы понятия корректности программ и программных ошибок.

  3. In-text reference with the coordinate start=9196
    Prefix
    При этом необходимо точно представлять отличия ПС от других технических систем с точки зрения надежности. Они достаточно объемно сформулированы в нескольких основополагающих работах, среди которых можно отметить
    Exact
    [3, 5, 8, 10, 12–14]
    Suffix
    . Эти отличия во многом определяют и дополняют соответствующие компоненты проблематики: необходимо разрабатывать специальные подходы к исследованию надежности ПС, уделять особое внимание стадии проектирования, четко определить терминологию и критерии применения терминов.

  4. In-text reference with the coordinate start=9516
    Prefix
    Эти отличия во многом определяют и дополняют соответствующие компоненты проблематики: необходимо разрабатывать специальные подходы к исследованию надежности ПС, уделять особое внимание стадии проектирования, четко определить терминологию и критерии применения терминов. Например, большое значение
    Exact
    [3, 5, 12]
    Suffix
    имеет определение понятий «ошибка», «надежность» и т. д. В [2, 10] рассматриваются две разновидности программных систем, первая из которых характеризуется тем, что исполнители могут уделять меньше внимания вопросам надежности, поскольку качество этих ПС имеет значение в основном только для самих разработчиков.

  5. In-text reference with the coordinate start=10324
    Prefix
    В качестве пригодных для анализа ПС предложено рассматривать наработку на отказ и коэффициент готовности. Классификация моделей, предназначенных для расчета показателей надежности ПС, вместе с обсуждением соответствующей проблематики приводится в
    Exact
    [5]
    Suffix
    . Например, известна проблема определения показателей надежности ПС, поскольку некоторые важные характеристики качества (число программных ошибок и т. п.) не вполне годятся для оценки надежности. Дополняет эту часть проблематики необходимость учета особенностей, отличающих программы от других технических изделий.

  6. In-text reference with the coordinate start=13688
    Prefix
    рассмотрении вопросов о классификации и причинах появления программных ошибок, что само по себе является частью проблематики надежности ПС, затрагивается еще одна важная тема — влияние человеческого фактора на надежность ПС, точнее, проблема оценки этого влияния и свойств программиста (или коллектива программистов). Некоторые аспекты данной области проблематики также обсуждаются в работах
    Exact
    [3, 5, 9, 12, 15]
    Suffix
    . Особое значение в проблематике надежности ПС приобретает необходимость построения моделей исследуемых систем и процессов ввиду их сложности. Существенную роль играют допущения [2], в рамках которых 56 строятся математические модели.

  7. In-text reference with the coordinate start=14141
    Prefix
    Существенную роль играют допущения [2], в рамках которых 56 строятся математические модели. Важно, что время, как параметр математических моделей, не имеет того значения, которое присуще исследованиям надежности других технических систем
    Exact
    [5]
    Suffix
    , за исключением, возможно, ПС реального времени [2, 8, 10]. В качестве недостатков, дополняющих проблематику моделей надежности ПС, в [8] отмечено, что модели прогнозирования надежности, построенные с применением классических подходов, могут оказаться пригодны только в условиях большого числа отказов, а попытки их применения к хорошо отлаженным и высоконадежным ПС не дают приемлемых резуль

  8. In-text reference with the coordinate start=15882
    Prefix
    Рассматриваются специальные показатели сложности ПС и отдельных компонентов. В [9] к проблематике надежности добавляется задача анализа структурных особенностей программ. Проблема оценки сложности ПС и взаимосвязи сложности с надежностью описана в
    Exact
    [5]
    Suffix
    , где, в частности, указывается на зависимость ошибок не от объемов программного кода, а от структуры ПС, исключается возможность обобщения результатов исследования ошибок, в том числе и при сохранении постоянных условий разработки, и предполагается индивидуальный подход в этом вопросе к каждой вновь создаваемой ПС.

6
Полонников Р.И., Никандров А.В. Методы оценки показателей надежности программного обеспечения. СПб.: Политехника, 1992. 78 с.
Total in-text references: 3
  1. In-text reference with the coordinate start=3848
    Prefix
    Согласно мнению авторов книги [5] проблематика теории надежности ПО опирается на вопросы, связанные с изучением работоспособности сложных ПС. Важную часть проблематики надежности ПС составляют вопросы изучения ошибок в программах
    Exact
    [3, 5, 6]
    Suffix
    , поскольку их наличие — одна из главных причин появления отказов в работе ПС. Само определение терминов «ошибка» и «отказ» ПС является отдельной проблемой. В [2] проанализированы понятия корректности программ и программных ошибок.

  2. In-text reference with the coordinate start=11244
    Prefix
    С другой стороны, при рассмотрении информационных систем предполагается, что отказы вычислительной техники и ПО взаимозависимы, то есть надежность таких систем должна оцениваться комплексно. Отказы ПС могут возникать при появлении данных, которые не были учтены при отладке и тестировании
    Exact
    [2, 6]
    Suffix
    . Существует проблема регистрации отказов в ходе испытаний ПС на надежность, поскольку они сравнительно редко проявляются, проведение экспериментов над ПО является сравнительно трудоемкой задачей, а стоимость таких экспериментальных исследований, особенно при изучении функциональной безопасности, может быть достаточно высокой [7, 8, 10].

  3. In-text reference with the coordinate start=14703
    Prefix
    надежности, построенные с применением классических подходов, могут оказаться пригодны только в условиях большого числа отказов, а попытки их применения к хорошо отлаженным и высоконадежным ПС не дают приемлемых результатов. В литературе приведено описание большого числа разработанных для исследования надежности ПО математических моделей, классифицируемых по различным основаниям
    Exact
    [6, 11, 13]
    Suffix
    . Важную часть проблематики надежности составляют смежные вопросы качества ПС. Действующие в настоящее время стандарты в этой области, определяющие надежность как одну из характеристик качества, могут считаться устаревшими.

7
Шураков В.В. Надежность программного обеспечения систем обработки данных : 2-е изд., перераб. и доп. М.: Финансы и статистика, 1987. 272 с.
Total in-text references: 6
  1. In-text reference with the coordinate start=4464
    Prefix
    При этом самостоятельными проблемами являются точное определение понятия ошибки для достоверного выявления наличия и причин их появления и разработка методов их обнаружения, поскольку наличие ошибок во многом определяется ожиданиями пользователей и не всегда точно формализуется
    Exact
    [2, 3, 7]
    Suffix
    . Учет пользовательских ожиданий в проектировании ПС [3] вполне может рассматриваться как заметная часть проблематики надежности. В этой же книге много внимания уделено той части проблематики, которая связана с появлением ошибок в программах и проявлением их в виде отказов ПС.

  2. In-text reference with the coordinate start=5246
    Prefix
    Эта проблема и некоторые подходы к ее решению обсуждаются в работах [8, 9], авторы которых делятся своим опытом по разработке методологии и практическому выполнению классификации и статистической обработки программных ошибок. При этом значимыми проблемами являются организация сбора данных для изучения и классификация ошибок
    Exact
    [7, 9]
    Suffix
    . Эту часть проблематики можно дополнить вопросами изучения структуры текстов программ для получения статистических характеристик, по которым можно попытаться сделать выводы о тех или иных свойствах ПС, в том числе о надежности [4].

  3. In-text reference with the coordinate start=6871
    Prefix
    В работе [8] подчеркивается необходимость предупреждения ошибок и контроля надежности в ходе проектирования, создания и внесения изменений в ПС, а в ходе эксплуатации — применения специальных систем защиты от нарушений функционирования. В
    Exact
    [7]
    Suffix
    сформулированы и детализированы проблемы обоснования требований к надежности ПС и организации проектирования систем с требуемой надежностью. Там же приведена подробная классификация факторов, определяющих проблематику в области надежности ПС.

  4. In-text reference with the coordinate start=7660
    Prefix
    отличий, требующее терминологического разделения этих понятий, состоит в том, что при анализе функционирования ПС рассматриваются не все отказы, как это принято в теории надежности, а только те, что приводят к последствиям, отражающимся на безопасности [10]. О надежности ПО, измеряемой потерями, которые несет пользователь из-за ошибок в проектировании и функционировании систем, говорится в
    Exact
    [7]
    Suffix
    . Там же определена важная часть проблематики надежности — необходимость учета особенностей эксплуатации ПС. Одной из центральных проблем в области надежности ПС является существенное отличие компьютерной программы от технического устройства.

  5. In-text reference with the coordinate start=10832
    Prefix
    Дополняет эту часть проблематики необходимость учета особенностей, отличающих программы от других технических изделий. В работе [12], например, рассматриваются некоторые показатели надежности, учитывающие специфику отказов ПС. Существуют разные подходы к оценке надежности ПО в составе информационных систем
    Exact
    [7, 14]
    Suffix
    . С одной стороны, ПО является чрезвычайно важным компонентом и его надежность необходимо оценивать самостоятельно. С другой стороны, при рассмотрении информационных систем предполагается, что отказы вычислительной техники и ПО взаимозависимы, то есть надежность таких систем должна оцениваться комплексно.

  6. In-text reference with the coordinate start=11579
    Prefix
    Существует проблема регистрации отказов в ходе испытаний ПС на надежность, поскольку они сравнительно редко проявляются, проведение экспериментов над ПО является сравнительно трудоемкой задачей, а стоимость таких экспериментальных исследований, особенно при изучении функциональной безопасности, может быть достаточно высокой
    Exact
    [7, 8, 10]
    Suffix
    . Может возникнуть необходимость в решении задачи классификации отказов и сбоев по длительности восстановления, поскольку от этого зависит фиксация нарушения работоспособности ПС. Для повышения надежности важно правильно организовать процедуру восстановления системы после отказов.

8
Липаев В.В. Надежность программных средств. М.: СИНТЕГ, 1998. 232 с.
Total in-text references: 11
  1. In-text reference with the coordinate start=4987
    Prefix
    В [2] указывается на важность задач классификации, выявления характеристик и анализа статистики ошибок, статистического определения полного числа ошибок в программе. Эта проблема и некоторые подходы к ее решению обсуждаются в работах
    Exact
    [8, 9]
    Suffix
    , авторы которых делятся своим опытом по разработке методологии и практическому выполнению классификации и статистической обработки программных ошибок. При этом значимыми проблемами являются организация сбора данных для изучения и классификация ошибок [7, 9].

  2. In-text reference with the coordinate start=6021
    Prefix
    Важной частью проблематики, определяющей применение традиционных подходов теории надежности, является выявление того, что является случайной величиной, случайным процессом и т. д. Здесь важно, что программные ошибки сами по себе не являются случайными величинами. Специалисты указывают на то, что случайными событиями являются проявления ошибок при функционировании ПС
    Exact
    [2, 8, 10, 11]
    Suffix
    . Случайность объясняется тем, что для проявления ошибки необходимо возникновение соответствующей ситуации — комбинации некоторого состояния системы и входного воздействия. Поскольку эти комбинации достаточно редки и плохо предсказуемы, появляются основания для рассмотрения момента проявления программной ошибки в качестве случайной величины.

  3. In-text reference with the coordinate start=6640
    Prefix
    Иными словами, в рамках проблематики надежности ПС возможно рассмотрение характеристик потоков входных воздействий. В проблематике ошибок содержатся и вопросы, возникающие в связи с необходимостью уменьшения числа ошибок проектирования ПС [2, 10]. В работе
    Exact
    [8]
    Suffix
    подчеркивается необходимость предупреждения ошибок и контроля надежности в ходе проектирования, создания и внесения изменений в ПС, а в ходе эксплуатации — применения специальных систем защиты от нарушений функционирования.

  4. In-text reference with the coordinate start=8327
    Prefix
    Требования по надежности формируются специалистами, ориентирующимися на традиционные понятия теории надежности и действующий стандарт, разработанный для технических систем. Между тем, программные системы отличаются от технических настолько значимо, что традиционные подходы могут оказываться либо вовсе неприменимы, 55 либо могут применяться ограниченно. Например, в
    Exact
    [8]
    Suffix
    прямо говорится о том, что изучение надежности ПС должно быть преимущественно ориентировано на системы реального времени и там же отмечается невозможность расчета надежности ПС обычными методами (данное высказывание несколько смягчается в том смысле, что обычные подходы ограниченно применимы только для систем реального времени).

  5. In-text reference with the coordinate start=9196
    Prefix
    При этом необходимо точно представлять отличия ПС от других технических систем с точки зрения надежности. Они достаточно объемно сформулированы в нескольких основополагающих работах, среди которых можно отметить
    Exact
    [3, 5, 8, 10, 12–14]
    Suffix
    . Эти отличия во многом определяют и дополняют соответствующие компоненты проблематики: необходимо разрабатывать специальные подходы к исследованию надежности ПС, уделять особое внимание стадии проектирования, четко определить терминологию и критерии применения терминов.

  6. In-text reference with the coordinate start=9996
    Prefix
    две разновидности программных систем, первая из которых характеризуется тем, что исполнители могут уделять меньше внимания вопросам надежности, поскольку качество этих ПС имеет значение в основном только для самих разработчиков. Автор указывает на то, что вопросы надежности приобретают смысл в основном для ПС второго типа, более похожих на другие промышленно выпускаемые продукты. В
    Exact
    [2, 8, 10]
    Suffix
    обсуждается использование показателей надежности технических систем. В качестве пригодных для анализа ПС предложено рассматривать наработку на отказ и коэффициент готовности. Классификация моделей, предназначенных для расчета показателей надежности ПС, вместе с обсуждением соответствующей проблематики приводится в [5].

  7. In-text reference with the coordinate start=11579
    Prefix
    Существует проблема регистрации отказов в ходе испытаний ПС на надежность, поскольку они сравнительно редко проявляются, проведение экспериментов над ПО является сравнительно трудоемкой задачей, а стоимость таких экспериментальных исследований, особенно при изучении функциональной безопасности, может быть достаточно высокой
    Exact
    [7, 8, 10]
    Suffix
    . Может возникнуть необходимость в решении задачи классификации отказов и сбоев по длительности восстановления, поскольку от этого зависит фиксация нарушения работоспособности ПС. Для повышения надежности важно правильно организовать процедуру восстановления системы после отказов.

  8. In-text reference with the coordinate start=14193
    Prefix
    Важно, что время, как параметр математических моделей, не имеет того значения, которое присуще исследованиям надежности других технических систем [5], за исключением, возможно, ПС реального времени
    Exact
    [2, 8, 10]
    Suffix
    . В качестве недостатков, дополняющих проблематику моделей надежности ПС, в [8] отмечено, что модели прогнозирования надежности, построенные с применением классических подходов, могут оказаться пригодны только в условиях большого числа отказов, а попытки их применения к хорошо отлаженным и высоконадежным ПС не дают приемлемых результатов.

  9. In-text reference with the coordinate start=14279
    Prefix
    Важно, что время, как параметр математических моделей, не имеет того значения, которое присуще исследованиям надежности других технических систем [5], за исключением, возможно, ПС реального времени [2, 8, 10]. В качестве недостатков, дополняющих проблематику моделей надежности ПС, в
    Exact
    [8]
    Suffix
    отмечено, что модели прогнозирования надежности, построенные с применением классических подходов, могут оказаться пригодны только в условиях большого числа отказов, а попытки их применения к хорошо отлаженным и высоконадежным ПС не дают приемлемых результатов.

  10. In-text reference with the coordinate start=15382
    Prefix
    Поскольку здесь задача анализа качества не является основной, далее коротко будут отмечены несколько более общих вопросов, которые могут быть важны для дальнейших исследований. Надежность рассматривается специалистами как одна из характеристик качества ПС
    Exact
    [8, 10, 14]
    Suffix
    . Проблематика качества, как и проблематика надежности, может включать вопросы, связанные с определением показателей качества и соответствующим управлением. В [4] с качеством ПС связывается ряд вопросов, касающихся сложности их структуры.

  11. In-text reference with the coordinate start=16611
    Prefix
    качества связывается с полезностью программ, что согласуется с той вышеописанной частью проблематики надежности и качества ПС, в которой рассматриваются программные ошибки и отказы функционирования в контексте пользовательских ожиданий. Заканчивая формирование проблематики, необходимо вернуться к вышеупомянутому вопросу совершенствования стандартов в области надежности и качества ПС
    Exact
    [8, 10]
    Suffix
    . Возможно, решение данных проблем находится в одной плоскости с общими проблемами стандарта в области надежности, описанными в [16]. Важнейшими проблемами для надежности программных систем являются стандартизация терминологии [10] (особенно в отношении базовых понятий — отказа, работоспособного состояния ПС и т. д.), формализация показателей надежности и качества, совершенствование технологи

9
Тейер Т., Липов М., Нельсон Э. Надежность программного обеспечения : пер. с англ. М.: Мир, 1981. 323 с.
Total in-text references: 4
  1. In-text reference with the coordinate start=4987
    Prefix
    В [2] указывается на важность задач классификации, выявления характеристик и анализа статистики ошибок, статистического определения полного числа ошибок в программе. Эта проблема и некоторые подходы к ее решению обсуждаются в работах
    Exact
    [8, 9]
    Suffix
    , авторы которых делятся своим опытом по разработке методологии и практическому выполнению классификации и статистической обработки программных ошибок. При этом значимыми проблемами являются организация сбора данных для изучения и классификация ошибок [7, 9].

  2. In-text reference with the coordinate start=5246
    Prefix
    Эта проблема и некоторые подходы к ее решению обсуждаются в работах [8, 9], авторы которых делятся своим опытом по разработке методологии и практическому выполнению классификации и статистической обработки программных ошибок. При этом значимыми проблемами являются организация сбора данных для изучения и классификация ошибок
    Exact
    [7, 9]
    Suffix
    . Эту часть проблематики можно дополнить вопросами изучения структуры текстов программ для получения статистических характеристик, по которым можно попытаться сделать выводы о тех или иных свойствах ПС, в том числе о надежности [4].

  3. In-text reference with the coordinate start=13688
    Prefix
    рассмотрении вопросов о классификации и причинах появления программных ошибок, что само по себе является частью проблематики надежности ПС, затрагивается еще одна важная тема — влияние человеческого фактора на надежность ПС, точнее, проблема оценки этого влияния и свойств программиста (или коллектива программистов). Некоторые аспекты данной области проблематики также обсуждаются в работах
    Exact
    [3, 5, 9, 12, 15]
    Suffix
    . Особое значение в проблематике надежности ПС приобретает необходимость построения моделей исследуемых систем и процессов ввиду их сложности. Существенную роль играют допущения [2], в рамках которых 56 строятся математические модели.

  4. In-text reference with the coordinate start=15712
    Prefix
    Проблематика качества, как и проблематика надежности, может включать вопросы, связанные с определением показателей качества и соответствующим управлением. В [4] с качеством ПС связывается ряд вопросов, касающихся сложности их структуры. Рассматриваются специальные показатели сложности ПС и отдельных компонентов. В
    Exact
    [9]
    Suffix
    к проблематике надежности добавляется задача анализа структурных особенностей программ. Проблема оценки сложности ПС и взаимосвязи сложности с надежностью описана в [5], где, в частности, указывается на зависимость ошибок не от объемов программного кода, а от структуры ПС, исключается возможность обобщения результатов исследования ошибок, в том числе и при сохранении постоянных условий разра

10
Липаев В.В. Надежность и функциональная безопасность комплексов программ реального времени. М.: ЗАО «Светлица», 2013. 192 с.
Total in-text references: 13
  1. In-text reference with the coordinate start=6021
    Prefix
    Важной частью проблематики, определяющей применение традиционных подходов теории надежности, является выявление того, что является случайной величиной, случайным процессом и т. д. Здесь важно, что программные ошибки сами по себе не являются случайными величинами. Специалисты указывают на то, что случайными событиями являются проявления ошибок при функционировании ПС
    Exact
    [2, 8, 10, 11]
    Suffix
    . Случайность объясняется тем, что для проявления ошибки необходимо возникновение соответствующей ситуации — комбинации некоторого состояния системы и входного воздействия. Поскольку эти комбинации достаточно редки и плохо предсказуемы, появляются основания для рассмотрения момента проявления программной ошибки в качестве случайной величины.

  2. In-text reference with the coordinate start=6622
    Prefix
    Иными словами, в рамках проблематики надежности ПС возможно рассмотрение характеристик потоков входных воздействий. В проблематике ошибок содержатся и вопросы, возникающие в связи с необходимостью уменьшения числа ошибок проектирования ПС
    Exact
    [2, 10]
    Suffix
    . В работе [8] подчеркивается необходимость предупреждения ошибок и контроля надежности в ходе проектирования, создания и внесения изменений в ПС, а в ходе эксплуатации — применения специальных систем защиты от нарушений функционирования.

  3. In-text reference with the coordinate start=7519
    Prefix
    Одно из основных отличий, требующее терминологического разделения этих понятий, состоит в том, что при анализе функционирования ПС рассматриваются не все отказы, как это принято в теории надежности, а только те, что приводят к последствиям, отражающимся на безопасности
    Exact
    [10]
    Suffix
    . О надежности ПО, измеряемой потерями, которые несет пользователь из-за ошибок в проектировании и функционировании систем, говорится в [7]. Там же определена важная часть проблематики надежности — необходимость учета особенностей эксплуатации ПС.

  4. In-text reference with the coordinate start=8760
    Prefix
    надежности ПС должно быть преимущественно ориентировано на системы реального времени и там же отмечается невозможность расчета надежности ПС обычными методами (данное высказывание несколько смягчается в том смысле, что обычные подходы ограниченно применимы только для систем реального времени). Трудности аналитических расчетов надежности и функциональной безопасности ПС отмечены также и в
    Exact
    [10]
    Suffix
    . Это позволяет дополнить проблематику, указав необходимость в определении соответствующих терминов, показателей надежности и подходов к аналитическим, статистическим и экспериментальным исследованиям надежности ПС.

  5. In-text reference with the coordinate start=9196
    Prefix
    При этом необходимо точно представлять отличия ПС от других технических систем с точки зрения надежности. Они достаточно объемно сформулированы в нескольких основополагающих работах, среди которых можно отметить
    Exact
    [3, 5, 8, 10, 12–14]
    Suffix
    . Эти отличия во многом определяют и дополняют соответствующие компоненты проблематики: необходимо разрабатывать специальные подходы к исследованию надежности ПС, уделять особое внимание стадии проектирования, четко определить терминологию и критерии применения терминов.

  6. In-text reference with the coordinate start=9585
    Prefix
    Эти отличия во многом определяют и дополняют соответствующие компоненты проблематики: необходимо разрабатывать специальные подходы к исследованию надежности ПС, уделять особое внимание стадии проектирования, четко определить терминологию и критерии применения терминов. Например, большое значение [3, 5, 12] имеет определение понятий «ошибка», «надежность» и т. д. В
    Exact
    [2, 10]
    Suffix
    рассматриваются две разновидности программных систем, первая из которых характеризуется тем, что исполнители могут уделять меньше внимания вопросам надежности, поскольку качество этих ПС имеет значение в основном только для самих разработчиков.

  7. In-text reference with the coordinate start=9996
    Prefix
    две разновидности программных систем, первая из которых характеризуется тем, что исполнители могут уделять меньше внимания вопросам надежности, поскольку качество этих ПС имеет значение в основном только для самих разработчиков. Автор указывает на то, что вопросы надежности приобретают смысл в основном для ПС второго типа, более похожих на другие промышленно выпускаемые продукты. В
    Exact
    [2, 8, 10]
    Suffix
    обсуждается использование показателей надежности технических систем. В качестве пригодных для анализа ПС предложено рассматривать наработку на отказ и коэффициент готовности. Классификация моделей, предназначенных для расчета показателей надежности ПС, вместе с обсуждением соответствующей проблематики приводится в [5].

  8. In-text reference with the coordinate start=11579
    Prefix
    Существует проблема регистрации отказов в ходе испытаний ПС на надежность, поскольку они сравнительно редко проявляются, проведение экспериментов над ПО является сравнительно трудоемкой задачей, а стоимость таких экспериментальных исследований, особенно при изучении функциональной безопасности, может быть достаточно высокой
    Exact
    [7, 8, 10]
    Suffix
    . Может возникнуть необходимость в решении задачи классификации отказов и сбоев по длительности восстановления, поскольку от этого зависит фиксация нарушения работоспособности ПС. Для повышения надежности важно правильно организовать процедуру восстановления системы после отказов.

  9. In-text reference with the coordinate start=12082
    Prefix
    В некоторых случаях, с учетом соответствующих временных показателей, восстановление позволяет преобразовывать отказы в менее значительные по своим последствиям сбои — данные идеи и терминология характерны для
    Exact
    [2, 10]
    Suffix
    . В этих же работах помимо классификации отказов и сбоев уточняется и детализируется проблематика по вопросам восстановления ПС и использованию для этих целей различных видов избыточности. Проблематика целесообразности введения и соответствующего использования избыточности в программы, данные и процессы функционирования ПС обсуждается многими авторами, например [2, 4, 13].

  10. In-text reference with the coordinate start=14193
    Prefix
    Важно, что время, как параметр математических моделей, не имеет того значения, которое присуще исследованиям надежности других технических систем [5], за исключением, возможно, ПС реального времени
    Exact
    [2, 8, 10]
    Suffix
    . В качестве недостатков, дополняющих проблематику моделей надежности ПС, в [8] отмечено, что модели прогнозирования надежности, построенные с применением классических подходов, могут оказаться пригодны только в условиях большого числа отказов, а попытки их применения к хорошо отлаженным и высоконадежным ПС не дают приемлемых результатов.

  11. In-text reference with the coordinate start=15382
    Prefix
    Поскольку здесь задача анализа качества не является основной, далее коротко будут отмечены несколько более общих вопросов, которые могут быть важны для дальнейших исследований. Надежность рассматривается специалистами как одна из характеристик качества ПС
    Exact
    [8, 10, 14]
    Suffix
    . Проблематика качества, как и проблематика надежности, может включать вопросы, связанные с определением показателей качества и соответствующим управлением. В [4] с качеством ПС связывается ряд вопросов, касающихся сложности их структуры.

  12. In-text reference with the coordinate start=16611
    Prefix
    качества связывается с полезностью программ, что согласуется с той вышеописанной частью проблематики надежности и качества ПС, в которой рассматриваются программные ошибки и отказы функционирования в контексте пользовательских ожиданий. Заканчивая формирование проблематики, необходимо вернуться к вышеупомянутому вопросу совершенствования стандартов в области надежности и качества ПС
    Exact
    [8, 10]
    Suffix
    . Возможно, решение данных проблем находится в одной плоскости с общими проблемами стандарта в области надежности, описанными в [16]. Важнейшими проблемами для надежности программных систем являются стандартизация терминологии [10] (особенно в отношении базовых понятий — отказа, работоспособного состояния ПС и т. д.), формализация показателей надежности и качества, совершенствование технологи

  13. In-text reference with the coordinate start=16846
    Prefix
    Возможно, решение данных проблем находится в одной плоскости с общими проблемами стандарта в области надежности, описанными в [16]. Важнейшими проблемами для надежности программных систем являются стандартизация терминологии
    Exact
    [10]
    Suffix
    (особенно в отношении базовых понятий — отказа, работоспособного состояния ПС и т. д.), формализация показателей надежности и качества, совершенствование технологии создания и сопровождения. Вопросы стандартов здесь подробно рассматриваться не будут, поскольку это большая тема для отдельной работы. обсуждение и выводы Формирование проблематики — это только начало в анализе проблемной области

11
Черкесов Г.Н. Надежность аппаратнопрограммных комплексов : СПб.: Питер, 2005. 480 с.
Total in-text references: 2
  1. In-text reference with the coordinate start=6021
    Prefix
    Важной частью проблематики, определяющей применение традиционных подходов теории надежности, является выявление того, что является случайной величиной, случайным процессом и т. д. Здесь важно, что программные ошибки сами по себе не являются случайными величинами. Специалисты указывают на то, что случайными событиями являются проявления ошибок при функционировании ПС
    Exact
    [2, 8, 10, 11]
    Suffix
    . Случайность объясняется тем, что для проявления ошибки необходимо возникновение соответствующей ситуации — комбинации некоторого состояния системы и входного воздействия. Поскольку эти комбинации достаточно редки и плохо предсказуемы, появляются основания для рассмотрения момента проявления программной ошибки в качестве случайной величины.

  2. In-text reference with the coordinate start=14703
    Prefix
    надежности, построенные с применением классических подходов, могут оказаться пригодны только в условиях большого числа отказов, а попытки их применения к хорошо отлаженным и высоконадежным ПС не дают приемлемых результатов. В литературе приведено описание большого числа разработанных для исследования надежности ПО математических моделей, классифицируемых по различным основаниям
    Exact
    [6, 11, 13]
    Suffix
    . Важную часть проблематики надежности составляют смежные вопросы качества ПС. Действующие в настоящее время стандарты в этой области, определяющие надежность как одну из характеристик качества, могут считаться устаревшими.

12
Карповский Е.Я., Чижов С.А. Надежность программной продукции. К.: Тэхника, 1990. 160 с.
Total in-text references: 4
  1. In-text reference with the coordinate start=9196
    Prefix
    При этом необходимо точно представлять отличия ПС от других технических систем с точки зрения надежности. Они достаточно объемно сформулированы в нескольких основополагающих работах, среди которых можно отметить
    Exact
    [3, 5, 8, 10, 12–14]
    Suffix
    . Эти отличия во многом определяют и дополняют соответствующие компоненты проблематики: необходимо разрабатывать специальные подходы к исследованию надежности ПС, уделять особое внимание стадии проектирования, четко определить терминологию и критерии применения терминов.

  2. In-text reference with the coordinate start=9516
    Prefix
    Эти отличия во многом определяют и дополняют соответствующие компоненты проблематики: необходимо разрабатывать специальные подходы к исследованию надежности ПС, уделять особое внимание стадии проектирования, четко определить терминологию и критерии применения терминов. Например, большое значение
    Exact
    [3, 5, 12]
    Suffix
    имеет определение понятий «ошибка», «надежность» и т. д. В [2, 10] рассматриваются две разновидности программных систем, первая из которых характеризуется тем, что исполнители могут уделять меньше внимания вопросам надежности, поскольку качество этих ПС имеет значение в основном только для самих разработчиков.

  3. In-text reference with the coordinate start=10652
    Prefix
    Например, известна проблема определения показателей надежности ПС, поскольку некоторые важные характеристики качества (число программных ошибок и т. п.) не вполне годятся для оценки надежности. Дополняет эту часть проблематики необходимость учета особенностей, отличающих программы от других технических изделий. В работе
    Exact
    [12]
    Suffix
    , например, рассматриваются некоторые показатели надежности, учитывающие специфику отказов ПС. Существуют разные подходы к оценке надежности ПО в составе информационных систем [7, 14]. С одной стороны, ПО является чрезвычайно важным компонентом и его надежность необходимо оценивать самостоятельно.

  4. In-text reference with the coordinate start=13688
    Prefix
    рассмотрении вопросов о классификации и причинах появления программных ошибок, что само по себе является частью проблематики надежности ПС, затрагивается еще одна важная тема — влияние человеческого фактора на надежность ПС, точнее, проблема оценки этого влияния и свойств программиста (или коллектива программистов). Некоторые аспекты данной области проблематики также обсуждаются в работах
    Exact
    [3, 5, 9, 12, 15]
    Suffix
    . Особое значение в проблематике надежности ПС приобретает необходимость построения моделей исследуемых систем и процессов ввиду их сложности. Существенную роль играют допущения [2], в рамках которых 56 строятся математические модели.

13
Смагин В.А., Дорохов А.Н. Основы теории надежности программного обеспечения : СПб.: Балт. гос. техн. ун-т., 2009. 304 с.
Total in-text references: 4
  1. In-text reference with the coordinate start=9196
    Prefix
    При этом необходимо точно представлять отличия ПС от других технических систем с точки зрения надежности. Они достаточно объемно сформулированы в нескольких основополагающих работах, среди которых можно отметить
    Exact
    [3, 5, 8, 10, 12–14]
    Suffix
    . Эти отличия во многом определяют и дополняют соответствующие компоненты проблематики: необходимо разрабатывать специальные подходы к исследованию надежности ПС, уделять особое внимание стадии проектирования, четко определить терминологию и критерии применения терминов.

  2. In-text reference with the coordinate start=12454
    Prefix
    В этих же работах помимо классификации отказов и сбоев уточняется и детализируется проблематика по вопросам восстановления ПС и использованию для этих целей различных видов избыточности. Проблематика целесообразности введения и соответствующего использования избыточности в программы, данные и процессы функционирования ПС обсуждается многими авторами, например
    Exact
    [2, 4, 13]
    Suffix
    . Как правило, смысловое наполнение терминов в этом вопросе вполне соответствует традиционному для теории надежности. В основном рассматриваются программная (алгоритмическая), информационная и временная избыточности.

  3. In-text reference with the coordinate start=13244
    Prefix
    На основе [4] можно предложить рассматривать эту проблему совместно с группой вопросов о сборе и анализе статистической информации. С другой стороны дополняет эту часть проблематики мнение о недостаточной эффективности введения избыточности и резервирования
    Exact
    [13]
    Suffix
    . В книге [14] и цитируемых в ней работах при рассмотрении вопросов о классификации и причинах появления программных ошибок, что само по себе является частью проблематики надежности ПС, затрагивается еще одна важная тема — влияние человеческого фактора на надежность ПС, точнее, проблема оценки этого влияния и свойств программиста (или коллектива программистов).

  4. In-text reference with the coordinate start=14703
    Prefix
    надежности, построенные с применением классических подходов, могут оказаться пригодны только в условиях большого числа отказов, а попытки их применения к хорошо отлаженным и высоконадежным ПС не дают приемлемых результатов. В литературе приведено описание большого числа разработанных для исследования надежности ПО математических моделей, классифицируемых по различным основаниям
    Exact
    [6, 11, 13]
    Suffix
    . Важную часть проблематики надежности составляют смежные вопросы качества ПС. Действующие в настоящее время стандарты в этой области, определяющие надежность как одну из характеристик качества, могут считаться устаревшими.

14
Шубинский И.Б. Функциональная надежность информационных систем. Методы анализа. М.: ООО «Журнал «Надежность», 2012. 296 с.
Total in-text references: 5
  1. In-text reference with the coordinate start=9196
    Prefix
    При этом необходимо точно представлять отличия ПС от других технических систем с точки зрения надежности. Они достаточно объемно сформулированы в нескольких основополагающих работах, среди которых можно отметить
    Exact
    [3, 5, 8, 10, 12–14]
    Suffix
    . Эти отличия во многом определяют и дополняют соответствующие компоненты проблематики: необходимо разрабатывать специальные подходы к исследованию надежности ПС, уделять особое внимание стадии проектирования, четко определить терминологию и критерии применения терминов.

  2. In-text reference with the coordinate start=10832
    Prefix
    Дополняет эту часть проблематики необходимость учета особенностей, отличающих программы от других технических изделий. В работе [12], например, рассматриваются некоторые показатели надежности, учитывающие специфику отказов ПС. Существуют разные подходы к оценке надежности ПО в составе информационных систем
    Exact
    [7, 14]
    Suffix
    . С одной стороны, ПО является чрезвычайно важным компонентом и его надежность необходимо оценивать самостоятельно. С другой стороны, при рассмотрении информационных систем предполагается, что отказы вычислительной техники и ПО взаимозависимы, то есть надежность таких систем должна оцениваться комплексно.

  3. In-text reference with the coordinate start=13258
    Prefix
    На основе [4] можно предложить рассматривать эту проблему совместно с группой вопросов о сборе и анализе статистической информации. С другой стороны дополняет эту часть проблематики мнение о недостаточной эффективности введения избыточности и резервирования [13]. В книге
    Exact
    [14]
    Suffix
    и цитируемых в ней работах при рассмотрении вопросов о классификации и причинах появления программных ошибок, что само по себе является частью проблематики надежности ПС, затрагивается еще одна важная тема — влияние человеческого фактора на надежность ПС, точнее, проблема оценки этого влияния и свойств программиста (или коллектива программистов).

  4. In-text reference with the coordinate start=15382
    Prefix
    Поскольку здесь задача анализа качества не является основной, далее коротко будут отмечены несколько более общих вопросов, которые могут быть важны для дальнейших исследований. Надежность рассматривается специалистами как одна из характеристик качества ПС
    Exact
    [8, 10, 14]
    Suffix
    . Проблематика качества, как и проблематика надежности, может включать вопросы, связанные с определением показателей качества и соответствующим управлением. В [4] с качеством ПС связывается ряд вопросов, касающихся сложности их структуры.

  5. In-text reference with the coordinate start=16206
    Prefix
    оценки сложности ПС и взаимосвязи сложности с надежностью описана в [5], где, в частности, указывается на зависимость ошибок не от объемов программного кода, а от структуры ПС, исключается возможность обобщения результатов исследования ошибок, в том числе и при сохранении постоянных условий разработки, и предполагается индивидуальный подход в этом вопросе к каждой вновь создаваемой ПС. В
    Exact
    [14]
    Suffix
    определение качества связывается с полезностью программ, что согласуется с той вышеописанной частью проблематики надежности и качества ПС, в которой рассматриваются программные ошибки и отказы функционирования в контексте пользовательских ожиданий.

15
Абрамова Н.А. О некоторых мифах в оценке качества программного обеспечения // Надежность. 2004. No 1. С. 38–63.
Total in-text references: 1
  1. In-text reference with the coordinate start=13688
    Prefix
    рассмотрении вопросов о классификации и причинах появления программных ошибок, что само по себе является частью проблематики надежности ПС, затрагивается еще одна важная тема — влияние человеческого фактора на надежность ПС, точнее, проблема оценки этого влияния и свойств программиста (или коллектива программистов). Некоторые аспекты данной области проблематики также обсуждаются в работах
    Exact
    [3, 5, 9, 12, 15]
    Suffix
    . Особое значение в проблематике надежности ПС приобретает необходимость построения моделей исследуемых систем и процессов ввиду их сложности. Существенную роль играют допущения [2], в рамках которых 56 строятся математические модели.

16
Нетес В.А., Тарасьев Ю.И., Шпер В.Л. Актуальные вопросы стандартизации терминологии в области надежности // Надежность. 2014. No 2. С. 116–119.
Total in-text references: 1
  1. In-text reference with the coordinate start=16746
    Prefix
    Заканчивая формирование проблематики, необходимо вернуться к вышеупомянутому вопросу совершенствования стандартов в области надежности и качества ПС [8, 10]. Возможно, решение данных проблем находится в одной плоскости с общими проблемами стандарта в области надежности, описанными в
    Exact
    [16]
    Suffix
    . Важнейшими проблемами для надежности программных систем являются стандартизация терминологии [10] (особенно в отношении базовых понятий — отказа, работоспособного состояния ПС и т. д.), формализация показателей надежности и качества, совершенствование технологии создания и сопровождения.

17
Ушаков И.А., Шубинский И.Б. Насущные проблемы инженерной надежности (Кто мы? Откуда мы? Куда мы идем?) // Надежность. 2012. No 1. С. 3–4.
Total in-text references: 1
  1. In-text reference with the coordinate start=20381
    Prefix
    Этому способствует появление печатных работ, в том числе обобщающих, направленных на систематизацию знаний, стимулирующих дальнейшее продвижение в данном исследовании. Возможно, в этом направлении может быть найден подход к решению упомянутых в
    Exact
    [17]
    Suffix
    на стр. 4 инженерных задач.