Russian | English |
в ещё одном аспекте для программного компонента системы UM, такого как внешний метод, функция, переменная или действие, среда программирования использует инструментальное средство XML функции-обёртки для проверки существования такого внешнего программного компонента системы UM во время компоновки и получает информацию о версии, которая служит для проверки доступности этой же версии при выполнении. Таким образом, гарантируется целостность системы | in yet another aspect, for a UM software component such as an external method, function, variable or action, the programming environment utilizes a function wrapping XML tool to validate the existence of such external UM software components at build-time and captures version information that serves to verify the availability of the same version upon execution. Thereby, system integrity is assured |
метод проверки | scan method (ssn) |
метод проверки | screening method (ssn) |
метод проверки | verification technique (ssn) |
метод проверки допусков | tolerance checking method (ssn) |
метод проверки допусков | tolerance check method (ssn) |
метод проверки моделей | model checking method (ssn) |
метод проверки моделей | model checking technique (ssn) |
методы, используемые для анализа пространственного состояния системы с целью проверки достоверности её определённых характеристик | techniques used to explore the state-space of a system to test whether or not certain properties (ssn) |
Framework Class Library предоставляет много готовых классов с методами для выполнения стандартных математических вычислений, манипуляций со строками, операций ввода-вывода, операций с базами данных, сетевых операций, обработки файлов, проверки ошибок и т.д. | the Framework Class Library provides many predefined classes that contain methods for performing common mathematical calculations, string manipulations, input/output operations, database operations, networking operations, file processing, error checking and more (см. Deitel P., Deitel. H. – Visual C# 2012 How to Program, 5Ed. – 2013) |
проверка вызова методов имитирующего объекта | verification of mock method calls (Alex_Odeychuk) |
проверка напр. правильности счёта методом дублирования | twin check (ssn) |
проверки на возникновение ошибок во время выполнения наиболее часто вызываемых методов | error checking during the execution of the most frequently called members (ssn) |
протокол защиты от несанкционированного доступа методом многоуровневой проверки с сопровождением состояния | stateful multilayer inspection (на сервере ssn) |
протокол защиты от несанкционированного доступа методом многоуровневой проверки с сопровождением состояния | stateful multi-layer inspection (на сервере ssn) |
роль методов формальной верификации в контексте проверки соответствия и тестирования ПО | role of formal verification techniques in the context of software validation and testing (ssn) |