PyModel

PyModel adalah kerangka pengujian open-source model berbasis Python.
Dalam unit testing, kode programmer uji kasus, dan juga kode pernyataan bahwa memeriksa apakah setiap kasus uji lulus. Dalam pengujian model berbasis, kode programmer "model" yang menghasilkan sebanyak kasus uji yang diinginkan dan juga bertindak sebagai oracle yang memeriksa kasus.
-Model berbasis pengujian dianjurkan di mana begitu banyak kasus uji yang diperlukan itu tidak layak untuk kode mereka semua dengan tangan. Kebutuhan ini muncul ketika menguji perilaku yang menunjukkan sejarah-ketergantungan dan nondeterminism, sehingga banyak variasi (nilai data, interleavings, dll) harus diuji untuk masing-masing skenario (atau menggunakan kasus). Contohnya termasuk protokol komunikasi, aplikasi web, sistem kontrol, dan user interface.
PyModel mendukung on-the-fly pengujian, yang dapat menghasilkan tes tidak berulang tanpa batas selama uji coba dijalankan. PyModel bisa fokus uji kasus pada skenario yang menarik dengan komposisi, teknik serbaguna yang menggabungkan model dengan sinkronisasi tindakan bersama dan interleaving tindakan unshared. PyModel dapat membimbing cakupan tes sesuai dengan strategi diprogram kode oleh programmer.
PyModel menyediakan tiga program:
- Pma.py pymodel analyzer: menghasilkan mesin negara yang terbatas (FSM) dan menghitung properti dengan menjelajahi model program, FSM, test suite, atau produk ini.
- Grafis pmg.py pymodel: menghasilkan file perintah grafis dari FSM.
- Pmt.py pymodel tester: menampilkan jejak, menghasilkan tes offline, menjalankan tes offline, atau menghasilkan dan mengeksekusi tes on-the-fly.
Gunakan pma dan PMG untuk memvisualisasikan dan preview perilaku PMT. Setiap jalan melalui grafik yang dibuat oleh pma (dan ditarik oleh PMG) adalah jejak (uji coba) yang dapat dihasilkan oleh PMT, ketika pma dan PMT dipanggil dengan argumen yang sama.
PyModel dipengaruhi oleh NModel, tapi bukan terjemahan atau re-implementasi

Persyaratan :.

• Python