Subject | English | Russian |
progr. | algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata | алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов (ssn) |
mining. | centrifugal testing of models | центробежное моделирование |
progr. | excellent model for testing menu-driven applications | превосходная модель для проверки приложений, управляемых через меню (ssn) |
oil | fault-testing model | модель испытаний до отказа |
O&G | ice model testing facility | ледовая опытовая лаборатория (Johnny Bravo) |
progr. | model based testing | тестирование программ на основе построения моделей (ssn) |
progr. | model based testing | тестирование на основе построения моделей (ssn) |
progr. | model based testing | модельное тестирование (подход в тестировании, при котором строится математическая модель всей системы, а тестирование проводится по построенной модели ssn) |
progr. | model driven testing | тестирование на основе моделей (ssn) |
progr. | model for testing menu-driven applications | модель для проверки приложений, управляемых через меню (ssn) |
automat. | model of the system used for testing purposes | модель системы, используемая для целей отладки (ssn) |
mil., tech. | model testing | испытание конструкции при помощи модели |
tech. | physical model testing | испытание методом физического моделирования |
mil., tech. | model testing | моделирование (конструкции) |
Makarov. | model testing | испытание методом моделирования |
tech. | model testing basin | опытовый бассейн |
nautic. | model testing basin | испытательный бассейн |
progr. | model-based testing | тестирование программ на основе построения моделей (ssn) |
progr. | model-based testing | тестирование на основе построения моделей (ssn) |
progr. | model-based testing | модельное тестирование (ssn) |
progr. | model-based testing | тестирование на основе моделей (ssn) |
progr. | model-driven testing | тестирование на основе моделей (ssn) |
nautic. | model-propeller testing | испытания моделей гребных винтов |
aerohydr. | model-testing tank | опытовый бассейн для испытаний моделей |
seism. | paraseismic testing of model structures | испытание моделей сооружений при нагрузках типа сейсмических |
Makarov. | physical model testing | испытание методом физического моделирования |
nautic. | ship structural model testing facility | стенд для испытания на прочность моделей корабельных конструкций |
construct. | test a model | испытать модель |
econ. | test a model | испытывать модель |
Makarov. | test a model | устанавливать соответствие модели (принятой гипотезе) |
Makarov. | test a model of an airplane, a car etc. in a wind tunnel | продувать в аэродинамической трубе модель самолёта, автомобиля (и т.п.) |
Makarov. | test model | устанавливать соответствие модели (принятой гипотезе) |
busin. | test-drive a model | обкатывать модель (автомобиля) |
busin. | test-drive a model | совершать пробную поездку на модели (автомобиля) |
avia. | testing a model in the wind | продувающий модель |
avia. | testing a model in the wind | продувание модели |
progr. | testing maturity model | модель зрелости тестирования (ssn) |
O&G, oilfield. | testing model | модель для испытаний |
Makarov. | testing model | тестовая модель |
Makarov. | testing model | испытательная модель |
progr. | testing of abstract models | тестирование абстрактных моделей (ssn) |
patents. | testing of experimental models | испытание опытных образцов |
tech. | thermal model testing | тепловое моделирование |
aerodyn. | tunnel free-flight model testing | испытание модели в свободном полёте в аэродинамической трубе |