Assured software

Definition
Assured software is a

"[c]omputer application that has been designed, developed, analyzed, and tested using processes, tools, and techniques that establish a level of confidence in it."