diff options
author | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2019-09-16 09:05:23 -0500 |
---|---|---|
committer | A. Wilcox <AWilcox@Wilcox-Tech.com> | 2019-09-16 09:05:23 -0500 |
commit | 760e718dd1f6ed5d924ed6468204d6dcb6d00234 (patch) | |
tree | a2566d8f71946631a48dce9c60835f02285b931c /devel/requirements/3b_runner.xml | |
parent | 6f53c924d71b9d32d73b062e3625495775c28d27 (diff) | |
download | horizon-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/requirements/3b_runner.xml')
-rw-r--r-- | devel/requirements/3b_runner.xml | 30 |
1 files changed, 27 insertions, 3 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> |