Mercurial > p > roundup > code
changeset 7827:604da0650797
test: add basic tests using hypothesis
It is segregated to its own file.
I am skipping the entire file using importorskip().
Mixing hypothesis tests with non-hypothesis tests is tricky.
Hypothesis uses decorators before test commands:
@given(text())
@settings(max_examples=_max_examples)
Pytest runs the decorators and the arguments as part of scanning the
file for tests. This means the decorator (given, settings ...) and the
strategies inside the decorators (e.g. text()) have to be defined
using a lambda or something. Only aborting at the top of the file
using importorskip prevents having to define all the symbols that
would be imported from hypothesis.
| author | John Rouillard <rouilj@ieee.org> |
|---|---|
| date | Sun, 24 Mar 2024 13:49:52 -0400 |
| parents | 897c23876e9f |
| children | 3c514819c1b7 |
| files | test/test_hypothesis.py |
| diffstat | 1 files changed, 96 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/test/test_hypothesis.py Sun Mar 24 13:49:52 2024 -0400 @@ -0,0 +1,96 @@ +import unittest + +import pytest + +pytest.importorskip("hypothesis") + +# ruff: noqa: E402 +from hypothesis import example, given, settings +from hypothesis.strategies import binary, none, one_of, sampled_from, text + +from roundup.anypy.strings import b2s, s2b, s2u, u2s +# ruff: noqa: I001 - yes I know I am using \ to continue the line... +from roundup.password import PasswordValueError, encodePassword, \ + h64decode, h64encode + + +def Identity(x): + return x + + +_max_examples = 1000 + + +class HypoTestStrings(unittest.TestCase): + + @given(text()) + @settings(max_examples=_max_examples) + def test_b2s(self, utf8_bytes): + self.assertEqual(b2s(utf8_bytes.encode("utf-8")), utf8_bytes) + + @given(text()) + @settings(max_examples=_max_examples) + def test_s2b(self, s): + self.assertTrue(isinstance(s2b(s), bytes)) + + @given(text()) + @settings(max_examples=_max_examples) + @example("\U0001F600 hi there") # smiley face emoji + def test_s2u_u2s_invertable(self, s): + self.assertEqual(u2s(s2u(s)), s) + + +class HypoTestPassword(unittest.TestCase): + + @given(binary()) + @example(b"") + @settings(max_examples=_max_examples) + def test_h64encode_h64decode(self, s): + + self.assertEqual(h64decode(h64encode(s)), s) + + @given(one_of(none(), text()), + sampled_from(("PBKDF2S5", "PBKDF2", "SSHA", + "SHA", "MD5", "crypt", "plaintext", + "zot"))) + @example("asd\x00df", "crypt") + @settings(max_examples=100 * _max_examples) + def test_encodePassword(self, password, scheme): + + if scheme == "crypt" and password and "\x00" in password: + with self.assertRaises(ValueError) as e: + encodePassword(password, scheme) + self.assertEqual(e.exception.args[0], + "embedded null character") + elif scheme == "plaintext": + if password is not None: + self.assertEqual(encodePassword(password, scheme), password) + else: + self.assertEqual(encodePassword(password, scheme), "") + elif scheme == "zot": + with self.assertRaises(PasswordValueError) as e: + encodePassword(password, scheme) + self.assertEqual(e.exception.args[0], + "Unknown encryption scheme 'zot'") + else: + # it shouldn't throw anything. + pw = encodePassword(password, scheme) + + # verify format + if scheme in ["PBKDF2S5", "PBKDF2"]: + # 1000$XbSsijELEQbZZb1LlD7CFuotF/8$DdtssSlm.e + self.assertRegex(pw, r"^\d{4,8}\$.{27}\$.*") + elif scheme == "SSHA": + # vqDbjvs8rhrS1AJxHYEGGXQW3x7STAPgo7uCtnw4GYgU7FN5VYbZxccQYCC0eXOxSipLbtgBudH1vDRMNlG0uw== + self.assertRegex(pw, r"^[^=]*={0,3}$") + elif scheme == "SHA": + # da39a3ee5e6b4b0d3255bfef95601890afd80709' + self.assertRegex(pw, r"^[a-z0-9]{40}$") + elif scheme == "MD5": + # d41d8cd98f00b204e9800998ecf8427e' + self.assertRegex(pw, r"^[a-z0-9]{32}$") + elif scheme == "crypt": + # WqzFDzhi8MmoU + self.assertRegex(pw, r"^[A-z0-9./]{13}$") + else: + self.assertFalse("Unknown scheme: %s, val: %s" % (scheme, pw))
