|
|
|
|
|
|
|
|
|
Assertion checker
| Глоссарий терминов по информационной безопасности |
|
Верификатор условий, русский
Программа, анализирующая текст другой программы, снабженной условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях.
Блок проверки утверждения; ревизор утверждений; блок контроля утверждений;, русский
Программа верификации;, русский
|
Assert, английский
Утверждать; предполагать; высказывать
Assert (to), английский
Assert statement, английский
A boolean statement used in a program to test a condition that, if the program is operating correctly, should always evaluate as true; otherwise the program will typically terminate with an appropriate error message. assertions are used for debugging programs and for documenting how a program should operate.
Assertio [onis, f], латинский
Assertion, английский
- Утверждение
- N утверждение; ассерция
- In a knowledge base, logic system, or ontology, an assertion is any statement that is defined a priori to be true. this can include things such as axioms, values, and constraints. see also: ontology, axiom.
Assertion box, английский
Вводящий блок
Assertion failure, английский
The inability of a condition to hold true at some particular point in a program. when a condition does not hold true, execution of the program is interrupted, and a dialog box or message may appear.
Assertion operator, английский
Оператор контроля
Assertion statement, английский
- Оператор контроля
- A boolean statement used in a program to test a condition that, if the program is operating correctly, should always evaluate as true; otherwise the program will typically terminate with an appropriate error message. assertions are used for debugging programs and for documenting how a program should operate.
Assertional database, английский
База данных для утверждений
Assertive, английский
A утвердительный; ассертивный assibilant n асибилянт
Assertor [oris, m], латинский
Check, английский
- Проверить
- Splitting of the wood in logs or lumber, often the result of drying (8).
- A separation of fibres along the grain forming a fissure, but not extending through the piece from face to face. checks commonly resulting from stresses built up during seasoning. they run radially, across the growth rings.
- A lengthwise separation of the wood that usually extends across the rings of annual growth and commonly results from stresses set up in wood during seasoning.
- (see bowline.) to slack off a little upon it, and belay it again. usually done when the wind is by, or as long as she can lay her course without the aid of the bowline.—to check is to slacken or ease off a brace, which is found to be too stiffly extended, or when the wind is drawing aft. it is also used in a contrary sense when applied to the cable running out, and then implies to stopper the cable.—check her, stop her way.
- See, look, pay attention. e.g., check here my china, this is my chick, so back off. and, check this weird looking butterfly.
- A bill of exchange representing a draft on a bank from deposited funds that pays a certain sum of money to a certain person or party.
- Валик контурного чека, перпендикулярный направлению горизонталей
Check, английский
Check, шведский
Check (bank), английский
Check (money), английский
Чек
Check (restaurant), английский
Check (verb), английский
Проверить
Check (x), английский
Отметить
|
Верификация программ, русский
Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нееожидается. еще - доказательство того, что поведение программы соответствует спецификации на эту программу (дсту 2873).
Верификатор условий, русский
Программа, анализирующая текст другой программы, снабженной условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях.
|
|
|
|
|
|
|
