From 5ed47ef7ae6ed64d361e1c8945eacc59923467fc Mon Sep 17 00:00:00 2001 From: "A. Wilcox" Date: Wed, 18 Sep 2019 11:47:39 -0500 Subject: req: 3b: Finish verification requirements --- devel/requirements/3b_runner.xml | 52 ++++++++++++++++++++++++++++++++++++ devel/requirements/verification-list | 12 ++++----- 2 files changed, 58 insertions(+), 6 deletions(-) diff --git a/devel/requirements/3b_runner.xml b/devel/requirements/3b_runner.xml index 384569f..cb0d736 100644 --- a/devel/requirements/3b_runner.xml +++ b/devel/requirements/3b_runner.xml @@ -86,6 +86,10 @@ Runner.Verify.Exception.Continue The system shall support a mode where the system will continue verification after encountering a verification failure, to display all verification failures for a given HorizonScript. + + Runner.Verify.SkipBlanksAndComments + The system shall ignore any lines that are entirely blank, or start with the ASCII octothorpe (#) character. + Runner.Verify.Required The system shall verify the presence of each required keyword in the HorizonScript: mount, network, hostname, pkginstall, and rootpw. @@ -454,6 +458,54 @@ Runner.Verify.lvm_lv.Size The system shall verify that the third value in each lvm_lv key tuple specifies a valid size as described in . + + Runner.Verify.encrypt + The system shall verify any encrypt keys contained in the HorizonScript. + + + Runner.Verify.encrypt.Validity + The system shall verify that the value of each encrypt key is a string value that is an absolute path to a device node, with an optional second value as a space-separated tuple. + + + Runner.Verify.encrypt.Block + If the system is running in an installation environment, the system shall verify that the value of each encrypt key, and the first value of each encrypt key tuple, specifies a valid block device. + + + Runner.Verify.fs + The systemm shall verify any fs keys contained in the HorizonScript. + + + Runner.Verify.fs.Validity + The system shall verify that each fs key has a valid form of two values in a space-separated tuple. + + + Runner.Verify.fs.Block + If the system is running in an installation environment, the system shall verify that the first value of each fs key tuple specifies a valid block device. + + + Runner.Verify.fs.Type + The system shall verify that the second value of each fs key tuple specifies a valid file system supported by Horizon, using lower case characters. + + + Runner.Verify.mount + The system shall verify that the HorizonScript contains at least one valid mount key. + + + Runner.Verify.mount.Validity + The system shall verify that each mount key has a valid form of two or three values in a space-separated tuple. + + + Runner.Verify.mount.Block + If the system is running in an installation environment, the system shall verify that the first value of each mount key tuple specifies a valid block device. + + + Runner.Verify.mount.Point + The system shall verify that the second value of each mount key specifies a valid mount point beginning with a /. + + + Runner.Verify.PackageAvail + If the system is running in a runtime environment, the system shall verify that all of the packages specified in pkginstall keys are available in the specified repositories; either the repositories specified in repository keys, or the system-default repositories if no repository keys have been specified. +
diff --git a/devel/requirements/verification-list b/devel/requirements/verification-list index e9fd880..71a24aa 100644 --- a/devel/requirements/verification-list +++ b/devel/requirements/verification-list @@ -31,16 +31,16 @@ Disk Partitioning Keys ✓ lvm_pv ✓ lvm_vg ✓ lvm_lv - encrypt - fs - mount +✓ encrypt +✓ fs +✓ mount Other - Packages present in repositories (runtime only) +✓ Packages present in repositories (runtime only) 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 +- should errors be more formally defined? probably just waste of time tbh +✓ COMMENTS, also blank lines -- cgit v1.2.3-60-g2f50