Sembolik Yürütme
Sembolik Yürütme nedir?
Sembolik yürütme, test verilerinin oluşturulmasına yardımcı olmak ve program kalitesini kanıtlamak için yararlı olan bir yazılım test tekniğidir.
Sembolik Yürütmeyi kullanma adımları:
Yürütme, bir dizi veri değeri tarafından uygulanan bir dizi yol gerektirir. Gerçek veriler kullanılarak yürütülen bir program, bir dizi değerin çıktısı ile sonuçlanır.
Sembolik yürütmede veriler, her çıktı değişkeni için bir ifade olmak üzere ifade kümesine sahip sembolik değerlerle değiştirilir.
Sembolik yürütme için ortak yaklaşım, programın bir analizini gerçekleştirerek bir akış grafiği oluşturmaktır.
Akış grafiği, karar noktalarını ve her akışla ilişkili atamaları tanımlar. Akış grafiğini bir giriş noktasından geçerek, atama ifadelerinin ve dal tahminlerinin bir listesi üretilir.
Sembolik Yürütmeyle İlgili Sorunlar:
Döngüdeki yineleme sayısı biliniyorsa, sembolik yürütme devam edemez.
İkinci sorun, herhangi bir hat dışı kod veya modül çağrısının çağrılmasıdır.
Sembolik yürütme dizilerle kullanılamaz.
Sembolik uygulama, mümkün olmayan yolları tanımlayamaz.
Sembolik Yürütme Uygulaması:
Yol alanı denetimi
Test Verisi oluşturma
Bölme analizi
Sembolik hata ayıklama