| English | Russian |
| assertion-based | на основе утверждений (ssn) |
| assertion-based verification | верификация на основе утверждений (ssn) |
| assertion box | ящик утверждения (ssn) |
| assertion checker | программа подтверждения отсутствия ошибок (ssn) |
| assertion checking | проверка отсутствия ошибок (ssn) |
| assertion checking | проверка утверждений (ssn) |
| assertion library | библиотека для проверки утверждений (для тестирования программного обеспечения; англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| assertion method | метод с утверждением (на этапе тестирования программы  williamspublishing.com owant) |
| assertion of consequent | доказательство истинности основания методом обращения следствия (логическая ошибка ssn) |
| assertion operator | оператор подтверждения отсутствия ошибок (ssn) |
| assertion provided by the user | утверждение, заданное пользователем (Microsoft Alex_Odeychuk) |
| assertion set | множество фактов (ssn) |
| assertion set as array | множество фактов как массив (ssn) |
| assertion set as data structure | множество фактов как структура данных (ssn) |
| assertion set as input-output | множество фактов как входные и выходные данные (ssn) |
| assertion statement | оператор утверждения (ssn) |
| assertion statement | оператор подтверждения отсутствия ошибок (ssn) |
| assertions for correctness | утверждение в целях проверки корректности программного обеспечения (Alex_Odeychuk) |
| assertions to document programs | утверждения для документирования программ (ssn) |
| attribute value assertion | проверка значения атрибута (ssn) |
| built-in assertion | встроенное утверждение (ssn) |
| checking of assertion sets | контроль множеств фактов (ssn) |
| concept of assertions | концепция утверждений (Alex_Odeychuk) |
| concurrent assertion statement | параллельный оператор утверждения (ssn) |
| conditional assertion | условное утверждение (ssn) |
| failure assertion | с проверкой ошибок (e.g., failure assertion programming – программирование с проверкой ошибок Alex_Odeychuk) |
| failure assertion programming | программирование с проверкой ошибок (ssn) |
| finite failure assertion set | множество фактов финитно-неудачных вызовов (ssn) |
| formal assertion | формальное высказывание (ssn) |
| formal assertions about the typing of programs | формальные высказывания о типах в программах (ssn) |
| Furthermore, assertions/properties can be used to describe both expected and prohibited behavior | Кроме того, утверждения / свойства могут использоваться для описания как ожидаемых, так и запрещённых сценариев поведения (устройства; см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield (2004)) |
| grouped assertion | групповое утверждение (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| in such a Semantic Web of relational data and logical assertions, computer logic is in its element, and can do much more | в таком Семантическом Вебе связанной информации и логических суждений компьютерная логика является составляющим элементом и может сделать гораздо больше (ssn) |
| introduce assertion | введение утверждения (ssn) |
| logical assertion | логическое высказывание (ssn) |
| logical assertion | логическое суждение (ssn) |
| logical assertions | логические высказывания (ssn) |
| logical assertions | логические суждения (ssn) |
| make assertions about the class | позволять судить о классе (ssn) |
| not-null assertion operator | оператор проверки на непустое значение (kotlinlang.org Alex_Odeychuk) |
| post assertion | пост-условие (ssn) |
| postcondition: assertion that pertains to a point immediately following, in the execution sequence, a specified portion of a program | постусловие: оператор условия, относящийся к точке, находящейся непосредственно за указанным фрагментом программы в последовательности выполнения (ISO/IEC 2382:2015 ssn) |
| pre and post assertions | пред-и пост-условия (ssn) |
| pre assertion | предусловие (ssn) |
| specification and assertion language | язык SPECIAL (ssn) |
| specification and assertion language | язык спецификаций и утверждений (ssn) |
| static assertion | проверка во время компиляции (Alex_Odeychuk) |
| taking an assertion out of a loop | вынесение утверждения из цикла (ssn) |
| test assertion | тестовое утверждение (williamspublishing.com owant) |
| three kinds of assertions | утверждения трёх типов (ssn) |
| Thus, assertions/properties allow you to describe the behavior of a time-based system in a formal and rigorous manner | Таким образом, утверждения / свойства позволяют описывать поведение контролируемой по времени системы в формальной и строгой форме (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004) |
| type assertion | утверждение типа (Alex_Odeychuk) |
| type assertion | утверждение о типе (Alex_Odeychuk) |
| using assertions to document programs | использование утверждений для документирования программ (ssn) |
| weakened assertions | ослабленные утверждения (ssn) |
| writing assertions | запись утверждений (ssn) |
| writing assertions as program comments | запись утверждений в виде комментариев (ssn) |
| zero-width assertion | утверждение нулевой длины (dimock) |
