Terms for subject Programming containing model testing

English	Russian
algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata	алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов (ssn)
excellent model for testing menu-driven applications	превосходная модель для проверки приложений, управляемых через меню (ssn)
model based testing	тестирование на основе построения моделей (ssn)
model based testing	тестирование программ на основе построения моделей (ssn)
model based testing	модельное тестирование (подход в тестировании, при котором строится математическая модель всей системы, а тестирование проводится по построенной модели ssn)
model driven testing	тестирование на основе моделей (ssn)
model for testing menu-driven applications	модель для проверки приложений, управляемых через меню (ssn)
model-based testing	тестирование программ на основе построения моделей (ssn)
model-based testing	модельное тестирование (ssn)
model-based testing	тестирование на основе построения моделей (ssn)
model-based testing	тестирование на основе моделей (ssn)
model-driven testing	тестирование на основе моделей (ssn)
testing maturity model	модель зрелости тестирования (ssn)
testing of abstract models	тестирование абстрактных моделей (ssn)