EM-TEC-08 · Предметная модель · W1
Испытание, проверка и дефект
Спецификация теста, запуск, результат, доказательства и дефект как утверждение о несоответствии. Рабочая задача исправления имеет независимый жизненный цикл.
В очереди исследования
Claude: not-started; Grok: not-started.
Entire research brief pending
Предметная граница и кандидатные типы
- TestSpecification
- TestRun
- TestResult
- Defect
- VerificationEvidence
Вопросы глубокого исследования
- Как отделить ожидаемое поведение от тестовой реализации?
- Когда провал теста является дефектом продукта, а когда теста?
- Как связать проверку с точной версией?
Проверяемые инварианты
- Run закрепляет объект проверки и среду
- Flaky не означает passed
- Defect содержит наблюдаемое и ожидаемое
Сквозной приёмочный сценарий
Один дефект с несколькими тестами, flaky запуск и повторная проверка другой версии сохраняют раздельные выводы.
Отрицательный пример
Исправленный тест автоматически закрывает производственный дефект.
Сопоставляемые подходы
- AISMM/WM-SFT и ArchiMate: продукт, система и архитектура
- CSDM: business application, service и runtime instance
- SPDX/OpenTelemetry/Google SRE: поставка, наблюдение и надёжность; выбирать по границе
Кандидаты в действующем каталоге
- WM-SFT-015 · Test Case / Test Result · 0.3.0-research.1 · доступна для установки
Смысловое соответствие требует исследования границ; наличие опубликованной модели не завершает эту карточку.
Требования к результату
Каждая карточка исполняется вместе с полным контрактом исследования: определения, поля и кратности, жизненный цикл, источники, мастерство данных, права, пять граней объекта, минимум восемь инвариантов, положительные и отрицательные примеры, зависимости, миграция и ограничения применимости.