8.12.2011 |
20:50:34 |
progr. |
recursive procedures |
рекурсивные процедуры |
8.12.2011 |
20:48:24 |
progr. |
register usage conventions |
соглашения об использовании регистров |
8.12.2011 |
20:43:29 |
progr. |
transferring control |
передача управления |
8.12.2011 |
3:03:54 |
progr. |
storage technologies |
технологии сохранения (информации) |
8.12.2011 |
2:55:58 |
progr. |
stack frame structure |
структура стекового фрейма |
8.12.2011 |
2:52:11 |
progr. |
stack frame |
фрейм стека (часть стека, выделяемая процедуре в момент её активации для хранения локальных переменных, т.е. область стека, связанная с конкретным вызовом процедуры или функции) |
8.12.2011 |
2:52:11 |
progr. |
stack frame |
блок данных о переменных в области действия идентификатора и о связях |
8.12.2011 |
2:47:29 |
progr. |
data movement instructions |
команды перемещения данных |
8.12.2011 |
2:36:27 |
progr. |
accessing information |
доступ к информации |
8.12.2011 |
2:36:27 |
progr. |
accessing information |
доступ к данным |
8.12.2011 |
2:34:09 |
progr. |
data formats |
форматы данных |
8.12.2011 |
2:31:55 |
progr. |
machine-level code |
программный код машинного уровня |
8.12.2011 |
2:31:55 |
progr. |
machine-level code |
код машинного уровня |
8.12.2011 |
2:26:58 |
progr. |
program encoding |
кодирование программ |
8.12.2011 |
2:22:07 |
progr. |
fractional binary number |
дробное двоичное число |
8.12.2011 |
2:20:28 |
progr. |
fractional binary numbers |
дробные двоичные числа |
8.12.2011 |
2:15:35 |
progr. |
dividing by powers of two |
деление на степени двух |
8.12.2011 |
2:12:47 |
progr. |
multiplying by powers of two |
умножение на степени двух |
8.12.2011 |
2:10:36 |
progr. |
powers of two |
степени двойки |
8.12.2011 |
1:53:42 |
progr. |
two's complement negation |
отрицание в дополнительном двоичном коде |
8.12.2011 |
1:50:16 |
progr. |
two's complement multiplication |
умножение в дополнительном двоичном коде |
8.12.2011 |
1:32:34 |
progr. |
unsigned addition |
сложение без знака |
8.12.2011 |
1:32:34 |
progr. |
unsigned addition |
сложение чисел без знака |
8.12.2011 |
1:32:34 |
progr. |
unsigned addition |
беззнаковое сложение |
8.12.2011 |
1:15:11 |
progr. |
unsigned multiplication |
умножение без знака |
8.12.2011 |
1:15:11 |
progr. |
unsigned multiplication |
умножение чисел без знака |
8.12.2011 |
1:15:11 |
progr. |
unsigned multiplication |
беззнаковое умножение |
8.12.2011 |
1:14:06 |
progr. |
unsigned addition |
приращение без знака |
7.12.2011 |
3:23:07 |
progr. |
structured software |
структурное ПО |
7.12.2011 |
3:21:51 |
progr. |
structured software |
структурное программное обеспечение |
7.12.2011 |
3:18:02 |
progr. |
repetitive process |
повторяющийся процесс |
7.12.2011 |
3:12:12 |
progr. |
process within a loop |
процесс внутри цикла |
7.12.2011 |
3:09:46 |
progr. |
pointer error |
ошибка указателя |
7.12.2011 |
3:04:42 |
progr. |
memory boundary bug |
ошибка границ в памяти |
7.12.2011 |
3:03:05 |
progr. |
boundary bug |
ошибка границ (напр., в памяти) |
7.12.2011 |
2:56:09 |
progr. |
file length |
длина файла |
7.12.2011 |
2:54:35 |
progr. |
enter a loop |
ввод цикла |
7.12.2011 |
2:52:54 |
progr. |
enter |
ввод |
7.12.2011 |
2:41:55 |
progr. |
crash |
отказ |
7.12.2011 |
2:38:27 |
progr. |
corrupt |
повреждённый |
7.12.2011 |
2:37:00 |
progr. |
corrupt |
повреждение (данных) |
7.12.2011 |
2:23:26 |
progr. |
syntax graph |
синтаксический граф |
7.12.2011 |
2:17:12 |
progr. |
simple predicate |
простой предикат |
7.12.2011 |
2:15:22 |
progr. |
transaction split |
разделение транзакций |
7.12.2011 |
2:05:45 |
progr. |
logical model program |
логическая модельная программа |
7.12.2011 |
2:03:01 |
progr. |
junction |
объединяющий (напр., узел) |
7.12.2011 |
2:02:11 |
progr. |
junction node |
объединяющий узел |
7.12.2011 |
1:55:53 |
progr. |
complementary path segment |
комплементарный сегмент пути |
6.12.2011 |
3:44:55 |
progr. |
bug assumptions |
предположения об ошибках |
6.12.2011 |
3:41:49 |
progr. |
control-flow behavioral testing |
поведенческое тестирование потока управления |
6.12.2011 |
3:38:14 |
progr. |
application indicators |
индикаторы приложений |
6.12.2011 |
3:35:47 |
progr. |
application consideration |
рассмотрение приложения |
6.12.2011 |
3:29:20 |
progr. |
no inspection verification |
контроль без приёмочных испытаний (сокр. NIV) |
6.12.2011 |
3:25:40 |
progr. |
layered biometric verification |
многоуровневая биометрическая проверка (сокр. LBV) |
6.12.2011 |
3:22:12 |
progr. |
layered verification |
многоуровневая проверка |
6.12.2011 |
3:21:18 |
progr. |
iris verification |
верификация радужной оболочки |
6.12.2011 |
3:20:06 |
progr. |
functional equivalence verification |
верификация функциональной эквивалентности |
6.12.2011 |
3:18:49 |
progr. |
functional equivalence |
функциональная эквивалентность |
6.12.2011 |
3:16:32 |
progr. |
functional correctness verification |
верификация функциональной корректности |
6.12.2011 |
3:15:49 |
progr. |
functional correctness |
функциональная корректность |
6.12.2011 |
3:13:29 |
progr. |
finger-print verification |
верификация отпечатков пальцев |
6.12.2011 |
3:12:56 |
progr. |
face verification |
верификация лица |
6.12.2011 |
3:11:58 |
progr. |
cookie verification |
верификация по данным типа "cookie" |
6.12.2011 |
3:09:23 |
progr. |
biometric verification |
биометрическая верификация |
6.12.2011 |
3:07:27 |
progr. |
automated verification |
автоматизированная проверка |
6.12.2011 |
3:06:36 |
progr. |
automated verification |
автоматическая верификация |
6.12.2011 |
3:00:01 |
progr. |
probabilistic verification |
проверка по вероятности |
6.12.2011 |
3:00:01 |
progr. |
probabilistic verification |
вероятностная верификация |
6.12.2011 |
2:54:26 |
progr. |
fault verification |
контроль неисправностей |
6.12.2011 |
2:47:19 |
progr. |
design verification |
проверка соблюдения требований проектного задания (определение соответствия функционирования схемы (системы) в соответствии со спецификацией на неё. Методы верификации делятся на статические (см. formal verification) и динамические – с помощью прогона набора тестов) |
6.12.2011 |
2:44:03 |
progr. |
data-path verification |
верификация трактов прохождения данных |
6.12.2011 |
2:39:41 |
progr. |
bit-level verification |
контроль на битовом уровне |
6.12.2011 |
2:38:43 |
progr. |
path verification |
проверка соответствия пути (при проведении тестирования) |
6.12.2011 |
2:34:36 |
progr. |
actual program |
конечная программа |
6.12.2011 |
2:31:02 |
progr. |
forced easy cases |
выбор простых вариантов |
6.12.2011 |
2:27:52 |
progr. |
easy cases |
простые варианты |
6.12.2011 |
2:27:23 |
progr. |
easy case |
простой вариант |
6.12.2011 |
2:09:01 |
progr. |
realistic tests |
реалистичные тесты |
6.12.2011 |
2:08:26 |
progr. |
realistic test |
реалистичный тест |
6.12.2011 |
1:43:53 |
progr. |
prototypes and model programs |
прототипы и модельные программы |
6.12.2011 |
1:42:26 |
progr. |
model programs |
модельные программы |
6.12.2011 |
1:41:47 |
progr. |
model program |
модельная программа |
6.12.2011 |
1:36:28 |
progr. |
old program |
старая программа |
6.12.2011 |
1:33:04 |
progr. |
existing tests |
существующие тесты |
6.12.2011 |
1:31:56 |
progr. |
outcome prediction |
предсказание итогов |
6.12.2011 |
1:27:21 |
progr. |
equivalent predicate |
эквивалентный предикат |
6.12.2011 |
1:23:48 |
progr. |
predicate interpretation |
интерпретация предиката (предикат считается интерпретированным, если он выражен через входные значения. Интерпретация предиката зависит от выбора пути. Это означает, что можно получить эквивалентный предикат, следуя в вычислениях по определенному пути, ведущему к этому предикату. См. Black-box testing: techniques for functional testing of software and systems by Boris Beizer (1995)) |
6.12.2011 |
1:14:38 |
progr. |
logic sensitization |
логическая активизация |
6.12.2011 |
0:53:45 |
progr. |
sensitization algorithm |
алгоритм активизации |
6.12.2011 |
0:51:41 |
progr. |
application knowledge |
знание приложения |
6.12.2011 |
0:48:06 |
progr. |
algebraic sensitization |
алгебраическая активизация |
6.12.2011 |
0:44:55 |
progr. |
sensitizing procedure |
процедура активизации |
6.12.2011 |
0:42:25 |
progr. |
sensitizing the model's logic |
активизация логики в модели |
6.12.2011 |
0:34:52 |
gen. |
sensitizing |
повышение чувствительности |
6.12.2011 |
0:28:37 |
progr. |
finding input values |
поиск входных значений (напр., при которых (в случае отсутствия в реализации ошибок) в модели будет пройден выбранный путь) |
6.12.2011 |
0:19:23 |
progr. |
hint here |
небольшая подсказка |
6.12.2011 |
0:11:46 |
progr. |
next segment |
следующий сегмент |
6.12.2011 |
0:08:36 |
progr. |
select test paths |
выбор путей тестирования |
6.12.2011 |
0:06:58 |
progr. |
test paths |
пути тестирования |