 |
| Russian | English |
| метод проверки моделей | model checking (позволяет осуществить автоматизированный перебор всех возможных вариантов выполнения программы, но применим только в случае, когда программа принимает конечное число состояний Alex_Odeychuk) |
| метод с реализацией в неуправляемом коде | native method (IBM Alex_Odeychuk) |
| модифицированный метод покрытия условий и альтернатив | modified condition/decision coverage (Для обеспечения полного покрытия по этому методу необходимо выполнение следующих условий: 1) каждое логическое условие должно принимать все возможные значения; 2) каждый компонент логического условия должен хотя бы один раз принимать все возможные значения; 3) должно быть показано независимое влияние каждого из компонентов на значение логического условия, т.е. влияние при фиксированных значениях остальных компонентов. Покрытие по этой метрике требует достаточно большого количества тестов для того, чтобы проверить каждое условие, которое может повлиять на результат выражения, однако это количество значительно меньше, чем требуемое для метода покрытия по всем условиям.  nasa.gov Alex_Odeychuk) |
| модифицированный метод покрытия условий и альтернатив | MC/DC (сокр. от "modified condition/decision coverage" Alex_Odeychuk) |
| программный метод конечных элементов SAMCEF | SAMCEF Finite Element Analysis software (MichaelBurov) |