Güvenlik kritik aviyonik yazılımlar için tümleştirme test olgunluğunu değerlendirme

Güvenlik kritik yazılım hataları, can kaybı ve çevresel zararlar gibi birçok ciddi soruna yol açabilmektedir; bu nedenle, güvenlik kritik yazılımların doğrulanması özel bir çaba gerektirmektedir. Güvenlik kritik yazılımların bir türü de aviyonik sistem yazılımlarıdır. 2011 yılında, RTCA (Radio Technical Commission for Aeronautics) tarafından yayınlanmış olan "DO-178C: Software Considerations in Airborne Systems and Equipment Certification" dokümanı, havacılıkta yazılım geliştirme ve doğrulama faaliyetlerine ait süreçlere değinmektedir. Diğer yandan, yazılım geliştirme ve yazılım test faaliyetlerini iyileştirmek için tanımlanmış ve kabul görmüş kılavuzlar bulunmaktadır. Bunlar biri olan TMMI (Test Olgunluk Model Entegrasyon), TMMI Foundation tarafından geliştirilmiştir ve kurumlarda test süreçlerinin ve ürün kalitesinin iyileştirmesi için kılavuz niteliğindedir. Ne var ki aviyonik sistem yazılımları güvenlik kritik yazılım karakteristiklerine sahiptir ve TMMI modeli, özel olarak bu karakteristiklere değinmemektedir. Bu boşluğu doldurmak amacıyla, bu tez çalışmasında, ilk olarak test aktivitelerine temel olarak aviyonik yazılım karakteristikleri belirlenmiştir. Ardından, DO-178C ve TMMI (Sürüm 1.3) dokümanlarının süreçleri ve pratikleri, birbiriyle çift-yönlü karşılaştırılmıştır. Son olarak aviyonik yazılım karakteristiklerine ve karşılaştırma sonuçlarına dayanarak entegrasyon test olgunluğu için bir kılavuz doküman hazırlama yaklaşımı geliştirilmiştir. Entegrasyon testlerinin güvenlik kritik yazılım hatalarını önlemedeki kritik rolü gözetildiğinde bu yaklaşımın aviyonik yazılımların entegrasyon test süreçlerini değerlendirmek için fayda sağlayacağı düşünülmektedir. Bu yaklaşımın etkisinin ve uygulanabilirliğinin ölçümü için bir durum çalışması gerçekleştirilmiştir. Aynı ekipte yer alan test mühendisleri uyguladıkları test süreçlerini değerlendirmeye çalıştılar. Değerlendirmede birinci grup TMMI modelini, ikinci grup ise TMMI modeline ek olarak kılavuz doküman yaklaşımını kullandılar. Sonuç olarak, kılavuz yaklaşımı aviyonik entegre test süreçleri için daha fazla sayıda iyileştirme önerisi sundu ve bu öneriler aviyonik yazılımlara ait alana özel ihtiyaçlara değinmektedir.