Minisat

มินิแซท

Minisat เป็นเครื่องมือการจัดการโครงสร้างพื้นฐานที่สร้างขึ้นบนเฟรมเวิร์ก Django เพื่อจัดเตรียมเครื่องเสมือนและรันคอนเทนเนอร์ Docker บนโฮสต์ระยะไกล

การพึ่งพาอาศัยกัน

• ติดตั้งแพ็คเกจ QEMU และ libvirt

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

• สร้างคีย์สาธารณะ ssh

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

• ติดตั้งเครื่องเทียบท่า

$ 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

วิธีการรัน Minisat.msc

• สร้างสภาพแวดล้อมเสมือน python3 ของคุณ

$ python3 -m venv < environment_name >

• เปิดใช้งานสภาพแวดล้อมเสมือน

$ source < environment_name > /bin/activate

• ติดตั้งการพึ่งพาโดยใช้ pip

$ pip install -r requirements.txt

• เรียกใช้การย้ายข้อมูล

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

• เรียกใช้แอปพลิเคชันเว็บ django

$ python3 manage.py runserver

บรรจุ Minisat

• สร้างอิมเมจนักเทียบท่า

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

• เรียกใช้รูปภาพ

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

• ไปที่ http://localhost:8000 สำหรับ Minisat UI

สร้างสภาพแวดล้อมการทดสอบ

คำขอดึง Minisat ทั้งหมดได้รับการทดสอบใน Travis-ci หากการทดสอบล้มเหลว ให้ไปที่งานทดสอบที่ไม่สามารถดูเอาต์พุตคอนโซลได้

รันการทดสอบเดียวกันนี้ในเครื่องโดยใช้ซีลีเนียม ดาวน์โหลด selenium webdriver สำหรับ Mozilla Firefox โมซิลล่า ตุ๊กแกไดร์เวอร์

แยกไดรเวอร์ เส้นทางการส่งออก

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

มันจะตั้งค่าตัวแปรเส้นทางให้กับเว็บไดรเวอร์

และทำการทดสอบ

$ pytest

การออกใบอนุญาต

Minisat ได้รับอนุญาตภายใต้ GNU General Public License v3.0 ดูใบอนุญาต