Results of software testing in colva