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

Open Access
Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models
Membuka akses
Penjanaan Monte-Carlo Test-Suite Berasaskan Templat untuk Model Simulink yang Besar dan Kompleks

Takashi TOMITA, Daisuke ISHII, Toru MURAKAMI, Shigeki TAKEUCHI, Toshiaki AOKI

  • pandangan teks lengkap

    111

  • Petikan Ini
  • Free PDF (1.5MB)

Ringkasan:

MATLAB/Simulink ialah alat standard de facto untuk pembangunan berasaskan model (MBD) perisian kawalan untuk sistem automotif. Model Simulink yang dibangunkan dalam MBD untuk sistem automotif sebenar melibatkan pengiraan yang kompleks serta berpuluh-puluh ribu blok. Dalam makalah ini, kami menumpukan pada kriteria liputan keputusan (DC), liputan keadaan (CC) dan liputan keadaan/keputusan (MC/DC) yang diubah suai, dan mencadangkan kaedah penjanaan suite ujian Monte-Carlo untuk model Simulink yang besar dan kompleks. Dalam kaedah tersebut, kes ujian calon dijana dengan memberikan nilai rawak kepada parameter templat isyarat dengan bentuk gelombang tertentu. Kami cuba mencari calon yang boleh menyumbang dalam ruang carian yang munasabah dan boleh difahami, yang ditentukan oleh satu set templat. Kami melaksanakan kaedah sebagai alat dan penilaian percubaan kami menunjukkan bahawa alat itu mampu menjana suite ujian untuk model pelaksanaan industri dengan liputan yang lebih tinggi dan masa pelaksanaan yang lebih pendek daripada Pengesah Reka Bentuk Simulink. Selain itu, alat ini termasuk enjin pengukuran liputan pantas, yang menunjukkan prestasi yang lebih baik daripada Liputan Simulink dalam percubaan kami.

Jawatankuasa
IEICE TRANSACTIONS on Fundamentals Vol.E103-A No.2 pp.451-461
Tarikh penerbitan
2020/02/01
Diumumkan
ISSN dalam talian
1745-1337
DOI
10.1587/transfun.2019MAP0010
Jenis Manuskrip
Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
kategori

Pengarang

Takashi TOMITA
  Japan Advanced Institute of Science and Technology
Daisuke ISHII
  University of Fukui
Toru MURAKAMI
  Gaio Technology Co.
Shigeki TAKEUCHI
  Gaio Technology Co.
Toshiaki AOKI
  Japan Advanced Institute of Science and Technology

Kata kunci

Contents [show]