Testing, analysis, and evaluation of computer software to assure compliance with design specifications and industry standards