3 ms·
Which why I really love things like MSR's PEX[1]. "Pex uses a constraint solver to produce new test inputs which exercise different program behavior. " So thi
by fowl2 9y ago
Which why I really love things like MSR's PEX[1].
"Pex uses a constraint solver to produce new test inputs which exercise different program behavior. "
So this is not lines, but I guess.. branches and numerical limits. Either way it's cool and I wish it was integrated somewhere. They've got a online demo thing http://www.pexforfun.com/ http://www.pexforfun.com/
[1]https://www.microsoft.com/en-us/research/publication/pex-white-box-test-generation-for-net/ https://www.microsoft.com/en-us/research/publication/pex-whi...
- tjalfi 9y agoIntelliTest[0] is the productized version of PEX. The first release was in Visual Studio 2015 Enterprise edition. [0] https://blogs.msdn.microsoft.com/visualstudio/2015/09/30/intellitest-for-net-test-more-with-less-effort/ https://blogs.msdn.microsoft.com/visualstudio/2015/09/30/int...
- nuclx 9y agoStill a pity it's only included in Enterprise edition. We need a strong foundation of accessible tools for automated test input generation improving on the current state of the art fuzzers. See e.g. danluu's vision of "Combining AFL and QuickCheck for directed fuzzing" [https://danluu.com/testing/ https://danluu.com/testing/].