Condition, Data Flow & Loop Testing

gambar: Illustrasi dari testing software

Testing merupakan hal yang wajib dilakukan pada perancangan sistem informasi atau software. Ada beberapa jenis testing yang ada pada perancangan software, diantaranya adalah condition testing, data flow dan  loop testing.

~ CONDITION TESTING ~

Definisinya yaitu suatu metode disain test case yang memeriksa kondisi logika yang terdapat pada modul program.

Berikut ini adalah beberapa definisi yang berkaitan dengan testing kondisi:

• Kondisi sederhana adalah variabel boolean atau ekspresi relasional, yang mungkin diproses dengan satu operator NOT (­).
• Ekspresi operasional berbentuk E1<operator-relasional>E2, dimana E1 dan E2 adalah ekspresi aritmatika dan <operator-relasional> adalah salah satu dari : < , ≤ , = , ≠ (pertidaksamaan), ≥ ,>.
• Kondisi komplek (compound condition) tersusun oleh dua atau lebih kondisi sederhana, operator boolean, dan parentheses (round bracket/tanda kurung). 
• Operator boolean yang dapat digunakan dalam suatu kondisi komplek adalah OR (׀), AND (&) dan NOT (­). 
• Suatu kondisi tanpa ekspresi relasional dapat direferensikan sebagai suatu ekspresi boolean.

Metode tes kondisi berfokus pada testing tiap kondisi dalam program. Strategi tes kondisi mempunyai dua keuntungan yaitu:

• Pengukuran cakupan kondisi yang dites adalah sederhana.
• Cakupan kondisi program yang dites menyediakan tuntunan untuk pembuatan tes tambahan bagi program.

Tujuan tes kondisi disamping untuk mendeteksi error dari kondisi program juga untuk kesalahan lainnya dari program.

Jenis dari testing kondisi yaitu

• Branch testing ~ Merupakan strategi tes kondisi yang paling sederhana. Untuk kondisi komplek C, cabang benar dan salah dari C dan tiap kondisi sederhana dalam C harus dieksekusi setidaknya sekali.
• Domain testing ~ Metode yang memilih bagian terkecil dari test case-test case yang sudah dipilih sebelumnya.
• BRO(Branch and Relational Operator) testing ~ Teknik ini menjamin deteksi error dari operator cabang dan relasional dalam suatu kondisi yang ada dimana semua variabel boolean dan operator relasional yang terdapat di dalam kondisi terjadi hanya sekali dan tidak ada variabel yang dipakai bersama.

~ DATA FLOW TESTING ~

• Definisinya yaitu metode yang memilih jalur program berdasarkan pada lokasi dari definisi dan penggunaan variabel-variabel pada program.

• Tujuannya digunakan untuk mencari error pada daerah kecil tertentu, jadi tidak realistis untuk mengasumsikan bahwa data flow testing akan digunakan secara ekstensif bila melakukan tes suatu sistem yang besar. Biasanya data flow testing akan digunakan pada daerah tertentu yang ditargetkan sebagai penyebab kesalahan dari software.

~ LOOP TESTING ~

Loop testing adalah suatu teknik white box testing yang berfokus pada validitas konstruksi loop (kejadian berulang) secara eksklusif.

Terdapat 4 kelas jenis loop testing, yaitu

• Simple Loops 
• Nested Loops 
• Concatenated Loops 
• Unstructured Loops

Simple Loops. Sekumpulan tes berikut ini dapat digunakan untuk simple loops, dimana n adalah jumlah maksimum yang dapat dilewatkan pada loop:

• Lompati loop secara keseluruhan, tak ada iterasi / lewatan pada loop.
• Lewatkan hanya satu kali iterasi pada loop.
• Lewatkan dua kali iterasi pada loop. 
• Lewatkan m kali iterasi pada loop dimana m<n.
• Lewatkan n-1, n, n+1 kali iterasi pada loop.

Nested Loops. Jika pendekatan tes untuk simple loops dikembangkan pada nested loops, jumlah kemungkinan tes akan berkembang secara geometris searah dengan semakin tingginya tingkat dari nested loops.

Concatenated Loops. Concatenated loops dapat dites dengan menggunakan pendekatan yang didefinisikan untuk simple loops, jika tiap loops independen (tidak saling bergantung) antara satu dengan yang lainnya. Dikatakan dua loops tidak independen, jika dua loops merupakan concatenated loops, dan nilai loop counter pada loop 1 digunakan sebagai nilai awal untuk loop 2. Bila loops tidak independen, direkomendasikan memakai pendekatan sebagaimana yang digunakan pada nested loops.

Unstructured Loops. Tidak dapat dites dengan efektif. Dan bila memungkinkan loops jenis ini harus di-desain ulang.