summaryrefslogtreecommitdiff
path: root/devel
diff options
context:
space:
mode:
authorA. Wilcox <AWilcox@Wilcox-Tech.com>2019-09-16 09:05:23 -0500
committerA. Wilcox <AWilcox@Wilcox-Tech.com>2019-09-16 09:05:23 -0500
commit760e718dd1f6ed5d924ed6468204d6dcb6d00234 (patch)
treea2566d8f71946631a48dce9c60835f02285b931c /devel
parent6f53c924d71b9d32d73b062e3625495775c28d27 (diff)
downloadhorizon-760e718dd1f6ed5d924ed6468204d6dcb6d00234.tar.gz
horizon-760e718dd1f6ed5d924ed6468204d6dcb6d00234.tar.bz2
horizon-760e718dd1f6ed5d924ed6468204d6dcb6d00234.tar.xz
horizon-760e718dd1f6ed5d924ed6468204d6dcb6d00234.zip
req: 3b: Even more verification requirements, simplify language
Diffstat (limited to 'devel')
-rw-r--r--devel/requirements/3b_runner.xml30
-rw-r--r--devel/requirements/verification-list7
2 files changed, 31 insertions, 6 deletions
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>
diff --git a/devel/requirements/verification-list b/devel/requirements/verification-list
index 287ee63..5d3a28e 100644
--- a/devel/requirements/verification-list
+++ b/devel/requirements/verification-list
@@ -13,9 +13,9 @@ Optional Keys
✓ netaddress
✓ nameserver
✓ netssid
- timezone
- repository
- signingkey
+✓ timezone
+✓ repository
+✓ signingkey
username
useralias
userpw
@@ -43,3 +43,4 @@ Misc
really should have a design spec for the CLI / GUI
should errors be more formally defined? probably just waste of time tbh
+ COMMENTS, also blank lines