The 29 reference contexts in paper I. Potapov V., M. Baeva A., И. Потапов В., М. Баева А. (2016) “ВОПРОСЫ ТЕРМИНОЛОГИИ НАДЕЖНОСТИ В ОБЛАСТИ ПРОГРАММ И ПРОГРАММНЫХ СРЕДСТВ // TERMINOLOGY ISSUES RELATED TO RELIABILITY OF PROGRAMS AND SOFTWARE” / spz:neicon:sustain:y:2015:i:4:p:65-74

  1. Start
    1198
    Prefix
    Это объясняется необходимостью обновления основного стандарта «Надежность в технике», определяющего терминологию в данной области, и необходимостью согласования основных используемых терминов с международными стандартами. О том, как проходит обсуждение этих вопросов, и о сопутствующих трудностях достаточно подробно рассказано в работах
    Exact
    [1, 2]
    Suffix
    . Похожие трудности могут возникнуть у специалистов, изучающих вопросы надежности информационных систем (ИС). В особенности – их программной части. Здесь терминологические трудности подстерегают уже при использовании базовых понятий.
    (check this in PDF content)

  2. Start
    3639
    Prefix
    Данные причины терминологических трудностей дополняются стандартами, посвященными вопросам качества ПС, в которых тот же термин «надежность» рассматривается только как одно из свойств, обусловливающих качество. Далее в тексте работы об этом будет сказано более подробно. Добавим, что перечисленные трудности являются важной частью общей проблематики надежности ПС
    Exact
    [3]
    Suffix
    . Из сказанного можно сделать вывод о необходимости тщательного всестороннего изучения вопросов терминологии в области надежности ПС, что вполне соответствует общей тенденции. постановка задачи На основе сказанного выше возникает задача изучения существующего разнообразия терминов с целью выбора наиболее подходящих из них.
    (check this in PDF content)

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

  4. Start
    7006
    Prefix
    далее, этот подход гармонирует с международными стандартами и обобщенной концепцией надежности в сфере компьютерных наук. анализ терминологии Рассмотрим несколько определений основных терминов, приводимых в различных источниках, и проанализируем их применимость к ПС. Начнем с основного в данном вопросе стандарта ГОСТ 27.002–89 «Надежность в технике. Основные понятия. Термины и определения»
    Exact
    [4]
    Suffix
    . Согласно этому стандарту, надежность определяется как «свойство объекта сохранять во времени в установленных пределах значения всех параметров, характеризующих способность выполнять требуемые функции в заданных режимах и условиях применения, технического обслуживания, хранения и транспортирования».
    (check this in PDF content)

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

  6. Start
    7696
    Prefix
    Там же в [4] отмечено, что в зависимости от назначения объекта и условий его применения надежность может включать сочетания свойств безотказности, долговечности, ремонтопригодности и сохраняемости. Это важное примечание, которое пригодится в дальнейшем. Сразу отметим, что для широкого спектра ПС, по-видимому, не важны свойства сохраняемости и долговечности, как они определены в
    Exact
    [4]
    Suffix
    . Возможно, понятие долговечности (вместе с понятием о предельном состоянии) может применяться для сложных программных систем реального времени. О самом определении надежности можно сказать, что оно «параметрическое», т. е. для его применения требуется перечислить параметры и установить пределы их изменения.
    (check this in PDF content)

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

  8. Start
    8897
    Prefix
    Предположительно, это может быть связано с тем, что надежность технических систем часто понимают в первую очередь как reliability, а с этим словом связывают показатель «вероятность безотказной работы на некотором определенном интервале времени». Однако для программ этот показатель не всегда удобен в применении. В стандарте ГОСТ 28195–89 «Оценка качества программных средств. Общие положения»
    Exact
    [6]
    Suffix
    нет определений терминов, но есть описание показателей качества, показатели надежности ПС, отражающие «способность ПС в конкретных областях применения выполнять заданные функции в соответствии с программными документами в условиях возникновения отклонений в среде функционирования, вызванных сбоями технических средств, ошибками во входных данных, ошибками обслуживания и другими дестабилизирую
    (check this in PDF content)

  9. Start
    9592
    Prefix
    Здесь не учитывается, что программные документы, как и сами программы, могут содержать ошибки. Кроме того, перечисленные отклонения относятся, пожалуй, не к самим ПС, а к внешней среде. Зато в стандарте ГОСТ 28806–90 «Качество программных средств. Термины и определения»
    Exact
    [7]
    Suffix
    , в соответствии с названием дано определение надежности ПС: «Совокупность свойств, характеризующая способность программного средства сохранять заданный уровень пригодности в заданных условиях в течение заданного интервала времени».
    (check this in PDF content)

  10. Start
    10036
    Prefix
    Снова можно видеть указания на «заданные временные интервалы», смысл которых для функционирования ПС сомнителен. Об этом достаточно сказано в литературе по надежности ПС. Удивительно, но в этом же стандарте
    Exact
    [7]
    Suffix
    сразу после определения надежности ПС дано примечание, в котором сказано, что «количество и характер отказов программного средства ... не зависят от времени». Уровень пригодности, о котором идет речь в данном определении надежности, в свою очередь, определяется как «степень удовлетворения потребностей, представленная посредством конкретного набора значений характеристик качества программно
    (check this in PDF content)

  11. Start
    11209
    Prefix
    Одним словом, эти термины вызывают дополнительные вопросы. В продолжение рассмотрим стандарт ГОСТ Р ИСО/ МЭК 9126–93 «Информационная технология. Оценка программной продукции. Характеристики качества и руководства по их применению»
    Exact
    [8]
    Suffix
    . Этот стандарт под надежностью понимает «набор атрибутов, относящихся к способности программного обеспечения сохранять свой уровень качества функционирования при установленных условиях за установленный период времени».
    (check this in PDF content)

  12. Start
    11853
    Prefix
    Зато в этом примечании есть указание с отсылкой к другому стандарту о том, что приведенное определение надежности расширено до «сохранения своего уровня качества функционирования» вместо «выполнения требуемой функции». Возможно, это важно для вопросов качества. В приложении к стандарту
    Exact
    [8]
    Suffix
    предложены показатели надежности, во многом аналогичные вышеупомянутым показателям из стандарта [7]: восстанавливаемость, устойчивость к ошибке и стабильность. Теперь посмотрим, как это понятие определяется в других международных стандартах.
    (check this in PDF content)

  13. Start
    11954
    Prefix
    Зато в этом примечании есть указание с отсылкой к другому стандарту о том, что приведенное определение надежности расширено до «сохранения своего уровня качества функционирования» вместо «выполнения требуемой функции». Возможно, это важно для вопросов качества. В приложении к стандарту [8] предложены показатели надежности, во многом аналогичные вышеупомянутым показателям из стандарта
    Exact
    [7]
    Suffix
    : восстанавливаемость, устойчивость к ошибке и стабильность. Теперь посмотрим, как это понятие определяется в других международных стандартах. Начнем с IEEE Std 610.12–1990 – словаря терминов в области программирования [9], в котором надежность (reliability) определяется как «The ability of a system or component to perform its required functions under stated conditions for a specified period
    (check this in PDF content)

  14. Start
    12179
    Prefix
    В приложении к стандарту [8] предложены показатели надежности, во многом аналогичные вышеупомянутым показателям из стандарта [7]: восстанавливаемость, устойчивость к ошибке и стабильность. Теперь посмотрим, как это понятие определяется в других международных стандартах. Начнем с IEEE Std 610.12–1990 – словаря терминов в области программирования
    Exact
    [9]
    Suffix
    , в котором надежность (reliability) определяется как «The ability of a system or component to perform its required functions under stated conditions for a specified period of time». Это можно понимать как «способность системы или элемента выполнять требуемые функции в заданных условиях в точно определенном интервале времени».
    (check this in PDF content)

  15. Start
    13001
    Prefix
    , переведенных с английского, имеется некоторая (возможно, только кажущаяся) двусмысленность в отношении того, к чему именно относятся «заданные условия»: то ли речь идет об условиях функционирования элемента или системы, то ли о параметрах выполняемых ими функций. Возможно, это связано с привычкой к параметрическому определению надежности. Выше уже рассматривался международный стандарт
    Exact
    [8]
    Suffix
    из области качества ПС. У этого стандарта есть и более поздняя редакция, состоящая из нескольких частей, которую рассмотрим далее. В [10] надежность в переводе на русский язык определяется как «способность ПС сохранять заданный уровень функционирования при эксплуатации в заданных условиях».
    (check this in PDF content)

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

  17. Start
    13362
    Prefix
    В [10] надежность в переводе на русский язык определяется как «способность ПС сохранять заданный уровень функционирования при эксплуатации в заданных условиях». Сразу видно, что в отличие от приведенного выше определения из
    Exact
    [8]
    Suffix
    , здесь нет упоминания о «периоде времени». Возможно, это словосочетание было добавлено при подготовке [8] для согласования с базовым понятием из ГОСТ 27.002–89 или IEEE Std 610.12–1990 (это только предположение).
    (check this in PDF content)

  18. Start
    13468
    Prefix
    В [10] надежность в переводе на русский язык определяется как «способность ПС сохранять заданный уровень функционирования при эксплуатации в заданных условиях». Сразу видно, что в отличие от приведенного выше определения из [8], здесь нет упоминания о «периоде времени». Возможно, это словосочетание было добавлено при подготовке
    Exact
    [8]
    Suffix
    для согласования с базовым понятием из ГОСТ 27.002–89 или IEEE Std 610.12–1990 (это только предположение). Перечисленные определения надежности ПС – далеко не полный перечень возможных вариантов. В литературе можно встретить и другие формулировки.
    (check this in PDF content)

  19. Start
    13870
    Prefix
    В литературе можно встретить и другие формулировки. Среди них наибольшего внимания заслуживает определение, сформулированное на основе современного взгляда. Отметим определение, которое дано в работе
    Exact
    [11]
    Suffix
    : «функциональная надежность – совокупность свойств, которые определяют способность программного обеспечения с приемлемым уровнем безошибочности правильно преобразовывать исходные данные в результаты при данных условиях, сохраняя выходные результаты в допустимых пределах».
    (check this in PDF content)

  20. Start
    14157
    Prefix
    Отметим определение, которое дано в работе [11]: «функциональная надежность – совокупность свойств, которые определяют способность программного обеспечения с приемлемым уровнем безошибочности правильно преобразовывать исходные данные в результаты при данных условиях, сохраняя выходные результаты в допустимых пределах». Там же в
    Exact
    [11]
    Suffix
    перечислены и основные атрибуты функциональной надежности, среди которых выделены «безошибочность» и «правильность». Дополнительно отметим, что к атрибутам функциональной надежности программ 68 в [11] относится еще и «безотказность», определение которой отличается от «безошибочности».
    (check this in PDF content)

  21. Start
    14431
    Prefix
    Там же в [11] перечислены и основные атрибуты функциональной надежности, среди которых выделены «безошибочность» и «правильность». Дополнительно отметим, что к атрибутам функциональной надежности программ 68 в
    Exact
    [11]
    Suffix
    относится еще и «безотказность», определение которой отличается от «безошибочности». Смысл в том, что безотказность трактуется как способность программ не вызывать функциональные отказы информационной системы, а безошибочность – как способность программ «функционировать без ошибок».
    (check this in PDF content)

  22. Start
    15118
    Prefix
    Здесь снова возникает важный вопрос о том, надо ли рассматривать надежность программ как самостоятельных компонент информационных систем, в которых они исполняются. В работе, посвященной изложению базовых идей в области общей теории надежности
    Exact
    [12]
    Suffix
    , международный коллектив специалистов комплексно рассматривает надежность вычислительных систем. Они дают очень обобщенное определение надежности (dependability, а не reliability) как «способность системы предоставлять обслуживание, которому можно доверять» (в оригинале «... ability to deliver service that can justifiably be trusted»).
    (check this in PDF content)

  23. Start
    16094
    Prefix
    , и перебоев в работе, которые имеют длительность, большую, чем это приемлемо для пользователей» (в оригинале «the ability of a system to avoid failures that are more frequent or more severe, and outage durations that are longer, than is acceptable to the user(s)»). В принципе все это можно применять и при рассмотрении надежности ПС. Среди свойств общей надежности ИС, рассматриваемых в
    Exact
    [12]
    Suffix
    , можно выделить восстанавливаемость (maintainability) – способность к модифицированию и восстановлению работоспособности (ability to undergo repairs and modifications) и безотказность (reliability) – непрерывность правильного предоставления услуг («continuity of correct service»).
    (check this in PDF content)

  24. Start
    17554
    Prefix
    Перечислим свойства и рассматриваемые виды ПС с расшифровкой кодов ОКП, приведенные в табл. 1. Начнем с перечисления свойств. Рассматриваются свойство безотказности (в табл. 1 приведено с пометкой «Г») в трактовке ГОСТ 27.002–89
    Exact
    [4]
    Suffix
    и свойства восстанавливаемости, устойчивости к ошибке и стабильности в трактовке ГОСТ Р ИСО/МЭК 9126–93 [8]. Далее, воспользовавшись определениями из [11], свойство безошибочности – способность ПС функционировать без ошибок, свойство безотказности – способность ПС не вызывать функциональные отказы ИС, свойство пригодности к восстановлению – способность программы к устранению программной о
    (check this in PDF content)

  25. Start
    17661
    Prefix
    Рассматриваются свойство безотказности (в табл. 1 приведено с пометкой «Г») в трактовке ГОСТ 27.002–89 [4] и свойства восстанавливаемости, устойчивости к ошибке и стабильности в трактовке ГОСТ Р ИСО/МЭК 9126–93
    Exact
    [8]
    Suffix
    . Далее, воспользовавшись определениями из [11], свойство безошибочности – способность ПС функционировать без ошибок, свойство безотказности – способность ПС не вызывать функциональные отказы ИС, свойство пригодности к восстановлению – способность программы к устранению программной ошибки и к перезапуску для повторного выполнения и восстановления данных в случае функционального отказа, свой
    (check this in PDF content)

  26. Start
    17708
    Prefix
    Рассматриваются свойство безотказности (в табл. 1 приведено с пометкой «Г») в трактовке ГОСТ 27.002–89 [4] и свойства восстанавливаемости, устойчивости к ошибке и стабильности в трактовке ГОСТ Р ИСО/МЭК 9126–93 [8]. Далее, воспользовавшись определениями из
    Exact
    [11]
    Suffix
    , свойство безошибочности – способность ПС функционировать без ошибок, свойство безотказности – способность ПС не вызывать функциональные отказы ИС, свойство пригодности к восстановлению – способность программы к устранению программной ошибки и к перезапуску для повторного выполнения и восстановления данных в случае функционального отказа, свойство защищенности – способность ПС предотвраща
    (check this in PDF content)

  27. Start
    18352
    Prefix
    и к перезапуску для повторного выполнения и восстановления данных в случае функционального отказа, свойство защищенности – способность ПС предотвращать несанкционированный доступ к программам и данным, и свойство контролируемости – свойство, характеризующее полноту и эффективность обнаружения ошибок в промежуточных и выходных результатах. Дополнительно рассмотрим несколько свойств из работы
    Exact
    [12]
    Suffix
    , хотя они сформулированы довольно обобщенно и отТаблица 1 Наименование свойства Программные средства 1)2)3)4)5)6)7)8)9)10) Безотказность (Г)+++++++++Восстанавливаемость+++/-+++++++ Устойчивость к ошибке++-+/--++/-++Стабильность+---+/-++/-+/--Безошибочность+++++++++Безотказность+---++++/--Пригодность к восстановлению++--+/-+++/-+/-Восстанавливаемость (ALR)++--+/-+++/-+/-Безотказность (ALR)++/--+/-
    (check this in PDF content)

  28. Start
    20729
    Prefix
    Если же рассматривать весь набор ПС, то универсальными свойствами, наиболее объемно описывающими надежность, являются безошибочность и безотказность (это свойство может рассматриваться и в формулировке
    Exact
    [12]
    Suffix
    , и в понимании [4], если возможно сформулировать все требования и задать все параметры, как и предполагает этот стандарт). Дополнительно отметим важное для практики свойство восстанавливаемости. Это свойство особенно необходимо для ПС, предназначенных для решения задач управления.
    (check this in PDF content)

  29. Start
    20749
    Prefix
    Если же рассматривать весь набор ПС, то универсальными свойствами, наиболее объемно описывающими надежность, являются безошибочность и безотказность (это свойство может рассматриваться и в формулировке [12], и в понимании
    Exact
    [4]
    Suffix
    , если возможно сформулировать все требования и задать все параметры, как и предполагает этот стандарт). Дополнительно отметим важное для практики свойство восстанавливаемости. Это свойство особенно необходимо для ПС, предназначенных для решения задач управления.
    (check this in PDF content)