| 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 |
| окончательная проверка программного обеспечения | final software test (тестирование системы на функционирование в соответствие с требованиями ssn) |
| проверка достоверности расчётов в программном коде | code validation (по соответствующим экспериментальным данным; компании AdaCore Alex_Odeychuk) |
| проверка модели программного обеспечения | software model checking (Microsoft Alex_Odeychuk) |
| проверка программного обеспечения | software test (окончательная ssn) |
| проверка разделения программного обеспечения на части | examination of the software separation (ssn) |
| проверка соответствия программного обеспечения формальным спецификациям | software validation (Alex_Odeychuk) |
| проверка соответствия результатов отдельных этапов разработки программной системы | conformance checking of results of separate phases of software development (ssn) |
| проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах | conformance checking of results of separate phases of software development to requirements and restrictions stated for these results on previous phases (верификация ssn) |
| проверка соответствия формальным спецификациям и тестирование программного обеспечения | software validation and testing (Alex_Odeychuk) |
| программная проверка | programmatically check (ssn) |
| программная проверка наличия перекрытий | programmatically check for overlaps (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) |
| утверждение в целях проверки корректности программного обеспечения | assertions for correctness (Alex_Odeychuk) |
