% $Id: SampleSecureTest.oz,v 1.1 2007/10/22 04:58:20 leavens Exp leavens $ \insert 'TestingNoStop.oz' \insert 'SampleSecure.oz' %% Specification %% for all I, J, K, L: , F: : %% %% try %% {Average {NewSample I J K}} %% catch X then F end %% == if 0 =< I andthen I < J %% andthen J < K %% then {IntToFloat I+J+K}/3.0 %% else F end %% %% try %% {Median {NewSample I J K}} %% catch X then L end %% == if 0 =< I andthen I < J %% andthen J < K %% then J else L end {StartTesting 'SampleSecure'} {Test {Median {NewSample 1 2 3}} '==' 2} {Test {Average {NewSample 1 2 3}} '==' 2.0} {Test {Median {NewSample 1 3 26}} '==' 3} {Test {Average {NewSample 1 3 26}} '==' 10.0}