Zrozumienie okienka kodu źródłowego

W okienku Kod źródłowy są wyświetlane wszystkie pliki kodu źródłowego, które są zaangażowane w wykrywanie naruszenia reguły, w tym kod modelu systemu operacyjnego SDV (plik sdv-harness.c), kod reguły SDV (pliki*.slic) i kod źródłowy sterownika.

Poniższy zrzut ekranu przedstawia przykładowe okienko Kod źródłowy .

W przeciwieństwie do okienka Drzewo śledzenia, Kod źródłowy wyświetla cały plik — nie tylko elementy kodu wykonywane — i wyświetla każdy plik źródłowy na osobnej karcie. Taki układ ułatwia określenie źródła elementów kodu w śledzeniu. Pliki kodu źródłowego, które nie są zaangażowane w naruszenie reguły, nie są wyświetlane w okienku Kod źródłowy , nawet jeśli znajdują się w katalogu źródeł sterownika.

SdV koordynuje wyświetlanie w okienku Kod źródłowy z wyświetlaczem w okienku Drzewo śledzenia i okienku Stan. Podczas przechodzenia przez elementy kodu źródłowego w okienku Drzewo śledzenia SDV automatycznie wyróżnia wiersz kodu w okienku Kod źródłowy zawierający element i wyświetla wartości zmiennych w odpowiadającym punkcie w okienku Stan.

Podobnie po wybraniu wiersza wykonanego kodu w okienku Kod źródłowy, wyróżnienie w okienku Drzewo śledzenia zostaje przesunięte na odpowiadające elementy akcji z tego wiersza kodu. Ponieważ okienko Drzewo śledzenia wyświetla tylko kod wykonywany w ścieżce do naruszenia reguły, po wybraniu wiersza niewyświetlonego kodu w okienku Kod źródłowy wyróżnienie w okienku Drzewo śledzenia zostanie przeniesione do górnego węzła (głównego).

Okienko Kod źródłowy jest składnikiem przeglądarki wad.