Dataflow Testing


Pengujian All-Nodes dan All-Edges dalam grafik aliran kontrol mungkin kehilangan test cases yang signifikan
ØMenguji All-Paths dalam grafik aliran kontrol sering terlalu memakan waktu
ØBisakah kita memilih subset dari jalur ini yang akan mengungkapkan kesalahan paling banyak?
ØPengujian Dataflow berfokus pada titik di mana variabel menerima nilai dan titik di mana nilai-nilai ini digunakan


Silahkan Download Slidenya disini

Komentar

Posting Komentar

Postingan populer dari blog ini

THRESHOLDING

Gambar
            Assalamualaikum sahabat blogger, dihari jumat yang mudah-mudahan penuh berkah buat kita semua, ditengah kesibukan mengajar, disela-sela waktu saya menyempatkan diri menulis, bukan ilmu yang baru, mungkin hanya sekedar refrensi buat mahasiswa yang sedang belajar pengolahan citra. kali ini saya membahas tentang thresholding atau bahasa bataknya operasi ambang batas, atau memetakan pixel yang memenuhi syarat ambang batas dipetakan ke satu nilai pixel yang dihendaki, rumusnya sebagai berikut bro. Keterangan: f 0 (x,y)    : adalah citra hasil threshold T           : Nilai Pemetaan Pixel dimisalkan T1 =50,T2=100 T3=150, maka dapat dipetakan seluruh nilia yang berada daro 0-50 akan diganti dengan nilai 50, yang berada antar 50 sampai 100 diganti dengan nilai 100, yang berada antara 100 sampai 150 diganti dengan nilai 150, begitu seterusnya sesuai dengan pemetaan yang dibuat, dan pembentukan peta harus sesuai dengan kebutuhan, contoh operasi abang batas tunggal. OPERASI
Baca selengkapnya

Hitung Manual Gabor Filter

Gambar
—      Filter Gabor bekerja sebagai filter bandpass untuk distribusi frekuensi spasial lokal, mencapai resolusi optimal dalam domain baik spasial dan frekuensi. 2D filter Gabor dapat direpresentasikan sebagai sinyal sinusoidal kompleks dimodulasi oleh fungsi kernel Gaussian sebagai berikut (Amina Khatun, 2011). rumusnya sbb: Langkah-Langkah Filter Gabor Langkah pertama : menetapkan ukuran filter, contoh yang digunakan adalah ukuran 3 x 3 seperti terlihat pada gambar. —Langkah kedua : menetapkan variable filter Gabor Ø=0, zigma=8, gamma=0.25 dan fx=3 (sesuai dengan kebutuhan anda) —Langkah ketiga : menghitung filter Gabor sesuai dengan rumus sebelumnya, rumus diatas dapat dijabarkan menjadi: setelah didapatkan nilai zigma-x,zigma-y, zigma 2 -x,zigma 2 -y lalu dapat dihitung dengan rumus berikut: Hasil filter gabor 3 x 3 berdasarkan variable yang telah ditentukan diatas menjadi: selanjutnya akan dijelaskan bagai mama konvolusi dengan filter
Baca selengkapnya

Keceraha (Brightness)

Gambar
Sebuah citra dengan derajat keabuan 256, akan tampak gelap jika seluruh komponen warna berada mendekati 0. sebaliknya, citra akan tampak terang jika seluruh komponennya mendekati angka 255.h brightness adalah proses untuk kecerahan citra, jika intensitas pixel dikurangi dengan nilai tertentu maka citra akan menjadi lebih gelap, dan sebaliknya jika intensitas pixelnya ditambah dengan nilai tertentu maka akan lebih terang adapun rumus brightness adalah sbb: dimana  f 0 (x,y) : Nilai pixel pada titik x,y setelah brightness  f i (x,y) : Nilai Pixel pada titik x,y citra asli  k       : Nilai Penguatan kecerahan nah rumus diatas digunakan untuk citra grayscale, namaun jika digunakan untuk RGB maka rumusnya menjadi : dengan aturan jika intensitas pixel berada antara 0-255 maka, jika pixel >255 diset menjadi 255 dan jika pixel<0 diset menjadi 0. contoh perhitungan:   contoh hasil penambahan kecerahan:   Citra semula(kiri) dan citra hasil(kanan) Contoh Program deng
Baca selengkapnya