Software testing without the oracle correctness assumption

摘要

In this paper, software testing without OCA is reflected and investigated. A mathematical model for this situation is proposed. The expected testing times to get confidence on testing is calculated based on the model. It is the first attempt to consider the existing testing suggestions in terms of a formal mathematical model and analysis.