From 760e718dd1f6ed5d924ed6468204d6dcb6d00234 Mon Sep 17 00:00:00 2001
From: "A. Wilcox" <AWilcox@Wilcox-Tech.com>
Date: Mon, 16 Sep 2019 09:05:23 -0500
Subject: req: 3b: Even more verification requirements, simplify language

---
 devel/requirements/3b_runner.xml | 30 +++++++++++++++++++++++++++---
 1 file changed, 27 insertions(+), 3 deletions(-)

(limited to 'devel/requirements/3b_runner.xml')

diff --git a/devel/requirements/3b_runner.xml b/devel/requirements/3b_runner.xml
index 910546f..c41c0c1 100644
--- a/devel/requirements/3b_runner.xml
+++ b/devel/requirements/3b_runner.xml
@@ -196,7 +196,7 @@
                 </formalpara>
                 <formalpara id="Runner.Verify.language">
                     <title>Runner.Verify.language</title>
-                    <para>If a <literal>language</literal> key is present in the HorizonScript, the system shall verify that the HorizonScript contains exactly one <literal>language</literal> key.</para>
+                    <para>The system shall verify that the HorizonScript contains at most one <literal>language</literal> key.</para>
                 </formalpara>
                 <formalpara id="Runner.Verify.language.Format">
                     <title>Runner.Verify.language.Format</title>
@@ -204,7 +204,7 @@
                 </formalpara>
                 <formalpara id="Runner.Verify.keymap">
                     <title>Runner.Verify.keymap</title>
-                    <para>If a <literal>keymap</literal> key is present in the HorizonScript, the system shall verify that the HorizonScript contains exactly one <literal>keymap</literal> key.</para>
+                    <para>The system shall verify that the HorizonScript contains at most one <literal>keymap</literal> key.</para>
                 </formalpara>
                 <formalpara id="Runner.Verify.keymap.Valid">
                     <title>Runner.Verify.keymap.Valid</title>
@@ -220,7 +220,31 @@
                 </formalpara>
                 <formalpara id="Runner.Verify.firmware.ForceOff">
                     <title>Runner.Verify.firmware.ForceOff</title>
-                    <para>If the system is running in an installation environment, and the system has firmware support compiled out, the system shall verify that the value of the <literal>firmware</literal> key is <literal>false</literal>.</para>
+                    <para>If the system has firmware support compiled out, the system shall verify that the value of the <literal>firmware</literal> key, if present, is <literal>false</literal>.</para>
+                </formalpara>
+                <formalpara id="Runner.Verify.timezone">
+                    <title>Runner.Verify.timezone</title>
+                    <para>The system shall verify that the HorizonScript contains at most one <literal>timezone</literal> key.</para>
+                </formalpara>
+                <formalpara id="Runner.Verify.timezone.zoneinfo">
+                    <title>Runner.Verify.timezone.zoneinfo</title>
+                    <para>The system shall verify that the value of the <literal>timezone</literal> key, if present, represents a valid zoneinfo time zone name.</para>
+                </formalpara>
+                <formalpara id="Runner.Verify.repository">
+                    <title>Runner.Verify.repository</title>
+                    <para>The system shall verify that the HorizonScript contains zero to ten <literal>repository</literal> keys.</para>
+                </formalpara>
+                <formalpara id="Runner.Verify.repository.ValidPath">
+                    <title>Runner.Verify.repository.ValidPath</title>
+                    <para>The system shall verify that the value of each <literal>repository</literal> key is either an absolute local path beginning with an ASCII backslash (<literal>/</literal>), or a valid URL utilising the HTTP or HTTPS protocols.</para>
+                </formalpara>
+                <formalpara id="Runner.Verify.signingkey">
+                    <title>Runner.Verify.signingkey</title>
+                    <para>The system shall verify that the HorizonScript contains zero to ten <literal>signingkey</literal> keys.</para>
+                </formalpara>
+                <formalpara id="Runner.Verify.signingkey.ValidPath">
+                    <title>Runner.Verify.signingkey.ValidPath</title>
+                    <para>The system shall verify that the value of each <literal>signingkey</literal> key is either an absolute local path beginning with an ASCII backslash (<literal>/</literal>), or a valid URL utilising the HTTPS protocol.</para>
                 </formalpara>
             </section>
         </section>
-- 
cgit v1.2.3-60-g2f50