software, the CAS is also identifying the testable software properties that will
provide measurable levels of justifiable confidence (i.e., assurance) that—
u The software will securely, appropriately, and predictably perform its
intended functions.