diff options
| -rw-r--r-- | pbt/README.md | 3 | ||||
| -rw-r--r-- | pbt/ts/src/index.ts | 4 |
2 files changed, 5 insertions, 2 deletions
diff --git a/pbt/README.md b/pbt/README.md index a699ce0..4832394 100644 --- a/pbt/README.md +++ b/pbt/README.md @@ -72,3 +72,6 @@ Quelques liens intéressants glanés au fil de mes recherches sur le sujet : * [QuickCheck](https://www.cs.tufts.edu/~nr/cs257/archive/john-hughes/quick.pdf) : l'article originel de John Hughes et Koen Claessen introduisant QuickCheck * [Testing monadic code with QuickCheck](https://research.chalmers.se/publication/170517) : la suite du précédent article pour appliquer le PBT sur du code maintenant un état ou plus généralement produisant des effets de bord * [Finding race conditions in Erlang with QuickCheck](https://smallbone.se/papers/finding-race-conditions.pdf) : l'application du PBT sur des problèmes de concurrence en Erlang, suivi de [Experiences with QuickCheck](https://publications.lib.chalmers.se/records/fulltext/232550/local_232550.pdf). Ces articles et d'autres cités dans _The sad state of property-based testing_ sont particulièrement intéressants pour les praticiens car ils détaillent des cas d'utilisation concrets et des retours d'expérience sur l'utilisation de QuickCheck dans un contexte industriel +* [Using relational problems to teach PBT](https://cs.brown.edu/~tbn/publications/wnk-pj20-pbt.pdf) : une étude sur l'impact de l'apprentissage du PBT (par exemple sur un [tri topologique](https://cs.brown.edu/courses/cs195y/2019/historical/oracle.pdf)) +* [Choosing properties for PBT](https://fsharpforfunandprofit.com/posts/property-based-testing-2/) +* [PBT in practice](https://harrisongoldste.in/papers/icse24-pbt-in-practice.pdf): une étude à base d'entretiens sur l'efficacité _en pratique_ du PBT diff --git a/pbt/ts/src/index.ts b/pbt/ts/src/index.ts index 37ab4c9..c6fc73a 100644 --- a/pbt/ts/src/index.ts +++ b/pbt/ts/src/index.ts @@ -91,8 +91,8 @@ let prop_reverse_is_self_inverse = async function main() { let rng = new Prando(Math.random() * 1000); - let reverse_append_result = prop_reverse_with_two_lists(rng, 10); - let reverse_reverse_result = prop_reverse_is_self_inverse(rng, 10); + let reverse_append_result = prop_reverse_with_two_lists(rng, 0); + let reverse_reverse_result = prop_reverse_is_self_inverse(rng, 0); console.log('result: ' + JSON.stringify(reverse_append_result)); console.log('result: ' + JSON.stringify(reverse_reverse_result)); } |