Minisat

미니샛

Minisat은 가상 머신을 프로비저닝하고 원격 호스트에서 Docker 컨테이너를 실행하기 위해 Django 프레임워크를 기반으로 구축된 인프라 관리 도구입니다.

종속성

• 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 실행 방법

• 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 컨테이너화

• Docker 이미지 빌드

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

• 이미지 실행

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

• Minisat UI를 보려면 http://localhost:8000으로 이동하세요.

테스트 환경 만들기

모든 Minisat 풀 요청은 Travis-ci에서 테스트됩니다. 테스트가 실패하면 콘솔 출력을 확인하지 못한 테스트 작업을 방문하세요.

셀레늄을 사용하여 로컬에서 동일한 테스트를 실행하세요. Mozilla Firefox용 Selenium 웹 드라이버를 다운로드하세요. 모질라 게코드라이버.

드라이버를 추출합니다. 내보내기 경로

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

웹드라이버에 경로 변수를 설정합니다.

그리고 테스트를 실행해 보세요.

$ pytest

라이선스

Minisat은 GNU General Public License v3.0에 따라 라이센스가 부여됩니다. 라이센스 보기