Reactis. Reactis membantu insinyur membangun perangkat lunak lebih cepat dengan mengotomatiskan banyak verifikasi
Unduh sekarang

Reactis. Peringkat & Ringkasan

Reactis. Tag

Reactis. Keterangan

Reactis membantu para insinyur membangun perangkat lunak yang lebih baik dengan mengotomatiskan banyak tugas verifikasi dan validasi dalam proses desain berbasis model. Desain berbasis model semakin populer di kalangan insinyur yang mengembangkan perangkat lunak kontrol tertanam. Dalam desain berbasis model, model visual yang dapat dieksekusi dari perangkat lunak kontrol tertanam dikembangkan sebelum implementasi sistem. Model dapat digunakan untuk mendorong pengembangan perangkat lunak kontrol, dan juga dapat berfungsi sebagai dasar untuk perangkat lunak dan pengujian sistem. Salah satu manfaat dari desain berbasis model adalah bahwa ia memungkinkan para insinyur untuk memulai kegiatan debugging dan validasi pada waktu desain, ketika biaya mendeteksi dan menangani cacat desain jauh lebih kecil daripada pada tingkat implementasi perangkat lunak dan sistem. Yang lain adalah bahwa model dapat digunakan sebagai baseline untuk menilai perilaku implementasi selama pengujian dan validasi sistem. Karena alasan ini, penggunaan pemodelan yang bijaksana dapat menyebabkan penurunan yang cukup dramatis dalam biaya pengembangan sistem kontrol, terutama ketika dukungan alat yang kuat tersedia. Fitur: - Menghasilkan tes dari model yang benar-benar melatih model (pengujian struktural); - Temukan kesalahan runtime (mis. Kesalahan meluap, memecah-basi-nol) dalam model; - Jalankan model dan liputan lintasan (mis. MC / DC); - Lakukan tes fungsional untuk memeriksa apakah model dapat melanggar kebutuhannya; - Gunakan rangkaian uji reaktis sebagai oracle untuk memeriksa apakah kode sesuai dengan model.

Reactis. Perangkat Lunak Terkait