tienvx / mbt-bundle

Core Library For SICOPE Model Project

Maintainers

Details

github.com/tienvx/mbt-bundle

Fund package maintenance!
Patreon

Installs: 3 806

Type:symfony-bundle

pkg:composer/tienvx/mbt-bundle

v3.0.0-alpha.46 2022-07-26 16:08 UTC

Requires

php: ^8.1
ext-json: *
doctrine/doctrine-bundle: ^2.6
doctrine/orm: ^2.8
jmgq/a-star: ^2.1
php-webdriver/webdriver: ^1.11
symfony/config: ^6.1
symfony/dependency-injection: ^6.1
symfony/expression-language: ^6.1
symfony/http-client: ^6.1
symfony/http-kernel: ^6.1
symfony/messenger: ^6.1
symfony/validator: ^6.1
tienvx/assignments-evaluator-bundle: ^1.0.1
tienvx/single-color-petrinet: ^1.5

Requires (Dev)

phpunit/phpunit: ^9.5

Suggests

None

Provides

None

Conflicts

symfony/symfony: *

Replaces

None

MIT e50699fa59e2fb3305cf6e2963d614466acbb63a

testing tools model based testing

This package is auto-updated.

Last update: 2025-10-26 23:44:05 UTC

README

This Bundle is a core library for Sicope Model, a Model-Based Testing tool.

Requirements

PHP 8.1
Symfony 6.1
See also the require section of composer.json

Installation

composer require tienvx/mbt-bundle "^3.0"

Testing

You can run the tests with:

vendor/bin/phpunit

Validate code with coding standards

phpcs --standard=PSR12 src tests config
php-cs-fixer fix --diff --dry-run
phpstan analyse src tests config

Built With

Symfony - The web framework, and its components
Doctrine - Database storage and object mapping
A Star - PHP A* search algorithm
Petrinet - Petrinet framework for PHP
Single Color Petrinet - Single Color Petrinet framework for PHP

Contributing

Pull requests are welcome, please send pull requests.

If you found any bug, please report issues.

Please read CODE_OF_CONDUCT.md for details on our code of conduct, and CONTRIBUTING.md for the process for submitting pull requests to us.

Authors

Tien Vo - Initial work - tienvx

See also the list of contributors who participated in this project.

License

This package is available under the MIT license.