Difference between revisions of "Property Based Developer Testing"
From CitconWiki
Jump to navigationJump to search| Line 4: | Line 4: | ||
= Literature = | = Literature = | ||
| + | * [http://natpryce.com/articles/000802.html Property Based TDD at SPA 2013] | ||
| + | * [http://shareandenjoy.saff.net/tdd-specifications.pdf The Practice of Theories: Adding "For-all" Statements to "There-exists" tests] | ||
* [http://debasishg.blogspot.com/2012/07/property-based-testing-for-domain-models.html Property based testing for domain models] | * [http://debasishg.blogspot.com/2012/07/property-based-testing-for-domain-models.html Property based testing for domain models] | ||
* [http://blog.jessitron.com/2013/04/property-based-testing-what-is-it.html Property-based testing: What is it?] | * [http://blog.jessitron.com/2013/04/property-based-testing-what-is-it.html Property-based testing: What is it?] | ||
| Line 9: | Line 11: | ||
* [http://www.slideshare.net/FranklinChen/handout-18644963 Beyond xUnit exampled-based testing: property-based testing with ScalaCheck] | * [http://www.slideshare.net/FranklinChen/handout-18644963 Beyond xUnit exampled-based testing: property-based testing with ScalaCheck] | ||
* [https://gist.github.com/npryce/4147916 Property-Based Testing Tools] | * [https://gist.github.com/npryce/4147916 Property-Based Testing Tools] | ||
| + | * [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.208.6016&rep=rep1&type=pdf Theory-infected: Or How I Learned to Stop Worrying and Love Universal Quantification] | ||
= Tooling: = | = Tooling: = | ||
Revision as of 07:30, 24 August 2013
Session at CITCONNA2013Sessions
Proposed by Paul Holser
Literature
- Property Based TDD at SPA 2013
- The Practice of Theories: Adding "For-all" Statements to "There-exists" tests
- Property based testing for domain models
- Property-based testing: What is it?
- Real World Haskell: testing and quality assurance
- Beyond xUnit exampled-based testing: property-based testing with ScalaCheck
- Property-Based Testing Tools
- Theory-infected: Or How I Learned to Stop Worrying and Love Universal Quantification
