DO-178B Doğrulama Süreci

DO-178B için bu süreç yazılım doğrulama sürecinin faaliyetlerini ve amaclarını anlatır.Doğrulama, yazılım geliştirme ve yazılım doğrulama süreçlerindeki sonucların teknik bir görüşüdür.Doğrulama süreci, yazılım planlama süreci ve yazılım doğrulama planı doğrultusunda uygulanır. Doğrulama, kolay bir test yöntemi değildir.Test yöntemi genellikle hataların yokluğunu gösteremez.Sonuc olarak ilerdeki alt bölümler, tartısılan yazılım dogrulama sureci amacları, gözden gecirme, analiz etme ve test yapma bölümlerinden olustuğu zaman ,dogrulama terimini test yerine kullanır.


Bu sürecin amacı,yazılım geliştirme sürecinde olabilecek hataları bulmak ve raporlamaktır.Hataların kaldırılması yazılım geliştirme sürecinin bir faaliyetidir.
Bu sürecteki faaliyetler, gözden gecirme hareketleri,analizler,test durumlarının gelişimi durumlarının kombinasyonu boyunca sağlanır.

Bu sürecin cıkış dökumanları;
Software Verification cases and procedures(SVCP) sunlardan olusmaktadır:
a)Gözden Gecirme ve Analiz etme prosedurleri
b)Test durumları
c)Test prosedurleri

Software Verification Results alttaki asamalardan olusmaktadır:
a)Tüm gereksinimlerin gözden gecirilmesi,disaynı,kodlanması
b)“Executable Object Code”un test edilmesi
c)Kodların analizi

Tüm kodların analizine, testler ve sonuclardan gereksinimlere olan izlenebilirliğe yazılım seviyesine göre ihtiyaç duyulmaktadır.

Bu süreç test araclarına dayalı gereksinimleri ve analiz araclarını kapsayan kodları da icemektedir.
Doğrulama Sürecinin alt süreclerinden biri Test Sürecidir.

Test Süreci
Uçuş yazılımları test süreci iki aşamadan oluşmaktadır.Birincisi yazılım gereksinimlerini yerine getirmektedir. İkincisi yazılımın hatalardan temizlenmesidir.Test durumu yazılımın gereksinimleri yönünde olmalı ve yapılacak testler yazılımın potansiyel hatalarının da görülebilmesi düzeyinde olmalıdır.Dogrulama süreci altındaki test sürecinde uygulanan testler sunlardır:
 Birim testi
 Entegrasyon testi
 Kara kutu ve kabulluk testi

Hiç yorum yok:

Yorum Gönder

Etiketler

3G 7-segment 7805 7812 Amplifier Analiz Analog iletişim Arduino AVR Axiom Aristos baskı devre Bellek Beslemeli Kenetleyici Biased Limiters Bird Strike Biyomedikal blog butterworth CCD dedektörler Cep Telefonu CMOS Common Base Amplifier Çarpma DAC0800 DC Motor Decoder Dedektör deney deney timer Devre Diode Clampers Diode Limiters Direnç Diyot Diyot kenetleyici devreler Diyot Limiter DO-178B Doğrudan Sıfırlamalı Doğrultucular Dolaylı Sıfırlamalı Döngüsel Sayıcılar Düzlem-Panel Dedektörler Elektrik Elektronik Projeler Entegre Devreler Fiber Optik filtreler flipflop Flora foruier serileri Fototransistör fourier dönüşümü FPGA Frekans Counter Function Generato gereksinim analizi Görüntü görünür ışığa dönüştürme GP810 GPS Grid Güç Ölçümleri Half-wave Rectifiers indüktör infrared fotodiyot JOHNSON SAYICISI kalite Kalite Standartları kapasitör karanlık algılayıcı Kaymalı Yazmaç Kenetleme Devreleri Kenetleyiciler Kırpıcılar Kolimasyon Laser Darbelerinin Algılanması Laser Darbelerinin Oluşumu Laser Diyod ldr led lineer sistem analizi lm324 LM358 lm555 timer lm741 MATLAB matlab çizim matlab kodları Maximite Mikrodenetleyiciler Mirocontroller MSP430 Mühendis Staj Mühendislik OP-AMP Optik Film Optik-Fiber Zayıflama Ölçümleri opto-coupler osilatör Osiloskop Paralel – Seri Dönüşüm paralel devreler PIC PIC16F877 PIC16F877A PIC16F886 PIC32MX Plaka Okuma PLC Proje pwm Radiology Radyasyon Radyoaktivite Radyografi Radyoloji Rectifiers Register RFID RL devreleri RL FİLTRELERİ RLC Filtre Robot Robotics röntgen Röntgen Cihazları sayıcılar Sayısal Dedektör Sayısal iletişim Selenyum Dedektör sensor network sensör seri devreler seven-segment sıcak ayna sistem mühendisliği soğuk ayna Solid State Staj svf Swot Analizi Tam Dalga Doğrultucu temel AC devre temel DC devre termistör Test Tez transistor Transistör Bacaklarının Testi transistör yükseltgeç ULN2803 Ultrason Video Kodlama volt Wireless X-ışını Yarım Dalga Doğrultucuları yazmaçlar Yüz tanıma