Apa kontrak operasi?

Di ranah pemrograman komputer dan ilmu komputer, kontrak operasi adalah cara untuk menentukan atau mendokumentasikan bagaimana fungsi tertentu akan mengubah elemen yang berbeda dalam suatu program.Tidak seperti Abstrak Programming Interface (API) atau dokumen kontrol antarmuka, kontrak operasi digunakan untuk membantu selama fase pengembangan dan pemodelan membuat aplikasi atau sistem komputer.Pada tingkat paling dasar, kontrak mendefinisikan empat fitur operasi, khususnya nama operasi, referensi apa pun untuk operasi di area lain dari desain, persyaratan apa pun untuk input atau status sebelum operasi dilakukan, dan keadaan darisistem atau variabel setelah operasi dilakukan.Kontrak tidak mendefinisikan sesuatu yang spesifik tentang bagaimana operasi berfungsi secara internal, dan sebaliknya hanya berurusan dengan bagaimana keadaan program dipengaruhi oleh penggunaannya.

Kontrak operasi, secara umum, tidak dibangun untuk setiap operasi dalam model program.Sebaliknya, mereka dicadangkan untuk operasi yang sangat kompleks atau sulit dilacak.Beberapa bahasa pemodelan komputer, seperti Unified Modeling Language (UML), Kontrak Operasi Dukungan dan memiliki cara untuk membantu memvisualisasikan bagaimana keadaan program dapat berubah setelah operasi dilakukan.

Dua definisi pertama yang diperlukan untuk membuat kontrak operasi untuk membuat kontrak operasiadalah nama operasi, yang bisa apa saja, dan referensi silang apa pun.Referensi silang adalah daftar operasi atau area lain dari model program yang menggunakan operasi yang didefinisikan atau bahwa operasi akan digunakan dalam pemrosesannya.Ini membantu dalam melihat bagaimana desain keseluruhan berinteraksi dan sangat berguna dalam melihat bagaimana perubahan pada satu area model akan mempengaruhi area lain.

Kontrak operasi selanjutnya menentukan prasyarat yang diperlukan untuk menjalankan operasi.Ini dapat melibatkan membutuhkan variabel tertentu untuk dimuat dengan nilai yang sesuai, atau dapat mensyaratkan bahwa bagian -bagian tertentu dari program berada dalam keadaan tertentu.Jika prasyarat tidak terpenuhi ketika operasi dieksekusi, maka operasi tidak akan terjadi atau mungkin gagal sepenuhnya.Kontrak digunakan sebagai alat abstrak, sehingga prasyarat biasanya cukup umum dan lebih melibatkan keadaan program daripada variabel spesifik.

Bagian akhir dari kontrak operasi mendefinisikan setiap pasca-kondisi.Pasca-kondisi adalah daftar item dalam model program yang telah diubah karena pelaksanaan operasi.Ini dapat menentukan perubahan pada struktur data atau modifikasi pada keadaan program, seperti menggeser kontrol ke modul terpisah.Melalui penggunaan kontrak operasi yang terdefinisi dengan baik, program dapat dimodelkan dan dimodifikasi secara efektif sebelum implementasi aktual dimulai.