Automating software tests with partial oracles in integrated environments

The oracle problem is an essential part in current research on automating software tests. Partial oracles seem to be a viable solution, but their suitability for different testing steps and general applicability for various systems remains still to be shown. In the present paper a study is presented in which partial oracles are applied in order to automatically test an image processing application in an integrated environment. Furthermore, the efficiency of these partial oracles is measured by means of Mutation Analysis to determine their adequacy for this purpose.