| Russian | English |
| алгоритм Эмерсона-Ли | Emerson and Lei algorithm (ssn) |
| Важным достоинством этого подхода является то, что полученная информация позволяет пользователю проверять, удовлетворяет ли эта модель различным ограничениям реального времени | an important benefit of this approach is that the information produced allows the user to check whether the model satisfies various real-time constraints (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| Имеются два вида тестирования, основанного на выполнении программы: тестирование на основе технических требований тестирование методом чёрного ящика и тестирование по исходным текстам тестирование методом белого ящика. Оба вида используют ту же самую стратегию задания программе входных данных и наблюдения, тот ли выходной результат получается, который ожидался | there are two kinds of execution-based testing: testing to specs black-box testing and testing to code whitebox testing. Both kinds use the same strategy of feeding the program with input data and observing if the output is as expected (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| итерация с выходной проверкой: данный конструктив состоит из процедурной части и управляющей части с одним условием, значение которого определяет, будет ли процедурная часть выполнена более одного раза | post-tested iteration: This construct consists of a procedure part and a control part with one condition, the value of which determines whether the procedure part is executed more than one (см. ISO/IEC 8631:1989 ssn) |
| критерии прохождения / непрохождения: правила для определения того, прошёл ли элемент тестирования функция или свойство тест или нет | pass/fail criteria: Decision rules used to determine whether a test item function or feature has passed or failed a test (см. IEEE 829, Standard glossary of terms used in Software Testing) |
| может ли событие наступить в этом состоянии | whether the event can possibly happen in that state (ssn) |
| Отдаёте ли вы себе в этом отчёт или нет, но значительная доля кода вашего приложения всегда будет связана с управлением его состояниями | Whether or not you realize it, a significant portion your application's code relates to managing its state (см. "Writing Mobile Code Essential Software Engineering for Building Mobile Applications" by Ivo Salmre 2005 ssn) |
| после каждой транзакции пользователь отвечает на вопрос, есть ли ещё данные для обработки | after entering each transaction, the user answers the question whether there are more entries to process |
| проверка того, готов ли новый символ | check if new character is ready (ssn) |
| проверяет, представляет ли очередная последовательность символов целое число или число с плавающей точкой | tests whether the next character sequence represents an integer or floating-point number (ssn) |
| проверяет, существует ли во входном потоке ещё одно слово | tests whether there is another word in the input (ssn) |
| стороннее приёмочное тестирование: приёмочное тестирование пользователями / заказчиками на своей стороне с целью определить удовлетворяют ли компонент или система надобностям пользователя / заказчика и соответствующим требованиям в рамках бизнес-процессов. Обычно включает в себя проверку, как программного обеспечения, так и аппаратных средств | site acceptance testing: Acceptance testing by users/customers at their site, to determine whether or not a component or system satisfies the user/customer needs and fits within the business processes, normally including hardware as well as software (см. Standard glossary of terms used in Software Testing) |
| так ли необходимы саsе-классы? | are case classes evil? |
| указывать, задана ли текущая дата | indicate if the current day has been set (ssn) |
| управляющая часть с одним условием, значение которого определяет, будет ли процедурная часть выполнена более одного раза | control part with one condition, the value of which determines whether the procedure part is executed more than one (ssn) |