Assertion – инструмент для качественного тестирования ПО

Assertion (утверждение) - это проверка предположения о том, что определенное выражение в коде верно. Assertion - это инструмент, используемый для обеспечения корректности кода, и он широко применяется в тестировании программного обеспечения для проверки того, что код работает должным образом.

В Python утверждение представлено функцией assert. Это простейший тип assertion, который позволяет проверять, что выражение истинно. Если утверждение ложно, то функция assert вызовет исключение AssertionError.

Вот пример простого использования функции assert:

x = 5
assert x == 5 # True
assert x == 6 # AssertionError

В данном примере дважды вызывается функция assert. Первый раз она проверяет, что значение переменной x равно 5. Это утверждение верно, и программа продолжается выполнение. Но второй вызов assert проверяет, что значение переменной x равно 6, что не соответствует истине. В этом случае функция assert вызывает исключение AssertionError, и программа останавливается.

Есть еще один тип assertion, который называется assertRaises. Он используется для проверки того, что определенная функция вызывает исключение. Например, вот так можно проверить, что при делении на ноль функция div(a, b) вызывает исключение ZeroDivisionError:

def div(a, b):
    return a / b
assertRaises(ZeroDivisionError, div, 5, 0)

В этом примере мы передаем функции assertRaises три аргумента: тип исключения, которое должна вызвать функция div (ZeroDivisionError), функцию, которую мы хотим проверить (div), и ее аргументы (5 и 0). Если функция div вызывает исключение ZeroDivisionError, то утверждение считается истинным.

Assertion - это мощный инструмент для проверки кода, и он может быть полезен не только при тестировании, но и при отладке программного обеспечения. Однако его следует использовать с осторожностью, поскольку его неправильное использование может привести к сбоям в работе программы.