the software will function correctly and predictably in a manner consistent with
its documented requirements. Additionally, the function of software cannot be
compromised eitherthrough direct attack orthrough sabotage by maliciously
implanted code to be considered assured. Some definitions of software assurance