Stack Overflow
Stack Overflow

Questions tagged [pex]

Microsoft Pex is a Visual Studio add-in that generates automated white-box tests for .NET Framework applications.

Microsoft Pex is a Visual Studio add-in that generates automated white-box tests for .NET Framework applications. Integrating into the Visual Studio code editor, Pex finds interesting input-output values of your methods, which you can save as a small test suite with high code coverage.

225 questions
0
votes
1 answer

Can I get the path conditions from Pex in SMT 2 format?

I'm using the z3_logdir and z3_loglevel environment variables to make Pex log the path conditions in *.z3 file formats. Is there a way to force pex to export the path conditions in SMT 2 format ? or convert the .Z3 file format to SMT 2 ?
Ebeid ElSayed
  • 1,126
  • 2
  • 15
  • 32
0
votes
2 answers

!error! [execution] runtime context during PEX exploration

I have the following during PEX exploration: !error! [execution] runtime context Microsoft.Pex.Engine.Libraries.MicrosoftVisualBasicLibrary+ProjectErrorRuntimeContextAttribute+Context failed to open [symbols] could not load symbols for…
Juan Galeotti
  • 31
  • 2
0
votes
1 answer

What is the meaning of symbols in PexSymbolicValue.GetRawPathConditionString()?

I'm using PexSymbolicValue.GetPathConditionString() to get path condition within PexMethods. I found there is a method PexSymbolicValue.GetRawPathConditionString() that get the path conditions in S-expression format but I can't find a reference of…
Ebeid ElSayed
  • 1,126
  • 2
  • 15
  • 32
0
votes
1 answer

Contract.Ensures for an OverFlowException

I have a simple Method that returns the exponential value from a given number: public int Exp(int num) { return Convert.ToInt32(System.Math.Exp(num)); } When running Pex I get an OverFlowException in the Summary/Exception field…
user2303644
  • 1
0
votes
1 answer

Many errors when "Add Moles Assembly for mscorlib"

I want to de-tour some method calls into the mscorlib assembly, so I tried to generate a Mole assembly for mscorlib. But it gives me thousands of errors. I am using Win8+VS2010, VS2012 is installed on my box, too. What I did is: Step 0: Create an…
smwikipedia
  • 61,609
  • 92
  • 309
  • 482
0
votes
1 answer

Theory : starting Pex Exploration and number of PUT generated

I read many papers about pex , I'm focus on the explorations strategies . I understand that the Fitnex strategy is default used but I don't understand how Pex create the first parametrized unit test . Where I can find this information ? By…
Boymix81
  • 31
  • 4
0
votes
1 answer

Pex run in loop after reporting?

i run pex by command line on a class of about 2200 methods. After 2 days of elaboration, I think to have the test suite and report html, pex finished this morning at 8.05 AM and the list file modified is at 08.40 AM. The last line of output are…
Boymix81
  • 31
  • 4
0
votes
1 answer

Mole System.Random class

I have the following method to test : public float coverageJump(bool a) { int c = 0; first: c++; Random random = new Random(); float result = random.Next(0, 100); Console.WriteLine(result); if(result < 50) goto…
Boymix81
  • 31
  • 4
0
votes
1 answer

UnitTesting with Moles for tightly coupled 3rd party DLL

I'm new to PEX and Moles just wondering how to UnitTest with moles something like below. I just need a UniDynArray to test. But Creating a UniDynArray depends on the UniSession and UniSession Depends on UniObjects.OpenConnection. When i run this…
AllSpark
  • 425
  • 1
  • 4
  • 17
0
votes
4 answers

Custom attribute declaration for methods

I am using CodeDom to generate a class which include some methods. I was able to declare an attribute for my methods to look similar as what Pex does when it creates a parameterized unit test: [PexMethod] public void myMethod() However I would like…
Peter
  • 33
  • 1
  • 6
0
votes
1 answer

MoleNotImplementedException thrown by GetEnumerator

I'm a newbie with Moles so forgive the simple question but according to documentation I think this should work: MDataServiceCollection dataServiceCollectionMock = new MDataServiceCollection(); new…
cmo999
  • 2,409
  • 1
  • 14
  • 2
0
votes
1 answer

Can't see "Run Pex" in VS2010 after installation

I installed Pex on my Windows 7 machine (Visual Studio 2010 Pex 0.94.51023.0 Power Tools (x64) - (English)). However, when I right click on a piece of code in VS2010, I don't see the "Run Pex" option. When I open another project using VS2008, it is…
user1337362
  • 1
  • 2
-1
votes
1 answer

Unable to find html file in pex executable

Hello I will try to define my issue: I have created a pex file with follow commnad: $ pex --disable-cache . -e ${PYTHON_ENTRYPOINT} -o app.pex -R utils/tasks/templates And I have my files as: So when I try to run the pex file I getting follow…
Leonardo Radillo escobar
  • 81
  • 1
  • 10
-2
votes
2 answers

How Pex can deal with generics?

How Pex can deal with generics?
Antonio Rodriguez
  • 9
-3
votes
1 answer

Minecraft-Can't take kit unless i'm OP (no permissions)

http://pastebin.com/izC5a00Q Okay I have problems with my kit plugin. Everything works if i'm opped buy if I'm not then I don't have permission pleese heelp
Kwail
  • 1
1 2 3
…
14
15