and test oracles (if used) are migrated from the development environment
into a separate, isolated test environment. All security test cases should be run
to ensure the adherence of the assembled and integrated system to all of its
security requirements (including those for security properties and attributes,