From 243b1941498ba1428cdf5e626f2e305953c96e30 Mon Sep 17 00:00:00 2001 From: "A. Wilcox" Date: Tue, 17 Sep 2019 15:24:04 -0500 Subject: req: 3b: Most verification requirements for disk keys --- devel/requirements/3b_runner.xml | 112 +++++++++++++++++++++++++++++++++++ devel/requirements/verification-list | 12 ++-- 2 files changed, 118 insertions(+), 6 deletions(-) (limited to 'devel') diff --git a/devel/requirements/3b_runner.xml b/devel/requirements/3b_runner.xml index 4123cdb..384569f 100644 --- a/devel/requirements/3b_runner.xml +++ b/devel/requirements/3b_runner.xml @@ -342,6 +342,118 @@ Runner.Verify.usergroups.Group The system shall verify that each group specified is a valid system-defined group name. + + Runner.Verify.diskid + The system shall verify any diskid keys contained in the HorizonScript. + + + Runner.Verify.diskid.Validity + The system shall verify that each diskid key has a valid form of two values in a space-separated tuple, with the second value reading to the end of the line (optionally containing spaces). + + + Runner.Verify.diskid.Unique + The system shall verify that the first value of each diskid key tuple is unique in the HorizonScript. + + + Runner.Verify.diskid.Block + If the system is running in an installation environment, the system shall ensure that the first value of each diskid key tuple specifies a valid block device. + + + Runner.Verify.disklabel + The system shall verify any disklabel keys contained in the HorizonScript. + + + Runner.Verify.disklabel.Validity + The system shall verify that each disklabel key has a valid form of two values in a space-separated tuple. + + + Runner.Verify.disklabel.Unique + The system shall verify that the first value of each disklabel key tuple is unique in the HorizonScript. + + + Runner.Verify.disklabel.Block + If the system is running in an installation environment, the system shall ensure that the first value of each disklabel key tuple specifies a valid block device. + + + Runner.Verify.disklabel.LabelType + The system shall verify that the second value of each disklabel key tuple is one of the following three values: apm, mbr, or gpt. + + + Runner.Verify.partition + The system shall verify any partition keys contained in the HorizonScript. + + + Runner.Verify.partition.Validity + The system shall verify that each partition key has a valid form of three or four values in a space-separated tuple. + + + Runner.Verify.partition.Validity.PartNo + The system shall verify that the second value of each partition key tuple is a valid positive whole integer. + + + Runner.Verify.partition.Unique + The system shall verify that the union of the first and second values in each partition key tuple are unique. + + + Runner.Verify.partition.Block + If the system is running in an installation environment, the system shall ensure that the first value of each partition key tuple specifies a valid block device. + + + Runner.Verify.partition.Size + The system shall verify that the third value in each partition key tuple specifies a valid size as described in . + + + Runner.Verify.partition.TypeCode + If a partition key tuple contains a fourth value, the system shall verify that the fourth value of the partition key tuple is a valid type code, which is one of the following two values: boot, or esp. + + + Runner.Verify.lvm_pv + The system shall verify any lvm_pv keys contained in the HorizonScript. + + + Runner.Verify.lvm_pv.Validity + The system shall verify that the value of each lvm_pv is an absolute path to a device node. + + + Runner.Verify.lvm_pv.Block + If the system is running in an installation environment, the system shall verify that the value of each lvm_pv key specifies a valid block device. + + + Runner.Verify.lvm_vg + The system shall verify any lvm_vg keys contained in the HorizonScript. + + + Runner.Verify.lvm_vg.Validity + The system shall verify that each lvm_vg key has a valid form of two values in a space-separated tuple. + + + Runner.Verify.lvm_vg.Block + If the system is running in an installation environment, the system shall verify that the first value of each lvm_vg key tuple specifies a valid block device. + + + Runner.Verify.lvm_vg.Name + The system shall verify that the second value of each lvm_vg key specifies a string that would be valid as an LVM volume group name. + + + Runner.Verify.lvm_lv + The system shall verify any lvm_lv keys contained in the HorizonScript. + + + Runner.Verify.lvm_lv.Validity + The system shall verify that each lvm_lv key has a valid form of three values in a space-separated tuple. + + + Runner.Verify.lvm_lv.VolumeGroup + If the system is running in an installation environment, the system shall verify that the first value of each lvm_lv key specifies a valid LVM volume group, or one specified in an lvm_vg key. + + + Runner.Verify.lvm_lv.Name + The system shall verify that the second value of each lvm_lv key specifies a string that would be valid as an LVM logical volume name. + + + 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 . +
diff --git a/devel/requirements/verification-list b/devel/requirements/verification-list index 6a1ed56..e9fd880 100644 --- a/devel/requirements/verification-list +++ b/devel/requirements/verification-list @@ -25,12 +25,12 @@ Optional Keys Disk Partitioning Keys - Sizing - diskid - disklabel - partition - lvm_pv - lvm_vg - lvm_lv +✓ diskid +✓ disklabel +✓ partition +✓ lvm_pv +✓ lvm_vg +✓ lvm_lv encrypt fs mount -- cgit v1.2.3-70-g09d2