MICROSOFT PEX and TDD
PEX stands for Program Exploration which is a white box test generation tool developed at Microsoft Research that helps developers to write PUTs in .NET platform and thus generate automated test cases. For each PUT, Pex uses dynamic test-generation techniques to compute a set of input values that exercise all the statements and assertions in the analyzed program which eventually cover all reachable branches [i] . PEX generates test inputs for parameterized unit tests (PUTs). In the context of a web service, a PUT is simply a method that takes parameters, invokes a sequence of web service operations, and asserts properties of the expected behavior of the operations [ii] . HOW TO CREATE A PEX PROJECT AND START TETSING? To work with PEX, we have to download and install Microsoft PEX white box testing framework and must have Visual Studio installed as well. Then create a test project and write a method to Test. Then right click on the method and select PEX exploration to start creating Tes...