Тестирование на надежность
Тестирование надежности — это любая методология обеспечения качества , ориентированная на тестирование надежности программного обеспечения . Тестирование устойчивости также использовалось для описания процесса проверки устойчивости (т.е. правильности) тестовых примеров в процессе тестирования. ANSI и IEEE определили надежность как степень, в которой система или компонент могут правильно функционировать при наличии неверных входных данных или стрессовых условиях окружающей среды. [1]
Термин «тестирование на надежность» впервые был использован в проекте Ballista в Университете Карнеги-Меллон . Они проводили тестирование операционных систем на надежность на основе типов данных POSIX API, что приводило к полным сбоям в работе некоторых систем. [2] Этот термин также использовался исследователями OUSPG и VTT, принимавшими участие в проекте PROTOS в контексте тестирования безопасности программного обеспечения. [3] Со временем термин фаззинг (который специалисты по безопасности используют в основном для неинтеллектуального и случайного тестирования устойчивости) распространился и на тестирование надежности на основе моделей.
Методы
[ редактировать ]Внесение неисправностей
[ редактировать ]Внесение ошибок — это метод тестирования, который можно использовать для проверки надежности систем. В ходе этого процесса инженеры по тестированию вводят неисправности в системы и наблюдают за отказоустойчивостью системы. [4] Инженеры-испытатели могут разработать эффективные методы, которые помогают вводить ошибки для поиска критических ошибок в системе. [5] [6]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ «Стандартный глоссарий терминологии программной инженерии (ANSI)» . Институт инженеров по электротехнике и электронике, 1991 г.
- ^ Кропп, Купман, Севиорек. 1998. Автоматизированное тестирование надежности готовых программных компонентов. Материалы FTCS'98. http://www.ece.cmu.edu/~koopman/ballista/ftcs98/ftcs98.pdf
- ^ Каксонен, Раули. 2001. Функциональный метод оценки безопасности реализации протокола (лицензиатская диссертация). Эспоо. Центр технических исследований Финляндии, Публикации VTT 448. 128 стр. + приложение. 15 р. ISBN 951-38-5873-1 (изд. в мягкой обложке) ISBN 951-38-5874-X (онлайн-изд.). https://www.ee.oulu.fi/research/ouspg/PROTOS_VTT2001-functional
- ^ Моради, Мехрдад; Ван Акер, Берт; Ванхерпен, Кен; Денил, Иоахим (2019). Чемберлен, Роджер; Таха, Валид; Торнгрен, Мартин (ред.). «Реализованная моделью гибридная инъекция ошибок для Simulink (демонстрация инструмента)» . Киберфизические системы. Модельно-ориентированное проектирование . Конспекты лекций по информатике. 11615 . Чам: Springer International Publishing: 71–90. дои : 10.1007/978-3-030-23703-5_4 . ISBN 978-3-030-23703-5 . S2CID 195769468 .
- ^ «Оптимизация внесения ошибок при совместном моделировании FMI посредством разделения чувствительности | Материалы летней конференции по моделированию 2019 года» . dl.acm.org . Проверено 15 июня 2020 г.
- ^ Моради, Мехрдад, Бентли Джеймс Оукс, Мустафа Сараоглу, Андрей Морозов, Клаус Яншек и Иоахим Денил. «Исследование пространства параметров разломов с использованием внедрения разломов на основе обучения армированию». (2020).