Promoting the software design for testability towards a partial test oracle

Software testing is one of the most powerful methods to improve the software quality directly. Usually, testing costs on the large scales of 50% during software system development phase. How to reduce the testing cost thus becomes an important issue. The software design for testability maybe a new direction to solve this problem. Using the strategy of software design for testability, we develop a technique called "test condition oracle" to check the program's correctness. The performance evaluation shows that this technique is an effective method for promoting software testability.