Code Digger analyzes possible execution paths through your .NET code. The result is a table where each row shows a unique behavior of your code. The table helps you understand the behavior of the code, and it may also uncover hidden bugs.
Through the new context menu item "Ge...
Great for simple algorithms. But it seems to give up too early on complex ones. I've been trying to get it to "discover" the perfect bowling game by asserting that score < 300, and so far it hasn't found it.
I have found this tool very useful - generating cases I would not have thought of and obscure conditions that would potentially stop the application - I can now account for these conditions in error handling
I am very pleased as this will increase the robustness of my application - although it goes out of bounds regularly but I'm not sure if thats a problem with the code i'm testing
Trying to run on Visual studio 2012 Professional throws the following exception "Microsoft Pex Exploration Host has stopped working". On selecting "Generate Input/Outputs table" produces the input/output table followed by this exception
I want to take this opportunity to mention that this functionality now ships as "Smart Unit Tests" starting with the Visual Studio 2015 Preview.
Please try it out and let us know your feedback.
You can send us feedback using any of the following:
(1) Using the send-a-smile feature in Visual Studio (http://msdn.microsoft.com/en-us/library/zzszcehe.aspx).
(2) On our blogs on msdn (http://blogs.msdn.com/b/visualstudioalm/archive/2014/11/19/introducing-smart-unit-tests.aspx, http://blogs.msdn.com/b/visualstudioalm/archive/2014/12/11/smart-unit-tests-a-mental-model.aspx).
(3) On twitter @pvlakshm.
(4) Right here.
Thank you for your continued support.
CodeDigger is a great tool and we like to use it in production! But I think I encountered some problems. Especially with constructors. It seems, that CodeDigger does not instantiate a class by all available constructors. Sometimes it seems, that CodeDigger does not used the standard ctor as well. Is that correct?
Further, sometimes CodeDigger does not generate any outputs! What does that mean?
If you like I can send some code examples to show the problem with ctors or something else and I hope you can answer my question!
Thanks a lot in advance and best regards from Berlin!
I have to mention, that we use Fody for aspect-oriented programming. When I weave the NullGuard into the project, every output from CodeDigger disappears.
But the question about the ctors is still valid! :)
Thanks a lot!
Framework Version: v4.0.30319
Description: The process was terminated due to an unhandled exception.
Exception Info: System.InvalidOperationException
Server stack trace:
at Microsoft.ExtendedReflection.Remote.RemoteServer.GetClient(String clientID)