Collaboration with entity framework RRS feed

  • Question

  • Does anyone happen to have a demo project where you use pex in collaboration with entity framework. I've been trying to get something up for two days now and keep running into the same two issues:
    1) pex keeps on generating failed tests on top of the generated entity code. I don't think allow all these exceptions one by one is a great idea.
    * for example, I have a generated entity with a not nullable property, the static createObject method will contain this property as a parameter and pex will generate a testcase for this method setting the parameter to null. This test will fail, which is good because the method will indeed throw when you try this. I was looking for a way to solve this using code contracts, but haven't found the light yet.
    2) pex seems to run into path bounds while testing the ObjectGetSet methods, probably because of the above fact

    I would be very happy if someone can provide me with some idea how to tackle these issues.

    Friday, December 11, 2009 4:48 PM


All replies