Minisat

Minisat

Minisat adalah alat manajemen infrastruktur, dibangun pada kerangka Django, untuk menyediakan mesin virtual dan menjalankan kontainer Docker pada host jarak jauh.

Ketergantungan

• Instal paket QEMU dan libvirt

$ sudo dnf install qemu-kvm qemu-img libvirt libvirt-python libvirt-client virt-install -y

• Buat kunci publik ssh

$ ssh-keygen -q -t rsa -f ~ /.ssh/id_rsa -N " "

• Instal mesin buruh pelabuhan

$ curl -L https://github.com/docker/machine/releases/download/v0.13.0/docker-machine- ` uname -s ` - ` uname -m ` > /tmp/docker-machine && sudo install /tmp/docker-machine /usr/local/bin/docker-machine

Cara menjalankan Minisat

• Buat lingkungan virtual python3 Anda

$ python3 -m venv < environment_name >

• Aktifkan lingkungan virtual

$ source < environment_name > /bin/activate

• Instal ketergantungan menggunakan pip

$ pip install -r requirements.txt

• Jalankan migrasi

$ python3 manage.py makemigrations
$ python3 manage.py migrate

• Jalankan aplikasi web Django

$ python3 manage.py runserver

kemas Minisat

• Bangun gambar Docker

$ cd Minisat/
$ docker build -t minisat:latest .

• Jalankan gambarnya

$ docker container run -it -p 8000:8000 minisat:latest 0.0.0.0:8000

• Kunjungi http://localhost:8000 untuk Minisat UI

Buat lingkungan pengujian

Semua permintaan penarikan Minisat diuji di Travis-ci. Jika pengujian gagal, kunjungi tugas pengujian yang gagal melihat output konsolnya.

Jalankan tes yang sama secara lokal menggunakan Selenium. Unduh selenium webdriver untuk mozilla firefox. mozilla geckodriver.dll.

Ekstrak drivernya. Jalur ekspor

$ export PATH= $PATH /:/path/of/driver

Ini akan menetapkan variabel jalur ke webdriver.

Dan jalankan tesnya

$ pytest

Perizinan

Minisat dilisensikan di bawah GNU General Public License v3.0. Lihat LISENSI