TA : Covering Array

1. TA : Covering Array Merryl F N Meka 0706271992 Pembimbing : Dr. Ade AzuratS.Kom

2. Presentation 1st Covering array

3. LatarBelakang • Mencaritest case (test suite) seminimalmungkinuntukmendeteksi error yang mungkinmuncul • Covering Array akanmeminimalkanjumlahtest case

4. Covering Array • Katacoverageberatimengukurseberapabaiksample configurations yang bisamengcoversemuakonfigurasilainnya. Kalofull coverageberatisemuakonfigurasikeambil, dantidakada yang tidakterambil. • Coverage Arrayberfungsiuntukmeminimalkanjumlahkonfigurasi yang dipilihuntukmengcoversemuakemungkinan error yang munculsaatpengetesanseluruhkonfigurasi.

5. Covering Array • Sebuah array A, yang berukuran • t = levels (ways) of coverage • k = numbers of variable configuration needs to specify • g = number of possible values each of the k variables can take on number of possible values each of the k variables can take on • Taking t equal to k will produce full coverage • Taking t equal to zero will produce no coverage.

6. Software Testing With Covering Array • Software Testing Prosespengujianpadasuatukomponensoftware dengank parameter, dimanasetiap parameter harus diuji dengangnilai (possible value) makajumlahkonfigurasi yang terbentukadalahgk • Covering Array Cukupdenganmelakukanpengujiansebanyak subset t (t-way cover), jadijumlahkonfigurasitest suite yang terbentukadalahgt

7. PAIRWISE TESTING • Pairwisetesting is an effective test case generation technique that is based on the observation that most faults are caused by interactions of at most two factors. (Czerwonka,Jacek) • Pairwise-generated test suites cover all combinations of two therefore are much smaller than exhaustive ones yet still very effective in finding defects.

8. ContohKasus : • Untukmengujisuatusystem of networked printing Inputnyaada 4, yaitu: • PC OS : Windows ; Linux • Processors : Intel ; AMD • Protocols : IPV6 ; IPV4 • Dari kententuanpengujiandiketahui k=3,g=2, dan covering array yang akandibuatadalahuntuk t=2 (2-way coverage) Jikakitaambilada 2 value untuktiap input (v=2), makaterbentuktest suitesebagaiberikut :

9. Test Suite yang terbentuk (8 konf)

10. Dengan 2-way coverage • Dari 8 kemungkinankonfigurasidiatas, sebenarnyakombinasi yang terbentuk yang bisameng-covercukuphanyadengan 4 konfigurasipengujian

11. PAIRWISE TESTING

12. Generic Example • Misalkanpengukurandengan 3 parameter P1,P2,P3 • Untuksetiap parameter ada 2 kemungkinannilai. Nilainyaadalah : • A,B untuk P1 • C,D untuk P2 • E,F untuk P3 • Degree dariinteraction coverage adalah 2 (2-way coverage/pairwise coverage) -Kita akanmengcoversemuakemungkinanpasangankombinasi (2-way interaction) darinilai-nilaidari parameter

13. A C E A C F A D E A D F B C E B C F B D E B D F Konfigurasites yang terbentuk P1 P2 P3 Tiga parameter P1,P2,P3 dimanatiap parameter memiliki 2 nilai. Terdapat 23 = 8 kemungkinanpengujian (c1,..c8) C1 C2 C3 C4 C5 C6 C7 C8

14. Set dari 2-way potential configuration • Jaditerdapat 12 interactions yang mungkinterjadi P1 P1 P1 P2 P3 P2 P3 P2 P3 A C A E C E A D A F C F B C B E D E B D B F D F

15. A C A E C E Interactions dalamkonfigurasi A C E Salahsatuteskonfigurasi... … meng-covers3 interactions.

