Внешние символы (external symbol)
символы, к которым есть обращения в данном модуле, но определены они в ином модуле1 .
условия, при выполнении которых (временно) приостановливается тестирование, полностью или частично.
символы, к которым есть обращения в данном модуле, но определены они в ином модуле1 .
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
протокол передачи гипертекста.