▲ 1 ▼ CsCheck specification testing (github.com) submitted 1 month ago by AnthonyLloyd@programming.dev to c/dotnet@programming.dev 4 comments fedilink hide all child comments
[–] zetroot@mastodon.ml 1 point 1 month ago* (3 children) @AnthonyLloydIs it something kind of FsCheck, but better? permalink fedilink source hideshow 3 child comments replies: [–] AnthonyLloyd@programming.dev [S] 1 point 1 month ago* (last edited 1 month ago) (2 children) This is a feature specification testing just added to CsCheck. FsCheck doesn't have something similar. CsCheck and FsCheck cover the same sort of testing areas but do things in very different ways. I'd say CsCheck is more complete but I'm biased. permalink fedilink source parent hideshow 2 child comments replies: [–] zetroot@mastodon.ml 2 points 1 month ago (1 child) @AnthonyLloydI definitely should try it. I've been doing some property based testing with FsCheck from time to time for the past 5 years and i find it a thing from another world. Too much F# and academia;-) Not for "bloody enterprise", lol. permalink fedilink source parent hideshow 1 child comment replies: [–] AnthonyLloyd@programming.dev [S] 1 point 1 month ago It can be the very best tool sometimes. If you have a property to test, or if you have an oracle, or a brute force method. For example you want to refactor a complex method. Just take a copy of that method in the tests as the oracle and set up a Sample test so that they always agree and refactor away. You can also put a Faster test on it at the same time and prove it's 3x faster say. It's just more robust than a few examples. permalink fedilink source parent
[–] AnthonyLloyd@programming.dev [S] 1 point 1 month ago* (last edited 1 month ago) (2 children) This is a feature specification testing just added to CsCheck. FsCheck doesn't have something similar. CsCheck and FsCheck cover the same sort of testing areas but do things in very different ways. I'd say CsCheck is more complete but I'm biased. permalink fedilink source parent hideshow 2 child comments replies: [–] zetroot@mastodon.ml 2 points 1 month ago (1 child) @AnthonyLloydI definitely should try it. I've been doing some property based testing with FsCheck from time to time for the past 5 years and i find it a thing from another world. Too much F# and academia;-) Not for "bloody enterprise", lol. permalink fedilink source parent hideshow 1 child comment replies: [–] AnthonyLloyd@programming.dev [S] 1 point 1 month ago It can be the very best tool sometimes. If you have a property to test, or if you have an oracle, or a brute force method. For example you want to refactor a complex method. Just take a copy of that method in the tests as the oracle and set up a Sample test so that they always agree and refactor away. You can also put a Faster test on it at the same time and prove it's 3x faster say. It's just more robust than a few examples. permalink fedilink source parent
[–] zetroot@mastodon.ml 2 points 1 month ago (1 child) @AnthonyLloydI definitely should try it. I've been doing some property based testing with FsCheck from time to time for the past 5 years and i find it a thing from another world. Too much F# and academia;-) Not for "bloody enterprise", lol. permalink fedilink source parent hideshow 1 child comment replies: [–] AnthonyLloyd@programming.dev [S] 1 point 1 month ago It can be the very best tool sometimes. If you have a property to test, or if you have an oracle, or a brute force method. For example you want to refactor a complex method. Just take a copy of that method in the tests as the oracle and set up a Sample test so that they always agree and refactor away. You can also put a Faster test on it at the same time and prove it's 3x faster say. It's just more robust than a few examples. permalink fedilink source parent
[–] AnthonyLloyd@programming.dev [S] 1 point 1 month ago It can be the very best tool sometimes. If you have a property to test, or if you have an oracle, or a brute force method. For example you want to refactor a complex method. Just take a copy of that method in the tests as the oracle and set up a Sample test so that they always agree and refactor away. You can also put a Faster test on it at the same time and prove it's 3x faster say. It's just more robust than a few examples. permalink fedilink source parent
[–] one_old_coder@piefed.social -1 points 1 month ago Can you explain that slop though? permalink fedilink source
all 4 comments