Computer software for automating and supporting testing processes and codifying assertions as to the safety, liability, and content of software and networks