Subject | English | Russian |
progr. | automated formal verification of software | автоматическая формальная верификация программного обеспечения (Alex_Odeychuk) |
progr. | deductive software verification | дедуктивная верификация программных систем (Alex_Odeychuk) |
softw. | in software verification scenarios | в целях верификации программного обеспечения (Microsoft Alex_Odeychuk) |
automat. | NC-verification software | программное обеспечение для верификации УП |
progr. | review of software verification methods | обзор методов верификации ПО (ssn) |
progr. | review of software verification methods | обзор методов верификации программного обеспечения (ssn) |
progr. | role of formal verification techniques in the context of software validation and testing | роль методов формальной верификации в контексте проверки соответствия и тестирования ПО (ssn) |
progr. | semi-automated formal verification of software | полуавтоматическая формальная верификация программного обеспечения (Alex_Odeychuk) |
tech. | software development and verification facilities | оборудование для разработки и проверки средств программного обеспечения |
mil., avia. | software development and verification facilities | оборудование для разработки и проверки средств программного обеспечения |
tech. | software development and verification system | система разработки и проверки средств программного обеспечения |
mil., avia. | software development and verification system | система разработки и проверки средств программного обеспечения |
progr. | software verification | верификация программного обеспечения системы (см. IEC 61508-7: 2010 ssn) |
progr. | software verification | верификация программных средств (ssn) |
progr. | software verification | верификация программных систем (Alex_Odeychuk) |
astronaut. | software verification | проверка ПО |
progr. | software verification | верификация программного обеспечения (компании AdaCore, North American Office Alex_Odeychuk) |
softw. | Software Verification and Testing | верификация и тестирование программного обеспечения (Litania) |
progr. | software verification and validation plan | план экспертизы программного обеспечения (этот план определяет, каким образом и в какой последовательности должны проверяться стадии проекта, а также сам продукт на соответствие поставленным требованиям. Верификация – это процесс проверки правильности сборки приложения; валидация проверяет тот факт, что собран требуемый продукт ssn) |
progr. | software verification methods | методы верификации ПО (ssn) |
progr. | software verification methods | методы верификации программного обеспечения (ssn) |
mil., avia. | software verification procedures | процедуры проверки программного обеспечения |
progr. | software verification process | процесс верификации программных средств (ssn) |
progr. | software verification process | процесс верификации программного обеспечения (Alex_Odeychuk) |
tech. | software verification readiness review | рассмотрение готовности к проверке средств программного обеспечения |
progr. | software verification task | задача верификации программного обеспечения (ssn) |
progr. | tool for software verification | инструментальное средство верификации программного обеспечения (Alex_Odeychuk) |
progr. | verification environment for high-integrity software | среда верификации программного обеспечения с высоким уровнем полноты безопасности (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
progr. | verification environment for high-integrity software | среда верификации высоконадёжного программного обеспечения (т.е. программного обеспечения с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) |
progr. | verification of asynchronous software systems | верификация асинхронных программных систем (ssn) |
progr. | verification of hardware and software | верификация аппаратуры и программного обеспечения (ssn) |
automat. | verification/optimization software | ПО для верификации и оптимизации (напр., УП ssn) |