tienvx/mbt-bundle

Core Library For SICOPE Model Project

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

Conflicts

• symfony/symfony: *

MIT

• Tien Xuan Vo
• Community contributions

• testing tools
• model based testing

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.