OLD | NEW |
(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: |
OLD | NEW |