[Cs5500] Testing Result Report 04-15:

[ketan mehta]

Hi Liang,

The testing you did in test2() is wrong.

The testing includes:

Claim originalClaim = Claim.parse("csp.CSPInstanceSet {{ (12 22) }}
scg.protocol.NegativeSecret {{ }} 0.444444 0.8");
Claim strengthenedClaim = Claim.parse("csp.CSPInstanceSet {{ (12 22)
}} scg.protocol.NegativeSecret {{ }} 0.454444 0.8");


This is NegativeSecret testing and you are increasing the value from
0.444444 to 0.454444 which is wrong, it should be less than the
originalClaim value(Ex:0.422222). Please do the change in this value
and run the test, it should work now.

If you have any more doubt please let us know.

Regards,
Ketan L Mehta.
Northeastern University,
Mobile: 001-857-445-1358


On Fri, Apr 15, 2011 at 2:55 PM, Liang Yu <yu.lia at husky.neu.edu> wrote:

> Testing Result Report:
>
> To implementor teams:
>
> we noticed that in the file:
> GenericsSCG/test/rules/TestStrengthenProtocolInterpreter.java, the test2()
> function failed.
>
> we proposed:
>
> for every time we call the proceed() function the variable
> "currentStepIndex" never has a chance to increase itself.
>
> Here is potential place you should pay attention to:
>
> File StrengtheningProtocolInterpeter, line 49, function strengthenP(),
> the if condition, "firstStep.getRole().ordinal() == 1" is false, but
> actually it should be true, in order to let the "currentStepIndex"
> increase.
>
>
> please look at here,
>
>
> Thanks, PRX teams
> Best wishes.
>
> --
> --
> Regards,
> *Liang*
> College of Computer and Information Science,
> Northeastern University
> Tel: 718-501-0145
> MSN: yuliang.name at gmail.com (this is my primary email)
>
>
>
> _______________________________________________
> Cs5500 mailing list
> Cs5500 at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/cs5500
>
>
-------------- next part --------------
HTML attachment scrubbed and removed