Architecture-driven fault-based testing for software safety

Emniyet-kritik sistemlerdeki bir aksama ya da işlev bozukluğu ölümlere, insanlar üzerinde ciddi yaralanmalara ya da çevresel hasarlara neden olabilir. Bu riskleri ortadan kaldırmak ya da azaltmak için emniyet-kritik sistemler dikkatli bir şekilde tasarlanmalı ve analiz edilmelidir. Tasarım aşamasında karar alınırken farklı paydaşlar için mimari görünümlerin ve perspektiflerin modellenmesi, yazılım mimari tasarımında kullanılan yaygın pratiklerden birisidir. Literatürde var olan yaklaşımlar genel amaçlı olarak kullanılmış ve özel olarak emniyet ilgisi ele alınmamıştır. Emniyet ilgisini mimari düzeyde adresleyebilmek ve emniyet-kritik sistemlerin tasarım sürecini desteklemek amacıyla literatürde var olmayan emniyet perspektifi ve yazılım emniyeti için mimari çerçeve yaklaşımlarını sunuyoruz. Emniyet-kritik sistemler tasarlandıktan sonra gerçekleştirim, kurulum ve işletim süreçlerinden önce sistemlerin analiz aşaması gerçekleştirilmelidir. Yapılan analizle birlikte olası hataların belirlendiği ve belirlenen hataları tolere etmek ya da ortadan kaldırmak için uygun maliyetli çözümlerin uygulandığından emin olunmalıdır. Emniyet-kritik sistemler karmaşık sistemler olduğu için, bu sistemlerin testinin gerçekleştirilmesi ve uygun test durumlarının yazılması oldukça zorludur. Literatürde yazılım mimarisi kalitesini değerlendirmek açısından birçok senaryo-tabanlı yazılım mimari analizi yaklaşımları sunulmuştur. Fakat bu yaklaşımlar genel çözümler sunmakta ve emniyet ilgisini doğrudan göz önünde bulundurmamaktadır. Bu kapsamda, emniyet-kritik sistemler için oluşturulan test durumlarının uygulanan emniyet taktikleri ve hata bilgileri kullanılarak etkinliğini değerlendirebilmek için hata-tabanlı test yaklaşımı sunulmaktadır.