3 ms·
Look into Microsoft's CHESS proejct which analyzes the code to quickly converge on error cases as well as a system by which thread interleaving is predictable a
by fleitz 16y ago
Look into Microsoft's CHESS proejct which analyzes the code to quickly converge on error cases as well as a system by which thread interleaving is predictable and thus testable. It actually tests every possible combination of thread interleaving through a code path.
- zwp 16y agoAlso the fantastic Microsoft Pex: http://research.microsoft.com/en-us/projects/pex/ http://research.microsoft.com/en-us/projects/pex/