Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Contract Specification in Java: Classification, Characterization, and a New Marker Method Spesifikasi Kontrak dalam Java: Pengelasan, Pencirian dan Kaedah Penanda Baharu

Chien-Tsun CHEN, Yu Chin CHENG, Chin-Yun HSIEH

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Reka Bentuk oleh Kontrak (DBC), yang berasal dari bahasa pengaturcaraan Eiffel, diterima umum sebagai kaedah praktikal untuk membina perisian yang boleh dipercayai. Walau bagaimanapun, pada masa ini, beberapa bahasa mempunyai sokongan terbina dalam untuknya. Dalam beberapa tahun kebelakangan ini, beberapa kaedah telah dicadangkan untuk menyokong DBC di Jawa. Kami membandingkan sebelas alat DBC untuk Java dengan menganalisis kesannya terhadap aktiviti pengaturcaraan pembangun, yang dicirikan oleh tujuh atribut kualiti yang dikenal pasti dalam kertas ini. Ia menunjukkan bahawa setiap alat sedia ada gagal mencapai beberapa sifat kualiti. Ini mendorong kami untuk membangunkan ezContract, alat DBC sumber terbuka untuk Java yang mencapai kesemua tujuh atribut kualiti. ezContract mencapai integrasi yang diperkemas dengan persekitaran kerja. Terutamanya, bahasa Java standard digunakan dan ciri IDE lanjutan yang berfungsi untuk program Java standard juga boleh berfungsi untuk program yang didayakan kontrak. Ciri sedemikian termasuk kompilasi tambahan, pemfaktoran semula automatik dan bantuan kod.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E91-D No.11 pp.2685-2692
Tarikh penerbitan
2008/11/01
Diumumkan
ISSN dalam talian
1745-1361
DOI
10.1093/ietisy/e91-d.11.2685
Jenis Manuskrip
PAPER
kategori
Asas Perisian dan Teori Program

Pengarang

Kata kunci

Contents [show]