A Tool Supported Testing Method for Reducing Cost and Improving Quality

Testing a program based on its specification is necessary to ensure that the program meets its desired functionality. In this paper, we describe a specification-based testing method that can reduce the cost and ensure the correctness of the tested program paths. The cost of testing is reduced by guaranteeing that the same path can be repeatedly tested automatically without the need to executing the path repeatedly. The correctness of the path is guaranteed by means of automatically applying the relevant parts of the Hoare logic. We also present the design and implementation of a prototype tool that supports the testing method.