Text
Penggunaan decision-to decision graph pada proses pengujian program
Pengujian struktural dapat dilakukan dengan cara menganaiisis aliran kendali program. Pengujian cabang (termasuk dalam jenis pengujian struktural), mensyaratkan bahwa setiap pencabangan dalam program harus dieksekusi minimal satu kali; jadi harus ditentukan satu set jalur yang dipilih dari sejumlah tak berhingga jalur-jalur eksekusi yang ada. Penelitian ini membahas tentang algoritma yang dapat menghasilkan satu cakupan jalur dari suatu masukan data diagram aliran kendali program. Analisis dilakukan dengan terhadap graf alir yang telah mengalami proses reduksi, disebut ddgraf; dan dengan menggunakan dasar teori graf. Relasi dominasi dan relasi implikasi antar busur diperlukan untuk membentuk pohon busur dominasi dan pohon busur implikasi. Berdasarkan relasi ini dapat dihasilkan satu subset busur ddgraf; yang disebut set busur bebas, dengan properti bahwa, bila busur-busur bebas telah dilaluimaka dijamin seluruh busur juga telah
dilalui. Algoritma dirancang untuk menghasilkan cakupan jalur yang mencakup seluruh busur bebas ddgraf: cakupan jalur dibangun, setiap jalur memuat minimal satu busur bebas yang belum tercakup. Algoritma memuat proses rekursif yang diperlukan saat menggabungkan jalur pada pohon dominasi dan pohon implikasi dan flesibel terhadap
kemungkinan pemilihan cara pembentukan jalur.
Barcode | Tipe Koleksi | Nomor Panggil | Lokasi | Status | |
---|---|---|---|---|---|
77219 | R/DIG - FTIS | Laporan Penelitian Dosen | 005.73 PAD p | Gdg9-Lt3 (LPD-LPM FTIS/T. INFO) | Tersedia namun tidak untuk dipinjamkan - No Loan |
Tidak tersedia versi lain