Computer File

Verifikasi program dengan hoare triple

White box testing merupakan salah satu metoda dalam pengujian perangkat lunak.
Metoda ini menguji algoritma dalam perangkat lunak tersebut.
Skripsi ini akan mengimplementasikan salah satu metoda white box testing,
yaitu hoare triple untuk memeriksa modul-modul program. Pengujian tersebut
dilakukan dengan memeriksa apakah modul program tersebut memenuhi status awal
(prekondisi) dan akhir (postkondisi) dari modul itu sendiri.
Dalam mengimplementasikannya dibutuhkan parser untuk dapat mengenali
struktur dari program yang diuji. Metoda yang digunakan untuk mengenali· struktur
tersebut adalah recursive descent secara top down parsing. Sedangkan untuk
pembuktiannya akan dilakukan secara bottom up.
Dari pengujian-pengujian yang dilakukan dapat disimpulkan bahwa metoda ini
dapat memverifikasi program. Namun untuk mengimplementasikan hoare triple yang
full otomasi akan banyak menemui kesulitan.

Ketersediaan

Informasi Detail

Judul Seri

No. Panggil

KOMP CHR v/05

Penerbit

Bandung : Program Studi Ilmu Komputer - FMIPA Universitas Katolik Parahyangan., 2005

Deskripsi Fisik

vi, 84 p. : il. ; 30 cm

Bahasa

Indonesia

ISBN/ISSN

-

Klasifikasi

KOMP

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

-

Subjek

-

Info Detail Spesifik

-

Pernyataan Tanggungjawab

Christina

Versi lain/terkait

Lampiran Berkas

Komentar