Minisat

Minisat

Minisat é uma ferramenta de gerenciamento de infraestrutura, construída no framework Django, para provisionar máquinas virtuais e executar contêineres Docker em hosts remotos.

Dependências

• Instale os pacotes QEMU e libvirt

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

• Criar chave pública ssh

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

• Instale a máquina docker

$ 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

Como executar o Minisat

• Crie seu ambiente virtual python3

$ python3 -m venv < environment_name >

• Ativar ambiente virtual

$ source < environment_name > /bin/activate

• Instale a dependência usando pip

$ pip install -r requirements.txt

• Execute migrações

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

• Execute o aplicativo web Django

$ python3 manage.py runserver

Conteinerizar Minisat

• Construir imagem Docker

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

• Execute a imagem

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

• Vá para http://localhost:8000 para interface do Minisat

Criar ambiente de teste

Todas as solicitações pull do Minisat são testadas no Travis-ci. Se os testes falharem, visite o trabalho de teste que não conseguiu visualizar a saída do console.

Execute esses mesmos testes localmente usando Selenium. Baixe o selenium webdriver para mozilla firefox. mozilla geckodriver.

Extraia o driver. Caminho de exportação

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

Ele definirá uma variável de caminho para o webdriver.

E faça o teste

$ pytest

Licenciamento

Minisat está licenciado sob GNU General Public License v3.0. Veja LICENÇA