Eksekusi Simbolis

Apa itu Eksekusi Simbolik?

Eksekusi simbolik adalah teknik pengujian perangkat lunak yang berguna untuk membantu pembuatan data uji dan dalam membuktikan kualitas program.

Eksekusi membutuhkan pilihan jalur yang dijalankan oleh sekumpulan nilai data. Suatu program, yang dijalankan dengan menggunakan data aktual, menghasilkan keluaran berupa serangkaian nilai.
Dalam eksekusi simbolik, data diganti dengan nilai simbolik dengan kumpulan ekspresi, satu ekspresi per variabel keluaran.
Pendekatan umum untuk eksekusi simbolik adalah dengan melakukan analisis program, menghasilkan pembuatan grafik aliran.
Flowgraph mengidentifikasi poin keputusan dan tugas yang terkait dengan setiap aliran. Dengan melintasi grafik aliran dari titik masuk, daftar pernyataan tugas dan predikat cabang dihasilkan.

Eksekusi simbolik tidak dapat dilanjutkan jika jumlah iterasi dalam loop diketahui.
Masalah kedua adalah pemanggilan kode out-of-line atau modul panggilan.
Eksekusi simbolik tidak dapat digunakan dengan array.
Eksekusi simbolik tidak dapat mengidentifikasi jalur yang tidak layak.