1# -*- coding: utf-8 -*- 2# 3# SelfTest/Util/test_number.py: Self-test for parts of the Crypto.Util.number module 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 27from Crypto.Util.py3compat import * 28 29import unittest 30 31class MyError(Exception): 32 """Dummy exception used for tests""" 33 34# NB: In some places, we compare tuples instead of just output values so that 35# if any inputs cause a test failure, we'll be able to tell which ones. 36 37class MiscTests(unittest.TestCase): 38 def setUp(self): 39 global number, math 40 from Crypto.Util import number 41 import math 42 43 def test_ceil_div(self): 44 """Util.number.ceil_div""" 45 self.assertRaises(TypeError, number.ceil_div, "1", 1) 46 self.assertRaises(ZeroDivisionError, number.ceil_div, 1, 0) 47 self.assertRaises(ZeroDivisionError, number.ceil_div, -1, 0) 48 49 # b = 1 50 self.assertEqual(0, number.ceil_div(0, 1)) 51 self.assertEqual(1, number.ceil_div(1, 1)) 52 self.assertEqual(2, number.ceil_div(2, 1)) 53 self.assertEqual(3, number.ceil_div(3, 1)) 54 55 # b = 2 56 self.assertEqual(0, number.ceil_div(0, 2)) 57 self.assertEqual(1, number.ceil_div(1, 2)) 58 self.assertEqual(1, number.ceil_div(2, 2)) 59 self.assertEqual(2, number.ceil_div(3, 2)) 60 self.assertEqual(2, number.ceil_div(4, 2)) 61 self.assertEqual(3, number.ceil_div(5, 2)) 62 63 # b = 3 64 self.assertEqual(0, number.ceil_div(0, 3)) 65 self.assertEqual(1, number.ceil_div(1, 3)) 66 self.assertEqual(1, number.ceil_div(2, 3)) 67 self.assertEqual(1, number.ceil_div(3, 3)) 68 self.assertEqual(2, number.ceil_div(4, 3)) 69 self.assertEqual(2, number.ceil_div(5, 3)) 70 self.assertEqual(2, number.ceil_div(6, 3)) 71 self.assertEqual(3, number.ceil_div(7, 3)) 72 73 # b = 4 74 self.assertEqual(0, number.ceil_div(0, 4)) 75 self.assertEqual(1, number.ceil_div(1, 4)) 76 self.assertEqual(1, number.ceil_div(2, 4)) 77 self.assertEqual(1, number.ceil_div(3, 4)) 78 self.assertEqual(1, number.ceil_div(4, 4)) 79 self.assertEqual(2, number.ceil_div(5, 4)) 80 self.assertEqual(2, number.ceil_div(6, 4)) 81 self.assertEqual(2, number.ceil_div(7, 4)) 82 self.assertEqual(2, number.ceil_div(8, 4)) 83 self.assertEqual(3, number.ceil_div(9, 4)) 84 85 def test_getStrongPrime(self): 86 """Util.number.getStrongPrime""" 87 self.assertRaises(ValueError, number.getStrongPrime, 256) 88 self.assertRaises(ValueError, number.getStrongPrime, 513) 89 bits = 512 90 x = number.getStrongPrime(bits) 91 self.assertNotEqual(x % 2, 0) 92 self.assertEqual(x > (1 << bits-1)-1, 1) 93 self.assertEqual(x < (1 << bits), 1) 94 e = 2**16+1 95 x = number.getStrongPrime(bits, e) 96 self.assertEqual(number.GCD(x-1, e), 1) 97 self.assertNotEqual(x % 2, 0) 98 self.assertEqual(x > (1 << bits-1)-1, 1) 99 self.assertEqual(x < (1 << bits), 1) 100 e = 2**16+2 101 x = number.getStrongPrime(bits, e) 102 self.assertEqual(number.GCD((x-1)>>1, e), 1) 103 self.assertNotEqual(x % 2, 0) 104 self.assertEqual(x > (1 << bits-1)-1, 1) 105 self.assertEqual(x < (1 << bits), 1) 106 107 def test_isPrime(self): 108 """Util.number.isPrime""" 109 self.assertEqual(number.isPrime(-3), False) # Regression test: negative numbers should not be prime 110 self.assertEqual(number.isPrime(-2), False) # Regression test: negative numbers should not be prime 111 self.assertEqual(number.isPrime(1), False) # Regression test: isPrime(1) caused some versions of PyCrypto to crash. 112 self.assertEqual(number.isPrime(2), True) 113 self.assertEqual(number.isPrime(3), True) 114 self.assertEqual(number.isPrime(4), False) 115 self.assertEqual(number.isPrime(2**1279-1), True) 116 self.assertEqual(number.isPrime(-(2**1279-1)), False) # Regression test: negative numbers should not be prime 117 # test some known gmp pseudo-primes taken from 118 # http://www.trnicely.net/misc/mpzspsp.html 119 for composite in (43 * 127 * 211, 61 * 151 * 211, 15259 * 30517, 120 346141 * 692281, 1007119 * 2014237, 3589477 * 7178953, 121 4859419 * 9718837, 2730439 * 5460877, 122 245127919 * 490255837, 963939391 * 1927878781, 123 4186358431 * 8372716861, 1576820467 * 3153640933): 124 self.assertEqual(number.isPrime(int(composite)), False) 125 126 def test_size(self): 127 self.assertEqual(number.size(2),2) 128 self.assertEqual(number.size(3),2) 129 self.assertEqual(number.size(0xa2),8) 130 self.assertEqual(number.size(0xa2ba40),8*3) 131 self.assertEqual(number.size(0xa2ba40ee07e3b2bd2f02ce227f36a195024486e49c19cb41bbbdfbba98b22b0e577c2eeaffa20d883a76e65e394c69d4b3c05a1e8fadda27edb2a42bc000fe888b9b32c22d15add0cd76b3e7936e19955b220dd17d4ea904b1ec102b2e4de7751222aa99151024c7cb41cc5ea21d00eeb41f7c800834d2c6e06bce3bce7ea9a5), 1024) 132 self.assertRaises(ValueError, number.size, -1) 133 134 135def get_tests(config={}): 136 from Crypto.SelfTest.st_common import list_test_cases 137 tests = list_test_cases(MiscTests) 138 return tests 139 140if __name__ == '__main__': 141 suite = lambda: unittest.TestSuite(get_tests()) 142 unittest.main(defaultTest='suite') 143 144# vim:set ts=4 sw=4 sts=4 expandtab: 145