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

A Minimized Assumption Generation Method for Component-Based Software Verification Kaedah Penjanaan Andaian Diminimumkan untuk Pengesahan Perisian Berasaskan Komponen

Ngoc Hung PHAM, Viet Ha NGUYEN, Toshiaki AOKI, Takuya KATAYAMA

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Kaedah pengesahan assume-guarantee telah diiktiraf sebagai pendekatan yang menjanjikan untuk mengesahkan perisian berasaskan komponen melalui semakan model. Kaedah ini bukan sahaja dipasang pada perisian berasaskan komponen tetapi juga berpotensi untuk menyelesaikan masalah keadaan letupan ruang dalam pemeriksaan model. Kaedah ini membolehkan kami menguraikan sasaran pengesahan kepada komponen supaya kami boleh menyemak model setiap satu secara berasingan. Dalam kaedah ini, andaian dilihat sebagai persekitaran yang diperlukan untuk komponen-komponen untuk memenuhi harta dan untuk seluruh sistem untuk dipenuhi. Bilangan keadaan andaian harus diminimumkan kerana kos pengiraan semakan model dipengaruhi oleh nombor tersebut. Oleh itu, kami mencadangkan kaedah untuk menjana andaian minimum untuk pengesahan jaminan andaian perisian berasaskan komponen. Idea utama kaedah ini ialah mencari andaian minimum dalam ruang carian andaian calon. Andaian minimum yang dijana oleh kaedah yang dicadangkan boleh digunakan untuk menyemak semula keseluruhan sistem pada kos pengiraan yang jauh lebih rendah. Kami telah melaksanakan alat untuk menjana andaian minimum. Keputusan eksperimen juga dibentangkan dan dibincangkan.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E93-D No.8 pp.2172-2181
Tarikh penerbitan
2010/08/01
Diumumkan
ISSN dalam talian
1745-1361
DOI
10.1587/transinf.E93.D.2172
Jenis Manuskrip
PAPER
kategori
Sistem Perisian

Pengarang

Kata kunci

Contents [show]