{"id":10313,"date":"2014-12-13T16:35:36","date_gmt":"2014-12-13T21:35:36","guid":{"rendered":"http:\/\/mjtsai.com\/blog\/?p=10313"},"modified":"2014-12-13T16:35:57","modified_gmt":"2014-12-13T21:35:57","slug":"fox-a-quickcheck-inspired-testing-framework","status":"publish","type":"post","link":"https:\/\/mjtsai.com\/blog\/2014\/12\/13\/fox-a-quickcheck-inspired-testing-framework\/","title":{"rendered":"Fox: a QuickCheck-Inspired Testing Framework"},"content":{"rendered":"<p><a href=\"https:\/\/github.com\/jeffh\/Fox\">Jeff Hui<\/a> (via <a href=\"https:\/\/twitter.com\/olebegemann\/status\/543443759040856065\">Ole Begemann<\/a>):<\/p>\n<blockquote cite=\"https:\/\/github.com\/jeffh\/Fox\"><p>Test generation can provide better coverage than example-based tests. Instead of having to manually code test cases, Fox can generate tests for you.<\/p><\/blockquote>\n<p><a href=\"http:\/\/fox-testing.readthedocs.org\/en\/latest\/what_is_fox.html\">What is Fox?<\/a>:<\/p>\n<blockquote cite=\"http:\/\/fox-testing.readthedocs.org\/en\/latest\/what_is_fox.html\"><p>Property-Based Testing Tools, especially ones inspired from <a href=\"https:\/\/www.haskell.org\/haskellwiki\/Introduction_to_QuickCheck2\">QuickCheck<\/a>, are\ntest generators. These tools allow you to describe a property of your program\nthat should always hold true instead of writing hand-crafted test cases.<\/p>\n<p>[&#8230;]<\/p>\n<p>In the mathematical sense, Fox is a weak proof checker of a property where the tool tries to assert the property is valid by randomly generating data to find a counter-example.<\/p>\n<p>[&#8230;]<\/p>\n<p>The benefit of Fox over purely random data generation is Shrinking. An informed random generation is done by size. This allows the tool to reduce the counter-example to a smaller data set without having a user manually separate thes signal from the noise in the randomly generated data.<\/p><\/blockquote>","protected":false},"excerpt":{"rendered":"<p>Jeff Hui (via Ole Begemann): Test generation can provide better coverage than example-based tests. Instead of having to manually code test cases, Fox can generate tests for you. What is Fox?: Property-Based Testing Tools, especially ones inspired from QuickCheck, are test generators. These tools allow you to describe a property of your program that should [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"apple_news_api_created_at":"","apple_news_api_id":"","apple_news_api_modified_at":"","apple_news_api_revision":"","apple_news_api_share_url":"","apple_news_coverimage":0,"apple_news_coverimage_caption":"","apple_news_is_hidden":false,"apple_news_is_paid":false,"apple_news_is_preview":false,"apple_news_is_sponsored":false,"apple_news_maturity_rating":"","apple_news_metadata":"\"\"","apple_news_pullquote":"","apple_news_pullquote_position":"","apple_news_slug":"","apple_news_sections":"\"\"","apple_news_suppress_video_url":false,"apple_news_use_image_component":false,"footnotes":""},"categories":[4],"tags":[971,54,74,71,901,268],"class_list":["post-10313","post","type-post","status-publish","format-standard","hentry","category-programming-category","tag-model-checking","tag-objective-c","tag-opensource","tag-programming","tag-swift-programming-language","tag-testing"],"apple_news_notices":[],"_links":{"self":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/10313","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/comments?post=10313"}],"version-history":[{"count":1,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/10313\/revisions"}],"predecessor-version":[{"id":10314,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/10313\/revisions\/10314"}],"wp:attachment":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/media?parent=10313"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/categories?post=10313"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/tags?post=10313"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}