16. Goal P1 P2 P3 A C A E C E C1 A D A F C F A C E B C B E D E C2 A C F B D B F D F C3 A D E C4 A D F Meng-cover semuakemungkinan(kombinasi) 2-way interaction hanyadengan 4 tes (c1,c4,c6,c7) B C E C5 C6 B C F C7 B D E C8 B D F

17. PRESENTATION 2nd 2-way Covering Array is NP Complete

18. PROBLEM PAIR COVER • Dalam 2-way covering array, misalkanadasuatupengujiandengan 3 parameter dimanasetiap parameter memilikinilai (value) bagaimanauntukmenemukansuatukombinasiantarpasangan (2-way) pada parameter 1 dan 2, atau 2 dan 3, atau 1 dan 3 yang meng-cover semuakombinasi yang mungkin? • Masalahiniadalahmenemukanjumlahtest yang seminimalmungkin

19. PAIR-COVER PROBLEM • Instance :Sebuahundirected graph yang merepresentasikansistem S (T,P) dimana, • Tadalah set darites yang mungkindilakukan, dan • Padalahsemua pasangan yang mungkin • Problem :Menemukan subset dari T, T’T yang paling minimal yang meng-cover P, dimana P adalahpasanganpengujian. PAIR-COVER={<S,k>:Sistem S memiliki pair cover denganukuran k}

20. IlustrasiSoal • Calling Phone, terdiridari 2 jenis OS, yaitu • Mac • Win • VoIP Server , terdiridari 3 jenis OS, yaitu • Lin • Sun • Win • Called Phone, terdiridari 2 jenis OS, yaitu • Mac • Win

21. IlustrasiPenggambaranSecaraUmum CallerOS ServerOS CalleeOS MAC MAC LIN WIN WIN SUN WIN T=edge (possible test ) P=vertex (possible pair)

22. Polynimial Reducible VERTEX-COVER≤p PAIR-COVER

23. Reduction Proof • Graf G memilikivertex-coverdenganukuran k, iffSistem S memilikipair-coverdenganukuran k • Misalkan G memiliki vertex cover V’V, dan |V’|=k, kemudiankitamengambilT’T, dimana T’ adalah pair-cover dari s dan |T’|=k, dimana • Selanjutnyaadadi paper.. T’={ | V’ }

24. VERTEX COVER [G(V,E)] CallerOS ServerOS CalleeOS MAC MAC LIN WIN WIN SUN WIN VERTEX-COVER K=6

25. PAIR-COVER [S(T,P)] CallerOS ServerOS CalleeOS Ambilsembarangpasangan (vi,vj) MAC MAC LIN WIN WIN SUN WIN PAIR-COVER Pasti vertex Vi atauVjtermasukdalam V yang adadi vertex cover (VC) K=6

26. PAIR-COVER [S(T,P)] CallerOS ServerOS CalleeOS MAC MAC Ambilsembarangpasangan (vi,vj) LIN WIN WIN SUN WIN PAIR-COVER Pasti vertex Vi atauVjtermasukdalam V yang adadi vertex cover (VC) K=6

27. PAIR-COVER [S(T,P)] CallerOS ServerOS Ambilsembarangpasangan (vi,vj) CalleeOS MAC MAC LIN WIN WIN SUN WIN PAIR-COVER Pasti vertex Vi atauVjtermasukdalam V yang adadi vertex cover (VC) K=6

28. PAIR-COVER [S(T,P)] CallerOS ServerOS CalleeOS MAC MAC Ambilsembarangpasangan (vi,vj) LIN WIN WIN SUN WIN PAIR-COVER Pasti vertex Vi atauVjtermasukdalam V yang adadi vertex cover (VC) K=6

29. Kemudian.. • Begituseterusnya, terlihatbahwapasanganapapun (vi,vj) yang kitapilihdari P, (vi,vj) E dengankonsepvertex-cover, atau dan T terdiriatas yang harusmeng-cover pasangantes

30. PRESENTATION 3rd Construction of Covering Array