Skip to content

Latest commit

 

History

History
91 lines (57 loc) · 2.92 KB

README.md

File metadata and controls

91 lines (57 loc) · 2.92 KB

Dectblproc

Dectblproc is a decision table-based testing application which provides an algorithm to solve given table and determine inconsistent and redundant pairs. It also checks the rules whether if they are satisfiable or not. Then it creates test suites for satisfiable rules.

Getting Started

In the beginning, you need to setup your environment to be ready for running the codes. Also you can find more information about Decision Table-Based Testing in "documentation.pdf".

Prerequisites

There some prereqisites for this project, respectively:

  • Python
  • MiniSAT

This project was developey via python. To be able to build and run it, your system needs to have python. If you do not have, installation is straightforward. You can follow the installation processes from "python.org" depends on your operating system. Python 3 is highly recommended for you as a version. If you have "pip" in your system, you can install python easily with this command

pip install python3

Another prereqisite is MiniSAT. MiniSAT, is a sat solver which provides to solve boolean expressions and gives the values for the variables in the expression. The installation is depens on your operating system. If your operating system is Windows, you can use cywgin. Installation processes can be followed from here

http://web.cecs.pdx.edu/~hook/logicw11/Assignments/MinisatOnWindows.html
IMPORTANT: In some cases, cygwin is not compatable with its versions. If you encounter any problem while installing 64bit_cygwin or installing minisat on 64bit_cygwin, please try to install 32bit_cygwin. It will solve the problem.

If you are using MacOS or Linux, installation is straightforward. "Homebrew" may be used for MacOS and "Linuxbrew" may be used for Linux systems.

brew install minisat

Installing

Installation of the project is very easy. After you setup your environment (prereqisites), you only need to clone the project.

The command is

git clone https://github.com/omeerkorkmazz/dectblproc.git

Installing Requirement Packages

You can use this command to be able to install necessary modules for python. There is a requirement text which includes the packages which have been used. The only thing you need to do is to run the given command.

pip install -r requirements.text

Build & Execute

The only path you need to follow to run the project is to open terminal and use python command. Check the steps respectively.

cd <repo-dir>
python dectblproc.py ~repoPath\dectblproc\Data_Files\datafile_name
sample ==> python dectblproc.py O:\dectblproc\Data_Files\dt0

Built With

  • Python - The programming language used
  • MiniSAT - SAT Solver used

Authors

  • Omer KORKMAZ - Owner

License

This project is licensed under the MIT License - see the LICENSE.md file for details