assured software

Computer application that has been designed, developed, analyzed and tested using processes, tools, and techniques that establish a level of confidence in it.