Programmation fonctionnelle : un fantastique framework de test.
→ Consulter la documentation.
→ Couverture des tests : 100%.
Comme 3, 5 et 7 sont des nombres premiers, on pourrait être tenté de démontrer le théorème « Tout nombre impair supérieur ou égal à 3 est premier ».
Mathématiquement, on l'écrit :
Pffft permet de d'affirmer ou d'infirmer la véracité d'un tel théorème pour un ensemble de valeurs, par exemple pour les nombres impairs de 3 à 99.
On peut le formuler avec Pffft de la façon suivante :
(* Produit un flux d'entiers de l'intervale [a; b] contenant ses bornes. *)
let range a b =
Flux.unfold (fun x -> if x <= b then Some (x, x + 1) else None) a
(* Utilisation de Pffft sur le théorème : *)
let _ =
if
Pffft.check
Pffft.(
fun () ->
(* Pour tout entier n dans [3; 99] : *)
let n = forall (range 3 99) in
(* tel que n impair : *)
assumption (fun () -> n mod 2 = 1);
on_success (fun () -> Format.printf "%d est premier.@." n);
(* Pour tout entier p dans [2; n-1] : *)
let p = forall (range 2 (n - 1)) in
on_failure (fun () ->
Format.printf "Contre-exemple : %d divise %d.@." p n);
(* p ne divise pas n : *)
assertion (fun () -> n mod p <> 0))
then print_endline "Le théorème est vrai jusqu'à 99."
else print_endline "Le théorème est faux."
L'exécution affiche :
3 est premier.
5 est premier.
7 est premier.
Contre-exemple : 3 divise 9.
Le théorème est faux.
Pffft s'utilise comme une bibliothèque opam.
Pour ajouter les dépendances au gestionnaires de paquets opam :
$ opam pin add delimcc git+https://github.com/GauBen/delimcc
$ opam pin add pffft git+https://github.com/GauBen/Pffft
$ opam install pffft
Pour ajouter les dépendances au projet à tester avec dune :
(executable/library
(name ...)
(libraries ... pffft ...))
Vous pouvez vous inspirer du répertoire tests
.
Une fois installé, vous pouvez utiliser les bibliothèques Pffft
, qui propose les quantificateurs, et pffft.Flux
, qui permet de manipuler des flux de données.
Ce projet utilise les outils opam et dune.
Versions conseillées :
- OCaml 4.11.1
- opam 2.0.5
- dune 2.7.1
Environnement de développement conseillé : VS Code avec OCaml Platform sur Linux.
Il est indispensable d'utiliser une version patchée de delimcc qui supprime la verbosité excessive ! Vous pouvez utiliser la commande ci-dessous, qui installe une version patchée, compatible avec OCaml 4.11.1 :
$ opam pin add delimcc git+https://github.com/GauBen/delimcc
$ dune runtest --instrument-with bisect_ppx --force
$ bisect-ppx-report summary
Coverage: 66/66 (100.00%)
$ dune build @doc
$ $BROWSER _build/default/_doc/_html/index.html