OxL Справочник OxL
РусскийEnglish

kw test

Зарезервированное слово

Список слов: §1.4

Синтаксис

ebnf
Test        = "test" [ TestKind ] StrLit [ "with" EnvList ] [ "seeds" Expr ] Block ;

Грамматика: Прил. A

Определяется в

  • 18.5 A/B-тесты — В oxl test эксперимент прогоняется на записанном трафике и сравнивает метрики вариантов со статистической значимостью.
  • 18.1 Объявление теста — Форма: атрибуты* test вид?
  • 18.4 Симуляция — В sim детерминированы планировщик, сеть, часы, случайность и отказы диска; результат зависит только от seed.
  • 0.2 Нотация — Грамматика записана в EBNF (приложение A)
  • 6.7 Контракты — requires проверяется при входе, ensures — при выходе (result — возвращаемое значение, old(e) — значение e на входе), invariant (§4.2) — посл
  • 18.2 Утверждения и фикстуры — assert expr выполняется во всех профилях, включая prod (профили отключают только контракты, §6.7, и вывод dbg, §2.2); при падении печатает з
  • 1.4 Ключевые слова — Зарезервированные (нельзя использовать как имена)

Примеры

oxl
test ab "search v2" {
  variant a = oldSearch
  variant b = newSearch
  split by .User 50/50
  metric ctr, latency.p95
  guard latency.p95 < SEARCH_P95_LIMIT
  traffic recorded("traffic/search.oxlrec")
}

— 18.5 A/B-тесты

oxl
@tag(slow, db)
test integ "order flow" with cluster(nodes: 3) { … }

— 18.1 Объявление теста

Связанные диагностики

ab-test-decl, test-decl, contract, fixture-yield

См. также