Sog'lomlikni tekshirish - Robustness testing

Sog'lomlikni tekshirish bu dasturiy ta'minotning mustahkamligini tekshirishga qaratilgan har qanday sifatni ta'minlash metodologiyasi. Sog'lomlikni sinash, shuningdek, sinov jarayonida sinov holatlarining mustahkamligini (ya'ni to'g'riligini) tekshirish jarayonini tavsiflash uchun ishlatilgan.

ANSI va IEEE mustahkamlikni tizim yoki tarkibiy qismning yaroqsiz kirish yoki stressli atrof-muhit sharoitida to'g'ri ishlashi mumkinligi darajasi sifatida aniqladilar.[1]

"Sog'lomlikni sinash" atamasi birinchi marta Karnegi Mellon universitetidagi Ballista loyihasi tomonidan ishlatilgan. Ular operatsion tizimlarni POSIX API ma'lumotlar turlariga asoslanib ishonchliligi uchun sinovdan o'tkazdilar va ba'zi tizimlarda to'liq tizim ishdan chiqishiga sabab bo'ldilar. [2] Ushbu atama tomonidan ham ishlatilgan OUSPG va VTT tadqiqotchilari PROTOS loyihasida dasturiy ta'minot xavfsizligini sinovdan o'tkazish doirasida qatnashadilar.[3] Oxir-oqibat muddat Xiralashgan (xavfsizlik xodimlari asosan aqlli bo'lmagan va tasodifiy mustahkamlik sinovlari uchun foydalanadilar) modelga asoslangan mustahkamlik sinovlarini ham qamrab oladigan darajada kengaytirildi.

Usullari

Xato in'ektsiyasi

Xatolarni in'ektsiya qilish - bu tizimlarning mustahkamligini tekshirish uchun ishlatilishi mumkin bo'lgan sinov usuli. Ular tizimga nosozliklarni kiritishadi va tizimning chidamliligini kuzatishadi[4]. In [5][6] mualliflar tizimni ishdan chiqarishi mumkin bo'lgan nosozliklarni topishda xatolarni in'ektsiya qilishga yordam beradigan samarali usul ustida ishladilar.

Shuningdek qarang

Adabiyotlar

  1. ^ "Dasturiy ta'minot muhandisligi terminologiyasining standart lug'ati (ANSI)". Elektr va elektronika muhandislari instituti 1991 yil.
  2. ^ Kropp, Koopman, Siewiorek. 1998. Dasturdan tashqari dasturiy ta'minot komponentlarini avtomatlashtirilgan mustahkamligini sinovdan o'tkazish. FTCS'98 ishi. http://www.ece.cmu.edu/~koopman/ballista/ftcs98/ftcs98.pdf
  3. ^ Kaksonen, Rauli. 2001. Protokolni amalga oshirish xavfsizligini baholashning funktsional usuli (Litsenziya tezisi). Espoo. Finlyandiyaning texnik tadqiqotlar markazi, VTT nashrlari 448. 128 p. + ilova. 15 p. ISBN  951-38-5873-1 (yumshoq orqa tahrir) ISBN  951-38-5874-X (on-layn tahrir). https://www.ee.oulu.fi/research/ouspg/PROTOS_VTT2001-funktsional
  4. ^ Moradi, Mehrdod; Van Aker, Bert; Vanxerpen, Ken; Denil, Yoaxim (2019). Chemberlen, Rojer; Taha, Valid; Törngren, Martin (tahrir). "Simulink uchun namunaviy tatbiq etilgan gibrid nosozlik (vositalarni namoyish qilish)". Kiber jismoniy tizimlar. Modelga asoslangan dizayn. Kompyuter fanidan ma'ruza matnlari. Xam: Springer xalqaro nashriyoti: 71-90. doi:10.1007/978-3-030-23703-5_4. ISBN  978-3-030-23703-5.
  5. ^ "FMI-ni simulyatsiya qilishda sezgirlikni taqsimlash orqali xatolarni in'ektsiyalashni optimallashtirish | 2019 yilgi yozgi simulyatsiya konferentsiyasi materiallari". dl.acm.org. Olingan 2020-06-15.
  6. ^ Moradi, Mehrdad, Bentli Jeyms Oaks, Mustafo Saraoglu, Andrey Morozov, Klaus Yanschek va Yoaxim Denil. "Armaturani o'rganishga asoslangan nosozliklarni in'ektsiyasidan foydalangan holda nosozlik parametrlari maydonini o'rganish." (2020).