Emniyet Kritik Sistemlerde Model Güdümlü Doğrulama

Alper KENDİ  

Yazılım Müdürlüğü, STM A.Ş., Ankara

Özetçe

Bu makalenin amacı, güvenlik kritik yazılım geliştirme çevriminde karşılaşılan gereksinim kaynaklı hataların erken tespit edilmesine yardımcı bir yöntem anlatmaktır. Bu yöntem ile gereksinim tabanlı modelleme ve model üzerinden doğrulama yaklaşımı kullanılarak, yüksek verimli gereksinim gözden geçirilmesine ve beraberinde az hatalı, tutarlı ve test edilebilir gereksinim oluşturulmasına imkân verilmektedir.

1.GİRİŞ

1980’li yıllardan başlayarak büyüyerek yayılan ve yaşamın her noktasında kendilerini gösteren yazılımlara, konusu insan yaşamı olan uygulamalarda ihtiyaç duyulmaya başlandı. İnsan yaşamının emanet edildiği bu tür yazılımların geliştirilmesine yazılımın üstlendiği sorumluluktan ötürü elverişlilik, güvenilirlik ve benzeri gibi ölçütler, uyulması zorunlu standartlar ile denetimler getirildi. Günümüzde halen mühendisler, insanoğlunun doğası gereği hata yapma alışkanlığı karşısında, insan üretimi fakat hata yapmayan yazılım geliştirilmesi zorunluluğu ile kıyasıya mücadele vermektedir. Bu mücadele güvenlik kritik yazılım geliştirme çevriminde, hata bulmaya ve önlemeye yönelik yeni yöntemlerin ortaya çıkartılması ve uygulanması ile insan-hata denkleminde mühendislerce kazanılması zaruri bir mücadele halini almıştır.

Model güdümlü doğrulama, model güdümlü geliştirme yönteminin gereksinimlerin gözden geçirilmesine yönelik bir uyarlamasıdır. Binlerce satırlık gereksinim kümeleri içerisinde kaybolmadan, anlaşılır ve çalıştırılabilir modeller üzerinden gözden geçirmelerin gerçekleştirilerek, projenin ilerleyen aşamalarında ortaya çıkması muhtemel hataların henüz sisteme girmeden tespit edilmesine olanak sağlar. Bu bildiride öncellikle model güdümlü geliştirmenin genel bir tanımı verilerek, model güdümlü doğrulamanın DO-178B gibi standartlar kılavuzluğunda geliştirilen güvenlik kritik yazılımlarda hata bulma üzerine etkileri ve sağladığı faydalar yazarın deneyimlerine dayandırılarak anlatılacaktır


yazının devamı  http://www.uyms.org.tr/2011/bildiriler/b42.pdf