Perpustakaan Digital ITB

ABSTRAK: DatGenDDR (Data Generation by DDR method) adalah perangkat lunak prototipe yang digunakan unluk membantu penguji dengan menentukan kasus uji clan data uji program Ada. Metoda pembangkitan data uji yang digunakan adalah Dynamic Domain Reduction (DDR/reduksi domain secara dinamis). Sedangkan kasus uji berupa himpunan jalur basis, dibangun dengan menggunakan algoritam DFS yang dimodifikasi. Dengan metoda DDR, rentang nilai awal suatu peubah yang mempengaruhi alur proses program pada suatu jalur basis direduksi sehingga menjadi lebih sempit tetapi masih memenuhi batasan predikat pada simpul predikat. Nilai suatu peubah mungkin saja berubah, misalrrya karena assignment dari suatu ekspresi atau fungsi. Maka DatGenDDR juga melakukan eksekusi simbolik untuk menentukan nilai barn peubah akibat pengisian ekspresi. Sementara pengisian karena pemanggilan fungsi tidak ditangani oleh DatGenDDR. Sebagai perangkat l.unak prototipe, DatGenDDR belum dapat digunakan secara sempurna karena berbagai batasan. DatGenDDR hanya dapat digunakan pada pengujian unit. Dari sisi tipe data, DatGenDDR hanya menangani tipe data integer dan array integer serta tidak menangani tipe data bentukan. DatGenDDR diimplementasikan dengan menggunakan kompilator Borland C++ 5.02 dalam lingkungan sistem operasi Windows 2000. Sedangkan lingkungan perangkat keras pengembangan adalah komputer PC dengan Processor Celeron 466 166 Mhz,