Results of software testing in dakor