Durum Bölmesi

Durum bölmesinde sürücüdeki, işletim sistemi modelindeki ve kuraldaki değişkenlerin değerleri için Boole ifadeleri görüntülenir. SDV, sürücü, işletim sistemi modeli ve kuralın soyutlamasını oluşturmak için bu ifadeleri kullanır ve bunları doğrulamada kullanır.

Aşağıdaki ekran görüntüsünde Hata Görüntüleyicisi'nde örnek bir Durum bölmesi gösterilmektedir.

Durum bölmesi, Hata Görüntüleyicisi'nin bir bileşenidir. İzleme Ağacı bölmesinde bir kod öğesi vurgulandığında ve kaynak kodun ilgili satırı Kaynak Kodu bölmesinde vurgulandığında, Durum bölmesi kod satırı yürütülmeden önce TRUE olarak değerlendirilen Boole ifadelerini (SDV'nin sürücü için izlediği ifade kümesinden) görüntüler.

Boole İfadelerini İzleme

SDV, sürücü için her kuralı doğrularken bir boole ifadeleri kümesini izler. Durum bölmesinde görüntülenen Boole ifadeleri, bu kümede TRUE olarak değerlendirilen ifadelerdir. İzleme Ağacı bölmesindeki öğe herhangi bir ifadenin değerini değiştirirse, Durum bölmesinin içeriği TRUE olarak değerlendirilen yeni ifade kümesini görüntüleyecek şekilde değişir.

Durum Bölmesinde İfadeleri Yorumlama

Durum bölmesinde görünen ifadelerin çoğu kural kodunda görünen değişkenlerle ilgilidir. İfadeleri yorumlamanıza yardımcı olması için kural için kaynak kodu (Kaynak Kodu bölmesindeki RuleName.slic dosyasında) kullanabilirsiniz.

Ancak, bazı ifadeler , durum bölmesinde iç gösterimleri hakkında bunları yorumlamanıza yardımcı olabilecek herhangi bir ayrıntı olmadan görünür. Örneğin

x!=x

SDV için bu ifade, izlemedeki bu noktadaki x değişkeninin değerinin izlemenin farklı bir noktasındaki aynı değişkenin değerine eşit olmadığı bir koşulu temsil eder. İfadeleri yorumlamanıza yardımcı olması için sürücü kaynak kodunu, kural kodunu (*.slic) ve İzleme Ağacı bölmesindeki öğeleri kullanın.

Durum Bölmesi'ndeki Adım Sekmeleri

Durum bölmesindeki Boole ifadeleri sekmelerde görüntülenir. Her sekme, doğrulamada kullanılan tüm kaynak kodu aracılığıyla izlemedeki bir adımı temsil eder. Adım sekmesindeki sayı, izlemedeki bu adımın sırasını temsil eder.

Genellikle, kaynak kodun her satırı izlemede yalnızca bir adımı temsil ettiğinden, Durum bölmesinde yalnızca bir adım sekmesi olur. Ancak karmaşık kod birçok adım oluşturabilir.

Örneğin, aşağıdaki ekran görüntüsünde durum bölmesi işlev işaretçisi içeren bir kod satırı görüntülenir. Bu durumda, her adım sekmesi işaretçinin çözünürlüğünde, işaret edilen işlevin çağrılmasında ve sonucundaki bir adımı temsil eder. (Adım sekmelerinin sayısı, SDV'nin işlev işaretçisini çözümlemesi için kaç adım atıldığını gösterir.)

Durum bölmesindeki her adım sekmesini sırayla görüntülemek için Kaynak Kodu bölmesinde ilişkili kod satırını seçin. Ardından , Kaynak Kodu bölmesindeki kod satırına art arda tıklayın. Seçili kod satırına her tıkladığınızda, tüm adım sekmelerinde geçiş yapılana kadar SDV bir sonraki adım sekmesini görüntüler. Eğri sarı ok seçili adımı gösterir.

İçeriğini görüntülemek için Durum bölmesindeki herhangi bir sekmeye de tıklayabilirsiniz.

Yorum

SDV genellikle Durum bölmesindeki kuralda görünmeyen ve kuralla doğrudan ilişkili gibi görünmeyen ifadeleri izler. Bu ifadeler, SDV'nin farklı değerleri ve farklı kural ihlallerini ilişkilendirme girişimlerinde kullandığı gelişmiş buluşsal yöntemlerden kaynaklanır. Bazı durumlarda, SDV ifadeyi doğru şekilde değerlendiremez. Bu gibi durumlarda SDV, geçerli durumun bilinmediğini belirten bir ileti sağlar ve adımdaki ifadeyi bilinen son durumla görüntüler. Açıklama için aşağıdaki kod örneğine bakın:

Unknown state. Last known state from step 120.
sdv irql current ==2
sdv irql current!=1
sdv irql current!=0