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

Modeling, Verification and Testing of Web Applications Using Model Checker Pemodelan, Pengesahan dan Pengujian Aplikasi Web Menggunakan Pemeriksa Model

Kei HOMMA, Satoru IZUMI, Kaoru TAKAHASHI, Atsushi TOGASHI

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Bilangan aplikasi Web yang mengendalikan transaksi dalam talian semakin meningkat, tetapi pengesahan ketepatan pembangunan aplikasi Web telah dilakukan secara manual. Kertas kerja ini mencadangkan kaedah untuk memodelkan, mengesahkan dan menguji aplikasi Web. Dalam kaedah kami, aplikasi Web dimodelkan menggunakan dua automata keadaan terhingga, iaitu, automata halaman yang menentukan peralihan halaman Web, dan automata keadaan dalaman yang menentukan peralihan keadaan dalaman aplikasi Web. Sifat umum untuk menyemak reka bentuk aplikasi Web dibentangkan dalam formula LTL dan ia disahkan menggunakan pemeriksa model Spin. Kes ujian yang meneliti tingkah laku aplikasi Web juga dihasilkan dengan menggunakan contoh balas yang diperoleh hasil daripada semakan model. Kami menggunakan kaedah kami pada contoh aplikasi Web untuk mengesahkan keberkesanannya.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E94-D No.5 pp.989-999
Tarikh penerbitan
2011/05/01
Diumumkan
ISSN dalam talian
1745-1361
DOI
10.1587/transinf.E94.D.989
Jenis Manuskrip
Special Section PAPER (Special Section on Formal Approach)
kategori
Metodologi Pembangunan Perisian

Pengarang

Kata kunci

Contents [show]