{
  "abstract": "Healthcare applications increasingly implement clinical guidelines as software-based decision rules. However, validation of measurement accuracy does not establish whether the implemented classification logic conforms to the corresponding clinical guideline. This study evaluated whether exhaustive conformance verification can identify discrepancies between healthcare application code and a named clinical specification. The 2023 European Society of Hypertension (ESH) guideline was formalized as a deterministic reference oracle for blood pressure classification. An exhaustive integer input space comprising systolic blood pressure values from 60 to 260 mmHg and diastolic blood pressure values from 40 to 160 mmHg was generated, yielding 24,321 ordered input pairs. Fifty-seven open-source blood pressure classification applications were evaluated against the reference oracle. Binary hypertensive status and, where applicable, multi-category classification were assessed independently. Disagreements were traced to the corresponding decision branches and characterized according to their structural pattern and clinical direction. All 57 applications reproduced the binary ESH hypertensive/non-hypertensive decision across the complete input space, resulting in 100.000% sensitivity, specificity, and accuracy. Category-level analysis was possible for 41 applications. Fifteen applications achieved ≥99.9% conformance, 10 achieved 80–99.9% conformance, and 16 achieved <80% conformance. The lowest category-level conformance was 4.354%. The identified discrepancies primarily involved under-classification and were associated with cascade-ordering errors, coverage gaps, and unreachable crisis branches. One implementation had 23,190 of 24,321 input combinations classified outside the applicable ESH categories. Binary agreement with a clinical guideline did not establish complete conformance at the category level. Exhaustive verification provided a deterministic and reproducible method for evaluating bounded clinical classification logic and for tracing discrepancies to specific implementation structures. This approach may complement measurement validation, usability assessment, security testing, and other forms of healthcare software assurance.",
  "abstract_shown": true,
  "affiliations": [
    "Department of Information Technology and Health Informatics, Allied Health Sciences, Federal University of Medicine and Medical Sciences, Abeokuta, Nigeria."
  ],
  "article_type": null,
  "arxiv": null,
  "author_total": 1,
  "authors": [
    {
      "affs": [
        0
      ],
      "name": "Alaba Ojediran"
    }
  ],
  "bibtex": "https://research.draconitic.com/paper/9d25sngna5d0a.bib",
  "cited_by": 0,
  "doi": "10.66224/ist.202603.14.03",
  "fulltext_url": null,
  "id": "9d25sngna5d0a",
  "issns": [
    "3041-9875"
  ],
  "landing_url": "https://doi.org/10.66224/ist.202603.14.03",
  "language": "en",
  "licence": "CC-BY",
  "licence_label": "CC BY",
  "licence_source": "journal",
  "licence_url": "https://creativecommons.org/licenses/by/4.0/",
  "metadata_licence": null,
  "native_subjects": [
    [
      "lcc",
      "R"
    ],
    [
      "openalex",
      "1712|Software Testing and Debugging Techniques"
    ]
  ],
  "openalex": "W7224387931",
  "pdf_url": "https://www.isjtrend.com/article_245429_e3396374ff833a44c2695ed860617fea.pdf",
  "pmcid": null,
  "pmid": null,
  "published": "2026-09-01",
  "publisher": "InfoPubPress",
  "ris": "https://research.draconitic.com/paper/9d25sngna5d0a.ris",
  "sources": [
    {
      "first_seen": "2026-10-31T14:21:51Z",
      "native_id": "10d81d3fd211408aac3949f25c2e0b34",
      "source": "doaj",
      "url": "https://doi.org/10.66224/ist.202603.14.03"
    }
  ],
  "subjects": [
    {
      "field": "medicine",
      "origin": "lcc:R",
      "subfield": "general"
    }
  ],
  "title": "Conformance Verification of Healthcare Application Code Against Clinical Guidelines: A Case Study of Blood Pressure Classification",
  "title_text": "Conformance Verification of Healthcare Application Code Against Clinical Guidelines: A Case Study of Blood Pressure Classification",
  "type": "peer-reviewed",
  "updated_at": "2026-10-31T14:21:51Z",
  "url": "https://research.draconitic.com/paper/9d25sngna5d0a",
  "venue": "InfoScience Trends",
  "versions": []
}