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 Log-Based Testing Approach for Detecting Faults Caused by Incorrect Assumptions About the Environment Pendekatan Pengujian Berasaskan Log untuk Mengesan Kerosakan yang Disebabkan oleh Andaian Yang Salah Mengenai Alam Sekitar

Sooyong JEONG, Ajay Kumar JHA, Youngsul SHIN, Woo Jin LEE

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Pembangun perisian terbenam menganggap tingkah laku persekitaran apabila spesifikasi tidak tersedia. Walau bagaimanapun, pembangun mungkin menganggap tingkah laku itu secara salah, yang boleh mengakibatkan kerosakan kritikal dalam sistem. Oleh itu, adalah penting untuk mengesan kesalahan yang disebabkan oleh andaian yang salah. Dalam surat ini, kami mencadangkan pendekatan ujian berasaskan log untuk mengesan kerosakan. Pertama, kami mencipta model tingkah laku UML untuk mewakili tingkah laku yang diandaikan persekitaran, yang kemudiannya diubah menjadi model keadaan. Seterusnya, kami mengekstrak tingkah laku sebenar persekitaran daripada log, yang kemudiannya digabungkan dalam model keadaan, menghasilkan model keadaan yang mewakili kedua-dua kelakuan yang diandaikan dan sebenar. Teknik ujian sedia ada berdasarkan model keadaan boleh digunakan untuk menjana kes ujian daripada model keadaan kami untuk mengesan kerosakan.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E103-D No.1 pp.170-173
Tarikh penerbitan
2020/01/01
Diumumkan
2019/10/04
ISSN dalam talian
1745-1361
DOI
10.1587/transinf.2019EDL8149
Jenis Manuskrip
LETTER
kategori
Kejuruteraan Perisian

Pengarang

Sooyong JEONG
  Kyungpook National University
Ajay Kumar JHA
  Kyungpook National University
Youngsul SHIN
  Kyungpook National University
Woo Jin LEE
  Kyungpook National University

Kata kunci

Contents [show]