MBT Bundle

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.