<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Verification on HJohansen.dk</title><link>https://hjohansen.dk/en/tags/verification/</link><description>Recent content in Verification on HJohansen.dk</description><generator>Hugo</generator><language>en-US</language><lastBuildDate>Sun, 24 May 2026 09:30:00 +0200</lastBuildDate><atom:link href="https://hjohansen.dk/en/tags/verification/index.xml" rel="self" type="application/rss+xml"/><item><title>The Traceability Chain</title><link>https://hjohansen.dk/en/knowledge/traceability/overview/</link><pubDate>Sun, 24 May 2026 09:30:00 +0200</pubDate><guid>https://hjohansen.dk/en/knowledge/traceability/overview/</guid><description>&lt;p&gt;A useful mental model for how engineering documentation fits together:&lt;/p&gt;
&lt;div class="highlight"&gt;&lt;pre tabindex="0" style="color:#f8f8f2;background-color:#272822;-moz-tab-size:4;-o-tab-size:4;tab-size:4;-webkit-text-size-adjust:none;"&gt;&lt;code class="language-text" data-lang="text"&gt;&lt;span style="display:flex;"&gt;&lt;span&gt;Business Need
&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; ↓
&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt;Requirements (what)
&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; ↓
&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt;Acceptance Criteria (how to verify what)
&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; ↓
&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt;Design (how to build it)
&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; ↓
&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt;Implementation
&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; ↓
&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt;Tests (based on acceptance criteria)
&lt;/span&gt;&lt;/span&gt;&lt;/code&gt;&lt;/pre&gt;&lt;/div&gt;&lt;h2 id="key-principles"&gt;Key Principles&lt;/h2&gt;
&lt;h3 id="1-traceability-is-key"&gt;1. Traceability is Key&lt;/h3&gt;
&lt;p&gt;Every requirement should link to:&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;a design element&lt;/li&gt;
&lt;li&gt;one or more acceptance criteria&lt;/li&gt;
&lt;li&gt;one or more tests&lt;/li&gt;
&lt;/ul&gt;
&lt;h3 id="2-avoid-mixing-levels"&gt;2. Avoid Mixing Levels&lt;/h3&gt;
&lt;p&gt;Common mistakes:&lt;/p&gt;</description></item><item><title>Acceptance Criteria</title><link>https://hjohansen.dk/en/knowledge/requirements/acceptance-criteria/</link><pubDate>Sun, 24 May 2026 08:30:00 +0200</pubDate><guid>https://hjohansen.dk/en/knowledge/requirements/acceptance-criteria/</guid><description>&lt;p&gt;Acceptance criteria define how you prove a requirement is satisfied. They are concrete, verifiable, written in behavior terms, and often expressed as scenarios or rules.&lt;/p&gt;
&lt;h2 id="common-formats"&gt;Common Formats&lt;/h2&gt;
&lt;h3 id="rule-based"&gt;Rule-based&lt;/h3&gt;
&lt;blockquote&gt;
&lt;p&gt;Given X, system shall do Y.&lt;/p&gt;
&lt;/blockquote&gt;
&lt;h3 id="scenario-based-given--when--then"&gt;Scenario-based (Given / When / Then)&lt;/h3&gt;
&lt;blockquote&gt;
&lt;p&gt;Given a valid batch recipe,
When the user starts execution,
Then the system shall validate parameters before proceeding.&lt;/p&gt;
&lt;/blockquote&gt;
&lt;h2 id="key-properties"&gt;Key Properties&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;&lt;strong&gt;Binary outcome&lt;/strong&gt; — pass or fail, no ambiguity&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Focus on observable behavior&lt;/strong&gt; — not implementation details&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Directly usable for testing&lt;/strong&gt; — a tester can derive test cases&lt;/li&gt;
&lt;/ul&gt;
&lt;h2 id="relationship-to-requirements"&gt;Relationship to Requirements&lt;/h2&gt;
&lt;table&gt;
 &lt;thead&gt;
 &lt;tr&gt;
 &lt;th&gt;Requirements&lt;/th&gt;
 &lt;th&gt;Acceptance Criteria&lt;/th&gt;
 &lt;/tr&gt;
 &lt;/thead&gt;
 &lt;tbody&gt;
 &lt;tr&gt;
 &lt;td&gt;What is needed&lt;/td&gt;
 &lt;td&gt;How we know it works&lt;/td&gt;
 &lt;/tr&gt;
 &lt;tr&gt;
 &lt;td&gt;The goal&lt;/td&gt;
 &lt;td&gt;The proof&lt;/td&gt;
 &lt;/tr&gt;
 &lt;tr&gt;
 &lt;td&gt;Can be abstract&lt;/td&gt;
 &lt;td&gt;Must be concrete&lt;/td&gt;
 &lt;/tr&gt;
 &lt;/tbody&gt;
&lt;/table&gt;
&lt;p&gt;Think of acceptance criteria as the &lt;strong&gt;test contract&lt;/strong&gt; for a requirement. Every requirement should link to one or more criteria.&lt;/p&gt;</description></item></channel></rss>