معرفی شرکت ها

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

SAT-Based Combinatorial Testing in Python

ویژگی	مقدار
سیستم عامل	-
نام فایل	ctlog-0.5.0
نام	ctlog
نسخه کتابخانه	0.5.0
نگهدارنده	[]
ایمیل نگهدارنده	[]
نویسنده	Logic and Optimization Group
ایمیل نویسنده	-
آدرس صفحه اصلی	http://ulog.udl.cat/software/
آدرس اینترنتی	https://pypi.org/project/ctlog/
مجوز	-

CTLog: SAT-Based Combinatorial Testing in Python ================================================ *Full documentation available [online](http://hardlog.udl.cat/static/doc/ctlog/html/index.html)*. **CTLog** is a complete framework for Combinatorial Testing of Constrained Systems Under Test developed by the [Logic & Optimization Group (LOG)](http://ulog.udl.cat/) at the University of Lleida. It uses Satisfiability (SAT) technology through the [OptiLog](http://hardlog.udl.cat/static/doc/optilog/html/index.html) Python framework, also developed and mantained by the same research group. CTLog implements all the algorithms that we developed in our research, such as ``MaxSAT MCAC`` and ``maxsat-its`` and all the family of the ``BOT-its`` algorithms. It also implements several state-of-the-art algorithms for generating Mixed Covering Arrays with Constraints, such as ``IPOG`` or ``CALOT``. Additionally, we provide the ``SUT-G`` generator, which can be used to generate new Constrained Systems Under Tests where all these MCAC algorithms can be applied. Installation ------------ CTLog currently supports Python versions 3.6, 3.7, 3.8 and 3.9 for Linux. Wheels are provided through PyPI, you can install CTLog directly with pip: ``` pip3 install ctlog ``` CTLog also requires a software license, which must be placed in your ``${HOME}`` directory under the name ``.ctlog.lic``. You can download a valid license for academic uses [here](http://ulog.udl.cat/static/doc/ctlog/html/_downloads/a65f1209d682d26ebe87204c191234bc/ctlog.lic) , which is valid until **September 27, 2023**. Before using CTLog please read our [license](http://ulog.udl.cat/static/doc/ctlog/html/ctlog/license.html) carefully. If you need CTLog for industrial scenarios please contact us. If you use CTLog in your research please cite our work: @article{DBLP:journals/corr/abs-2105-12552, title = {Incomplete {MaxSAT} approaches for combinatorial testing}, volume = {28}, issn = {1572-9397}, url = {https://doi.org/10.1007/s10732-022-09495-3}, doi = {10.1007/s10732-022-09495-3}, language = {en}, number = {4}, urldate = {2022-09-02}, journal = {Journal of Heuristics}, author = {Ansótegui, Carlos and Manyà, Felip and Ojeda, Jesus and Salvia, Josep M. and Torres, Eduard}, month = aug, year = {2022}, keywords = {Combinatorial testing, Constraint programming, Maximum satisfiability}, pages = {377--431} }

نیازمندی

مقدار	نام
>=0.3.5	optilog
==1.1.0	nimporter
-	psutil
==1.5.0	pyzlic

نحوه نصب

نصب پکیج whl ctlog-0.5.0:

pip install ctlog-0.5.0.whl

نصب پکیج tar.gz ctlog-0.5.0:

pip install ctlog-0.5.0.tar.gz