URS & FS — спецификация пользователя и функциональная спецификация
Документ описывает контролируемый интерфейс и поведение утилиты SmartVaccinationBatchTraceabilityUtility для сценария Smart Vaccination Batch Traceability Utility.
Предметные ограничения и критические параметры
Ниже приведены ключевые фрагменты исходного описания. Перед продуктивным применением пределы должны быть сверены с утверждённой спецификацией, регистрационным досье и локальными SOP.
- ℹ️ Утилита выполняет комплексную проверку готовности конкретной дозы вакцины к введению, интегрируя данные IoT-мониторинга и медицинские назначения согласно WHO Global Vaccine Action Plan:
- ⚠️ ВАЖНО:
- SerialNumber,BatchNumber,ProductName,ExpiryDate,MaxTempRecorded_C,MinTempRecorded_C,AllowedMaxTemp_C,AllowedMinTemp_C,IsOpened,OpenedTime,DiscardAfterHours,PatientID
- Это критически важно для сохранения доверия к программам иммунизации и предотвращения введения неэффективных препаратов.
- ⚠️ КРИТИЧЕСКИ ВАЖНО:
- Критические параметры:
- • Max/Min Temp: В пределах 2-8°C (или как указано производителем)
- • Hours Since Open: < 6 или 24 часов (в зависимости от типа)
- 3. Обучение: Медперсонал должен понимать важность каждого предупреждения системы.
URS — пользовательские требования
| ID | Требование | Критичность | Критерий приемки |
|---|
| URS-001 | Утилита должна принимать файл input.csv для Smart Vaccination Batch Traceability Utility с заголовками, определёнными в контракте данных. | High | Файл обрабатывается без ручного изменения заголовков. |
| URS-002 | Утилита должна выполнять детерминированную оценку QC/ОКК без машинного обучения и без вероятностного принятия решения о соответствии. | High | При одинаковых входных данных, версии правил и конфигурации результат полностью воспроизводим. |
| URS-003 | Утилита должна валидировать обязательные поля, типы данных, диапазоны, единицы измерения и предметную правдоподобность значений. | High | Ошибки схемы, преобразования и диапазона явно отражаются в результате. |
| URS-004 | Утилита должна применять предметные пределы и правила из описания, утверждённой спецификации, регистрационного досье и локальных SOP. | High | Каждая проверка имеет результат PASS/WARNING/FAIL и понятное сообщение. |
| URS-005 | Утилита должна формировать output.json с машинно-читаемыми результатами, исходными значениями, предупреждениями, отказами и критическими находками. | High | JSON пригоден для LIMS/ELN/MES-интеграции и QA/QC review. |
| URS-006 | Утилита должна сохранять трассируемость между серией/образцом, входным файлом, применёнными правилами и итоговым статусом. | High | Выход содержит идентификаторы, список параметров и audit metadata. |
| URS-007 | Документация должна поддерживать подготовку IQ/OQ/PQ, CSV/CSA и обсуждение с инспекторами или внутренним QA. | Medium | URS, FS, контракт input/output и тестовые сценарии поставляются вместе с утилитой. |
| URS-008 | Утилита должна использоваться как decision-support инструмент QC, а не как замена утверждённым спецификациям и выпускному решению Qualified Person/QA. | Medium | В документации указан контроль change control и необходимость сверки пределов. |
Контракт input.csv
| # | Поле | Тип | Пример | Назначение |
|---|
| 1 | SerialNumber | string / controlled vocabulary | SN-VAC-2026-001 | Контролируемый входной параметр для детерминированных QC-правил. |
| 2 | BatchNumber | string / controlled vocabulary | BATCH-2026-A | Идентификатор серии/партии для трассируемости. |
| 3 | ProductName | string / controlled vocabulary | Influenza Vaccine | Наименование продукта или проверяемой лекарственной формы. |
| 4 | ExpiryDate | string / controlled vocabulary | 2026-12-31 | Контролируемый входной параметр для детерминированных QC-правил. |
| 5 | MaxTempRecorded_C | decimal | 6.5 | Температурный профиль/MKT; параметр хранения, перевозки и стабильности. |
| 6 | MinTempRecorded_C | decimal | 3.0 | Температурный профиль/MKT; параметр хранения, перевозки и стабильности. |
| 7 | AllowedMaxTemp_C | decimal | 8.0 | Температурный профиль/MKT; параметр хранения, перевозки и стабильности. |
| 8 | AllowedMinTemp_C | decimal | 2.0 | Температурный профиль/MKT; параметр хранения, перевозки и стабильности. |
| 9 | IsOpened | string / controlled vocabulary | false | Контролируемый входной параметр для детерминированных QC-правил. |
| 10 | OpenedTime | string / controlled vocabulary | 2026-01-01 | Временной параметр процесса, инкубации, хранения или анализа. |
| 11 | DiscardAfterHours | integer / decimal | 0 | Временной параметр процесса, инкубации, хранения или анализа. |
| 12 | PatientID | string / controlled vocabulary | PAT-12345 | Контролируемый входной параметр для детерминированных QC-правил. |
SerialNumber,BatchNumber,ProductName,ExpiryDate,MaxTempRecorded_C,MinTempRecorded_C,AllowedMaxTemp_C,AllowedMinTemp_C,IsOpened,OpenedTime,DiscardAfterHours,PatientID
SN-VAC-2026-001,BATCH-2026-A,Influenza Vaccine,2026-12-31,6.5,3.0,8.0,2.0,false,2026-01-01,0,PAT-12345
SN-VAC-2026-002,BATCH-2026-B,MMR Vaccine,2026-05-01,5.0,2.5,8.0,2.0,true,2026-06-08 08:00:00,6,PAT-67890
SN-VAC-2026-003,BATCH-2026-C,Hepatitis B,2027-01-15,9.5,4.0,8.0,2.0,false,2026-01-01,0,PAT-11223
Правила валидации входных данных
| ID | Поле | Правило | Критичность |
|---|
| VR-001 | SerialNumber | Поле должно соответствовать утверждённому справочнику/словарю или допустимой строковой форме. | High |
| VR-002 | BatchNumber | Поле должно соответствовать утверждённому справочнику/словарю или допустимой строковой форме. | High |
| VR-003 | ProductName | Поле должно соответствовать утверждённому справочнику/словарю или допустимой строковой форме. | High |
| VR-004 | ExpiryDate | Поле должно соответствовать утверждённому справочнику/словарю или допустимой строковой форме. | Medium |
| VR-005 | MaxTempRecorded_C | Поле должно соответствовать утверждённому справочнику/словарю или допустимой строковой форме. | Medium |
| VR-006 | MinTempRecorded_C | Поле должно соответствовать утверждённому справочнику/словарю или допустимой строковой форме. | Medium |
| VR-007 | AllowedMaxTemp_C | Поле должно соответствовать утверждённому справочнику/словарю или допустимой строковой форме. | Medium |
| VR-008 | AllowedMinTemp_C | Поле должно соответствовать утверждённому справочнику/словарю или допустимой строковой форме. | Medium |
| VR-009 | IsOpened | Поле должно соответствовать утверждённому справочнику/словарю или допустимой строковой форме. | Medium |
| VR-010 | OpenedTime | Поле должно соответствовать утверждённому справочнику/словарю или допустимой строковой форме. | Medium |
| VR-011 | DiscardAfterHours | Поле должно соответствовать утверждённому справочнику/словарю или допустимой строковой форме. | Medium |
| VR-012 | PatientID | Поле должно соответствовать утверждённому справочнику/словарю или допустимой строковой форме. | Medium |
FS — функциональная спецификация
| ID | Функция | Реализация |
|---|
| FS-001 | CLI execution | Поддержать режимы запуска: demo mode без аргументов и production mode input.csv output.json. |
| FS-002 | CSV import | Прочитать input.csv в UTF-8/CSV-совместимом формате, проверить наличие заголовка и ожидаемых колонок. |
| FS-003 | Schema validation | Проверить обязательные поля, количество колонок, неизвестные ключевые поля и пустые обязательные значения. |
| FS-004 | Type conversion | Преобразовать числовые, флаговые и текстовые значения; некорректный формат фиксировать как ошибку строки. |
| FS-005 | Domain rule engine | Применить правила для Smart Vaccination Batch Traceability Utility, включая критические пределы из описания и утверждённой спецификации. |
| FS-006 | Status aggregation | Сформировать итоговый статус: FAIL при критическом отказе, WARNING при некритическом отклонении, PASS при соответствии. |
| FS-007 | JSON export | Записать output.json с детализацией проверок, исходными значениями, предупреждениями, отказами и critical findings. |
| FS-008 | Audit support | Сохранять структуру результата пригодной для review, расследования отклонений и воспроизведения расчёта. |
| FS-009 | Integration contract | Поддержать сценарий LIMS/ELN/MES → input.csv → utility → output.json → portal/admin review. |
| FS-010 | Error handling | Возвращать явные сообщения для отсутствующего файла, пустого CSV, неверной схемы, ошибки записи output.json и некорректного формата. |
Пример output.json
{
"utilityId": "smartvaccinationbatchtraceabilityutility",
"utilityFolder": "SmartVaccinationBatchTraceabilityUtility",
"package": "Vet",
"overallStatus": "PASS|WARNING|FAIL",
"sourceFile": "input.csv",
"processedAtUtc": "2026-06-10T00:00:00Z",
"checks": [
{
"parameter": "SerialNumber",
"value": "SN-VAC-2026-001",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-001"
},
{
"parameter": "BatchNumber",
"value": "BATCH-2026-A",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-002"
},
{
"parameter": "ProductName",
"value": "Influenza Vaccine",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-003"
},
{
"parameter": "ExpiryDate",
"value": "2026-12-31",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-004"
},
{
"parameter": "MaxTempRecorded_C",
"value": "6.5",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-005"
},
{
"parameter": "MinTempRecorded_C",
"value": "3.0",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-006"
},
{
"parameter": "AllowedMaxTemp_C",
"value": "8.0",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-007"
},
{
"parameter": "AllowedMinTemp_C",
"value": "2.0",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-008"
},
{
"parameter": "IsOpened",
"value": "false",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-009"
},
{
"parameter": "OpenedTime",
"value": "2026-01-01",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-010"
},
{
"parameter": "DiscardAfterHours",
"value": "0",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-011"
},
{
"parameter": "PatientID",
"value": "PAT-12345",
"status": "PASS|WARNING|FAIL",
"message": "Deterministic rule-based check result",
"ruleReference": "FS-RULE-012"
}
],
"criticalFindings": [],
"warnings": [],
"audit": {
"inputHash": "sha256:<calculated at runtime>",
"rulesVersion": "<utility executable version>",
"documentation": "SmartVaccinationBatchTraceabilityUtility.documentation.html"
}
}
Матрица трассируемости
| URS | FS | Тест | Подтверждение |
|---|
| URS-001 | FS-001, FS-002 | OQ-001 | Проверить запуск и импорт валидного input.csv. |
| URS-002 | FS-005, FS-006 | OQ-004 | Повторить один и тот же набор данных и сравнить output.json. |
| URS-003 | FS-003, FS-004, FS-010 | OQ-002, OQ-003 | Проверить отсутствующие колонки и неверные типы. |
| URS-004 | FS-005, FS-006 | OQ-004, PQ-001 | Проверить критические отклонения по реальным/граничным данным. |
| URS-005 | FS-007, FS-009 | OQ-005 | Проверить JSON schema и пригодность для downstream-систем. |
| URS-006 | FS-008 | OQ-006 | Проверить наличие идентификаторов и audit metadata. |
| URS-007 | FS-008, FS-010 | IQ-001, OQ-007 | Проверить комплектность документации и control evidence. |
| URS-008 | FS-005, FS-008 | PQ-002 | Проверить review workflow и запрет автоматической замены QA-решения. |
IQ/OQ/PQ тестовые сценарии
| ID | Сценарий | Ожидаемый результат |
|---|
| IQ-001 | Проверить наличие executable, input.csv, документации и контрольной суммы. | Комплект поставки полон; версия зафиксирована. |
| OQ-001 | Валидная строка из примера input.csv. | PASS или допустимый WARNING согласно правилам. |
| OQ-002 | Удалить обязательную колонку из CSV. | Ошибка схемы или FAIL с указанием отсутствующей колонки. |
| OQ-003 | Внести нечисловое значение в числовое поле. | Ошибка преобразования типа с указанием строки/поля. |
| OQ-004 | Значение критического параметра вывести за предел. | FAIL и critical finding. |
| OQ-005 | Проверить структуру output.json. | Все обязательные секции присутствуют, JSON валиден. |
| OQ-006 | Проверить трассируемость серии/образца. | Идентификаторы входа и результатов совпадают. |
| PQ-001 | Проверить 3–5 реальных партий/образцов пользователя. | Результат подтверждён QC/QA review. |
| PQ-002 | Проверить workflow отклонения и ручного QA-решения. | Утилита поддерживает review, но не заменяет утверждённое решение. |
QA/QC и change control
- Не менять имена колонок без обновления валидатора, документации и тестового набора.
- Хранить
input.csv, output.json, версию исполняемого файла и контрольную сумму. - Перед продуктивным использованием провести IQ/OQ/PQ или эквивалентную CSV/CSA-проверку.
- Критические пределы должны быть сверены с утверждённой спецификацией, регистрационным досье и локальными SOP.
- Утилита предоставляет формализованный QC decision support, но окончательное решение выпуска остаётся за QA/QP и утверждёнными процедурами.