2 ms·
The only other solution is exhaustive property testing. And even that is not workable when concurrency is in play.
by AstralStorm 7y ago
The only other solution is exhaustive property testing. And even that is not workable when concurrency is in play.
- grogers 7y agoThere do exist frameworks that allow exhaustive testing of concurrent code. They never really became mainstream though. https://www.microsoft.com/en-us/research/publication/chess-a-systematic-testing-tool-for-concurrent-software/ https://www.microsoft.com/en-us/research/publication/chess-a... http://www.1024cores.net/home/relacy-race-detector http://www.1024cores.net/home/relacy-race-detector
- dllthomas 7y agoGood luck exhaustively testing something with a cryptographic key as input. Non-exhaustive property testing is also pretty cool, though.