Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

C++/bug testing [closed]

Tags:

c++

I was asked this on an interview. I was absolutely clueless how I to solve this...

/* You are writing a unit test to confirm the correctness of a function which
takes 3 float values as arguments. You decide to stress test it by testing
1000000 'random' inputs.
You find that the function will fail, but very rarely, so you include code
to print out all failure cases, hoping to grab a simple repro case which you
can debug into.
Note: All code here is run in a single-threaded environment. */

//...
// Some code sets a,b,c
//...
if ( testPasses(a,b,c) )
{
    printf("Pass\n");
}
else // someFunc fails, print the values so we can reproduce
{
    printf("Fail: %f %f %f\n", a, b, c);
}

Can you help me? Thanks!

Update: I am sorry guys I accidently deleted the question!!

here it is

// where testPasses has the following signature and executes deterministically 

// with no side effects:

    bool testPasses(float f1, float f2, float f3);

void testRepro()
{
    float a = // fill in from value printed by above code
    float b = // fill in from value printed by above code
    float c = // fill in from value printed by above code
    bool result = testPasses(a,b,c);
};

// Surprisingly, when you type in the 3 values printed out in testRepro()
// the test does not fail!
// Modify the original code and test bed to reproduce the problem reliably. 
like image 281
Chebz Avatar asked Dec 16 '22 13:12

Chebz


2 Answers

The problem is the precision used by printf on floating point numbers. They wanted to know if you could see that...

like image 107
6502 Avatar answered Dec 31 '22 03:12

6502


Print out the bytes representing the float instead of printing the value. Then you can plug in the exact value as a hex value.

char value[4] = { 0x12, 0x34, 0x56, 0x78 };
float *a = (float*)value;

// test using *a
like image 42
pickypg Avatar answered Dec 31 '22 02:12

pickypg