[Cs5500] Testing Result Report 04-15:

[Liang Yu]

Thank you,

I will be more careful next time ^ ^.

Thank you for correcting me.

On Fri, Apr 15, 2011 at 3:29 PM, ketan mehta <mehta.ket at husky.neu.edu>wrote:

> 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
>>
>>
>


-- 
--
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)
-------------- next part --------------
HTML attachment scrubbed and removed