2017 © Pedro PelĂĄez
 

library praspel

The Hoa\Praspel library.

image

hoa/praspel

The Hoa\Praspel library.

  • Tuesday, January 10, 2017
  • by Hoa
  • Repository
  • 14 Watchers
  • 30 Stars
  • 15,228 Installations
  • PHP
  • 4 Dependents
  • 0 Suggesters
  • 8 Forks
  • 3 Open issues
  • 18 Versions
  • 3 % Grown

The README.md

Hoa , (*1)


Build status Code coverage Packagist License , (*2)

Hoa is a modular, extensible and structured set of PHP libraries.
Moreover, Hoa aims at being a bridge between industrial and research worlds. , (*3)

Hoa\Praspel

Help on IRC Help on Gitter Documentation Board, (*4)

Praspel and the Realistic Domains

Praspel (PHP Realistic Annotation and Specification Language) is a formal specification language for PHP. It is based on the Design-by-Contract paradigm and uses preconditions, postconditions, invariants etc. Specifications are written in the comments of the PHP code. Praspel is used for manual, automated or automatic software validation and verification., (*5)

This language is inspired by JML but the difference is in the way to specify the data. PHP is dynamically and weakly typed. To specify the data, Praspel relies on realistic domains: Structures allowing to validate and generate data, with the ability to compose them to represent more complex data. Realistic domains are implemented in the Hoa\Realdom library., (*6)

Data generators

A contract can be used to automatically generate unit tests. A test is constitued of 2 parts: Test data, and an oracle. Test data are crucial since it must reflect “realistic” data as much as possible, and being to generate data at the limits is also very important. Realistic Domains is an answer to this problem by being able to generate integers, reals, strings (based on regular expressions or grammars for instance), arrays (based on a constraint solver) or objects, for the PHP language types. Thus, it is possible to combine these realistic domains to generate more sophisticated data (like dates, object models etc.)., (*7)

Contract Coverage Criteria

The contract language can be evaluated to validate and verify data manipulated by the program on one hand. On the other hand, we have algorithms able to automatically generate test data from a piece of a contract. In order to ensure whether the contract is correctly covered, we have defined several contract coverage criteria., (*8)

Thus, we are able to generate unit test suites satisfying these contract coverage criteria, and thus ensuring that generated unit test suites reflect all the behavior expressed in the contract., (*9)

Research papers

This language is the result of several research papers, journals and PhD thesis., (*10)

Learn more., (*11)

Installation

With Composer, to include this library into your dependencies, you need to require hoa/praspel:, (*12)

$ composer require hoa/praspel '~1.0'

For more installation procedures, please read the Source page., (*13)

Testing

Before running the test suites, the development dependencies must be installed:, (*14)

$ composer install

Then, to run all the test suites:, (*15)

$ vendor/bin/hoa test:run

For more information, please read the contributor guide., (*16)

Documentation

The hack book of Hoa\Praspel contains detailed information about how to use this library and how it works., (*17)

To generate the documentation locally, execute the following commands:, (*18)

$ composer require --dev hoa/devtools
$ vendor/bin/hoa devtools:documentation --open

More documentation can be found on the project's website: hoa-project.net., (*19)

Getting help

There are mainly two ways to get help:, (*20)

Contribution

Do you want to contribute? Thanks! A detailed contributor guide explains everything you need to know., (*21)

License

Hoa is under the New BSD License (BSD-3-Clause). Please, see LICENSE for details., (*22)

The following projects are using this library:, (*23)

The Versions

10/01 2017

dev-master

9999999-dev https://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

10/01 2017

1.17.01.10

1.17.01.10 https://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

06/01 2017

1.17.01.06

1.17.01.06 https://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

11/05 2016

1.16.05.11

1.16.05.11 http://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

09/05 2016

1.16.05.09

1.16.05.09 http://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

14/01 2016

1.16.01.16

1.16.01.16 http://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

14/01 2016

1.16.01.15

1.16.01.15 http://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

14/01 2016

1.16.01.14

1.16.01.14 http://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

08/09 2015

0.15.09.08

0.15.09.08 http://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

01/06 2015

0.15.06.01

0.15.06.01 http://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

29/05 2015

0.15.05.29

0.15.05.29 http://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

24/02 2015

0.15.02.24

0.15.02.24 http://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

09/12 2014

0.14.12.10

0.14.12.10 http://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

15/11 2014

0.14.11.25

0.14.11.25 http://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

09/11 2014

0.14.11.09

0.14.11.09 http://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

23/09 2014

0.14.09.23

0.14.09.23 http://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

17/09 2014

0.14.09.17

0.14.09.17 http://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel

16/09 2014

0.14.09.16

0.14.09.16 http://hoa-project.net/

The Hoa\Praspel library.

  Sources   Download

BSD-3-Clause

The Requires

 

The Development Requires

test library validation specification generation contract precondition postcondition invariant praspel