Modern software development encompasses series of testing and continuous integration. The commercial software development has adopted automated testing suites, but correctness and assurance of software testing is still lacking. The proposed solution is to to improve correctness and assurance of software testing as a technical foundation of developing assured software systems.Open Source,high assurance,software test