Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(163)

Side by Side Diff: third_party/google-endpoints/Crypto/SelfTest/Util/test_number.py

Issue 2666783008: Add google-endpoints to third_party/. (Closed)
Patch Set: Created 3 years, 10 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
OLDNEW
(Empty)
1 # -*- coding: utf-8 -*-
2 #
3 # SelfTest/Util/test_number.py: Self-test for parts of the Crypto.Util.number m odule
4 #
5 # Written in 2008 by Dwayne C. Litzenberger <dlitz@dlitz.net>
6 #
7 # ===================================================================
8 # The contents of this file are dedicated to the public domain. To
9 # the extent that dedication to the public domain is not available,
10 # everyone is granted a worldwide, perpetual, royalty-free,
11 # non-exclusive license to exercise all rights associated with the
12 # contents of this file for any purpose whatsoever.
13 # No rights are reserved.
14 #
15 # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
16 # EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
17 # MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
18 # NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
19 # BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
20 # ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
21 # CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
22 # SOFTWARE.
23 # ===================================================================
24
25 """Self-tests for (some of) Crypto.Util.number"""
26
27 __revision__ = "$Id$"
28
29 import sys
30 if sys.version_info[0] == 2 and sys.version_info[1] == 1:
31 from Crypto.Util.py21compat import *
32
33 import unittest
34
35 # NB: In some places, we compare tuples instead of just output values so that
36 # if any inputs cause a test failure, we'll be able to tell which ones.
37
38 class MiscTests(unittest.TestCase):
39 def setUp(self):
40 global number, math
41 from Crypto.Util import number
42 import math
43
44 def test_ceil_shift(self):
45 """Util.number.ceil_shift"""
46 self.assertRaises(AssertionError, number.ceil_shift, -1, 1)
47 self.assertRaises(AssertionError, number.ceil_shift, 1, -1)
48
49 # b = 0
50 self.assertEqual(0, number.ceil_shift(0, 0))
51 self.assertEqual(1, number.ceil_shift(1, 0))
52 self.assertEqual(2, number.ceil_shift(2, 0))
53 self.assertEqual(3, number.ceil_shift(3, 0))
54
55 # b = 1
56 self.assertEqual(0, number.ceil_shift(0, 1))
57 self.assertEqual(1, number.ceil_shift(1, 1))
58 self.assertEqual(1, number.ceil_shift(2, 1))
59 self.assertEqual(2, number.ceil_shift(3, 1))
60
61 # b = 2
62 self.assertEqual(0, number.ceil_shift(0, 2))
63 self.assertEqual(1, number.ceil_shift(1, 2))
64 self.assertEqual(1, number.ceil_shift(2, 2))
65 self.assertEqual(1, number.ceil_shift(3, 2))
66 self.assertEqual(1, number.ceil_shift(4, 2))
67 self.assertEqual(2, number.ceil_shift(5, 2))
68 self.assertEqual(2, number.ceil_shift(6, 2))
69 self.assertEqual(2, number.ceil_shift(7, 2))
70 self.assertEqual(2, number.ceil_shift(8, 2))
71 self.assertEqual(3, number.ceil_shift(9, 2))
72
73 for b in range(3, 1+129, 3): # 3, 6, ... , 129
74 self.assertEqual(0, number.ceil_shift(0, b))
75
76 n = 1L
77 while n <= 2L**(b+2):
78 (q, r) = divmod(n-1, 2L**b)
79 expected = q + int(not not r)
80 self.assertEqual((n-1, b, expected),
81 (n-1, b, number.ceil_shift(n-1, b)))
82
83 (q, r) = divmod(n, 2L**b)
84 expected = q + int(not not r)
85 self.assertEqual((n, b, expected),
86 (n, b, number.ceil_shift(n, b)))
87
88 (q, r) = divmod(n+1, 2L**b)
89 expected = q + int(not not r)
90 self.assertEqual((n+1, b, expected),
91 (n+1, b, number.ceil_shift(n+1, b)))
92
93 n *= 2
94
95 def test_ceil_div(self):
96 """Util.number.ceil_div"""
97 self.assertRaises(TypeError, number.ceil_div, "1", 1)
98 self.assertRaises(ZeroDivisionError, number.ceil_div, 1, 0)
99 self.assertRaises(ZeroDivisionError, number.ceil_div, -1, 0)
100
101 # b = -1
102 self.assertEqual(0, number.ceil_div(0, -1))
103 self.assertEqual(-1, number.ceil_div(1, -1))
104 self.assertEqual(-2, number.ceil_div(2, -1))
105 self.assertEqual(-3, number.ceil_div(3, -1))
106
107 # b = 1
108 self.assertEqual(0, number.ceil_div(0, 1))
109 self.assertEqual(1, number.ceil_div(1, 1))
110 self.assertEqual(2, number.ceil_div(2, 1))
111 self.assertEqual(3, number.ceil_div(3, 1))
112
113 # b = 2
114 self.assertEqual(0, number.ceil_div(0, 2))
115 self.assertEqual(1, number.ceil_div(1, 2))
116 self.assertEqual(1, number.ceil_div(2, 2))
117 self.assertEqual(2, number.ceil_div(3, 2))
118 self.assertEqual(2, number.ceil_div(4, 2))
119 self.assertEqual(3, number.ceil_div(5, 2))
120
121 # b = 3
122 self.assertEqual(0, number.ceil_div(0, 3))
123 self.assertEqual(1, number.ceil_div(1, 3))
124 self.assertEqual(1, number.ceil_div(2, 3))
125 self.assertEqual(1, number.ceil_div(3, 3))
126 self.assertEqual(2, number.ceil_div(4, 3))
127 self.assertEqual(2, number.ceil_div(5, 3))
128 self.assertEqual(2, number.ceil_div(6, 3))
129 self.assertEqual(3, number.ceil_div(7, 3))
130
131 # b = 4
132 self.assertEqual(0, number.ceil_div(0, 4))
133 self.assertEqual(1, number.ceil_div(1, 4))
134 self.assertEqual(1, number.ceil_div(2, 4))
135 self.assertEqual(1, number.ceil_div(3, 4))
136 self.assertEqual(1, number.ceil_div(4, 4))
137 self.assertEqual(2, number.ceil_div(5, 4))
138 self.assertEqual(2, number.ceil_div(6, 4))
139 self.assertEqual(2, number.ceil_div(7, 4))
140 self.assertEqual(2, number.ceil_div(8, 4))
141 self.assertEqual(3, number.ceil_div(9, 4))
142
143 # b = -4
144 self.assertEqual(3, number.ceil_div(-9, -4))
145 self.assertEqual(2, number.ceil_div(-8, -4))
146 self.assertEqual(2, number.ceil_div(-7, -4))
147 self.assertEqual(2, number.ceil_div(-6, -4))
148 self.assertEqual(2, number.ceil_div(-5, -4))
149 self.assertEqual(1, number.ceil_div(-4, -4))
150 self.assertEqual(1, number.ceil_div(-3, -4))
151 self.assertEqual(1, number.ceil_div(-2, -4))
152 self.assertEqual(1, number.ceil_div(-1, -4))
153 self.assertEqual(0, number.ceil_div(0, -4))
154 self.assertEqual(0, number.ceil_div(1, -4))
155 self.assertEqual(0, number.ceil_div(2, -4))
156 self.assertEqual(0, number.ceil_div(3, -4))
157 self.assertEqual(-1, number.ceil_div(4, -4))
158 self.assertEqual(-1, number.ceil_div(5, -4))
159 self.assertEqual(-1, number.ceil_div(6, -4))
160 self.assertEqual(-1, number.ceil_div(7, -4))
161 self.assertEqual(-2, number.ceil_div(8, -4))
162 self.assertEqual(-2, number.ceil_div(9, -4))
163
164 def test_exact_log2(self):
165 """Util.number.exact_log2"""
166 self.assertRaises(TypeError, number.exact_log2, "0")
167 self.assertRaises(ValueError, number.exact_log2, -1)
168 self.assertRaises(ValueError, number.exact_log2, 0)
169 self.assertEqual(0, number.exact_log2(1))
170 self.assertEqual(1, number.exact_log2(2))
171 self.assertRaises(ValueError, number.exact_log2, 3)
172 self.assertEqual(2, number.exact_log2(4))
173 self.assertRaises(ValueError, number.exact_log2, 5)
174 self.assertRaises(ValueError, number.exact_log2, 6)
175 self.assertRaises(ValueError, number.exact_log2, 7)
176 e = 3
177 n = 8
178 while e < 16:
179 if n == 2**e:
180 self.assertEqual(e, number.exact_log2(n), "expected=2**%d, n=%d" % (e, n))
181 e += 1
182 else:
183 self.assertRaises(ValueError, number.exact_log2, n)
184 n += 1
185
186 for e in range(16, 1+64, 2):
187 self.assertRaises(ValueError, number.exact_log2, 2L**e-1)
188 self.assertEqual(e, number.exact_log2(2L**e))
189 self.assertRaises(ValueError, number.exact_log2, 2L**e+1)
190
191 def test_exact_div(self):
192 """Util.number.exact_div"""
193
194 # Positive numbers
195 self.assertEqual(1, number.exact_div(1, 1))
196 self.assertRaises(ValueError, number.exact_div, 1, 2)
197 self.assertEqual(1, number.exact_div(2, 2))
198 self.assertRaises(ValueError, number.exact_div, 3, 2)
199 self.assertEqual(2, number.exact_div(4, 2))
200
201 # Negative numbers
202 self.assertEqual(-1, number.exact_div(-1, 1))
203 self.assertEqual(-1, number.exact_div(1, -1))
204 self.assertRaises(ValueError, number.exact_div, -1, 2)
205 self.assertEqual(1, number.exact_div(-2, -2))
206 self.assertEqual(-2, number.exact_div(-4, 2))
207
208 # Zero dividend
209 self.assertEqual(0, number.exact_div(0, 1))
210 self.assertEqual(0, number.exact_div(0, 2))
211
212 # Zero divisor (allow_divzero == False)
213 self.assertRaises(ZeroDivisionError, number.exact_div, 0, 0)
214 self.assertRaises(ZeroDivisionError, number.exact_div, 1, 0)
215
216 # Zero divisor (allow_divzero == True)
217 self.assertEqual(0, number.exact_div(0, 0, allow_divzero=True))
218 self.assertRaises(ValueError, number.exact_div, 1, 0, allow_divzero=True )
219
220 def test_floor_div(self):
221 """Util.number.floor_div"""
222 self.assertRaises(TypeError, number.floor_div, "1", 1)
223 for a in range(-10, 10):
224 for b in range(-10, 10):
225 if b == 0:
226 self.assertRaises(ZeroDivisionError, number.floor_div, a, b)
227 else:
228 self.assertEqual((a, b, int(math.floor(float(a) / b))),
229 (a, b, number.floor_div(a, b)))
230
231 def test_getStrongPrime(self):
232 """Util.number.getStrongPrime"""
233 self.assertRaises(ValueError, number.getStrongPrime, 256)
234 self.assertRaises(ValueError, number.getStrongPrime, 513)
235 bits = 512
236 x = number.getStrongPrime(bits)
237 self.assertNotEqual(x % 2, 0)
238 self.assertEqual(x > (1L << bits-1)-1, 1)
239 self.assertEqual(x < (1L << bits), 1)
240 e = 2**16+1
241 x = number.getStrongPrime(bits, e)
242 self.assertEqual(number.GCD(x-1, e), 1)
243 self.assertNotEqual(x % 2, 0)
244 self.assertEqual(x > (1L << bits-1)-1, 1)
245 self.assertEqual(x < (1L << bits), 1)
246 e = 2**16+2
247 x = number.getStrongPrime(bits, e)
248 self.assertEqual(number.GCD((x-1)>>1, e), 1)
249 self.assertNotEqual(x % 2, 0)
250 self.assertEqual(x > (1L << bits-1)-1, 1)
251 self.assertEqual(x < (1L << bits), 1)
252
253 def test_isPrime(self):
254 """Util.number.isPrime"""
255 self.assertEqual(number.isPrime(-3), False) # Regression test: negat ive numbers should not be prime
256 self.assertEqual(number.isPrime(-2), False) # Regression test: negat ive numbers should not be prime
257 self.assertEqual(number.isPrime(1), False) # Regression test: isPri me(1) caused some versions of PyCrypto to crash.
258 self.assertEqual(number.isPrime(2), True)
259 self.assertEqual(number.isPrime(3), True)
260 self.assertEqual(number.isPrime(4), False)
261 self.assertEqual(number.isPrime(2L**1279-1), True)
262 self.assertEqual(number.isPrime(-(2L**1279-1)), False) # Regression test: negative numbers should not be prime
263 # test some known gmp pseudo-primes taken from
264 # http://www.trnicely.net/misc/mpzspsp.html
265 for composite in (43 * 127 * 211, 61 * 151 * 211, 15259 * 30517,
266 346141L * 692281L, 1007119L * 2014237L, 3589477L * 717 8953L,
267 4859419L * 9718837L, 2730439L * 5460877L,
268 245127919L * 490255837L, 963939391L * 1927878781L,
269 4186358431L * 8372716861L, 1576820467L * 3153640933L):
270 self.assertEqual(number.isPrime(long(composite)), False)
271
272 def test_size(self):
273 self.assertEqual(number.size(2),2)
274 self.assertEqual(number.size(3),2)
275 self.assertEqual(number.size(0xa2),8)
276 self.assertEqual(number.size(0xa2ba40),8*3)
277 self.assertEqual(number.size(0xa2ba40ee07e3b2bd2f02ce227f36a195024486e49 c19cb41bbbdfbba98b22b0e577c2eeaffa20d883a76e65e394c69d4b3c05a1e8fadda27edb2a42bc 000fe888b9b32c22d15add0cd76b3e7936e19955b220dd17d4ea904b1ec102b2e4de7751222aa991 51024c7cb41cc5ea21d00eeb41f7c800834d2c6e06bce3bce7ea9a5L), 1024)
278
279 def test_negative_number_roundtrip_mpzToLongObj_longObjToMPZ(self):
280 """Test that mpzToLongObj and longObjToMPZ (internal functions) roundtri p negative numbers correctly."""
281 n = -100000000000000000000000000000000000L
282 e = 2L
283 k = number._fastmath.rsa_construct(n, e)
284 self.assertEqual(n, k.n)
285 self.assertEqual(e, k.e)
286
287 def get_tests(config={}):
288 from Crypto.SelfTest.st_common import list_test_cases
289 return list_test_cases(MiscTests)
290
291 if __name__ == '__main__':
292 suite = lambda: unittest.TestSuite(get_tests())
293 unittest.main(defaultTest='suite')
294
295 # vim:set ts=4 sw=4 sts=4 expandtab:
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698