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 " "

• docker-machineをインストールする

$ 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

ミニサットの運用方法

• 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 Web アプリを実行する

$ 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 でテストされます。テストが失敗した場合は、失敗したテスト ジョブにアクセスして、コンソール出力を表示します。

Selenium を使用して、これらと同じテストをローカルで実行します。 mozilla Firefox 用の Selenium Webdriver をダウンロードします。モジラゲッコードライバー。

ドライバーを抽出します。エクスポートパス

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

Webドライバーへのパス変数を設定します。

そしてテストを実行します

$ pytest

ライセンス

Minisat は、GNU General Public License v3.0 に基づいてライセンスされています。ライセンスを参照