The main differentiation between test items is the configuration item type that they are testing. Each Requirement requires a test case, which relates to a validation test case. Meanwhile, each specification requires at least one test case as well, which would relate to your verification test case. 
When you view your traceability matrix in Ketryx, you'll be able to see different messages for configuration items in your design inputs and design outputs if they are missing a test case. This message will be something along the lines of "Validation test case missing" or "Verification test case missing" for Requirements and Specifications respectively. 
Please see this Manual for more information on traceability and this Manual for more information on test management. We also have various work instructions at docs.ketryx.com.