A method and a system for determining an oracle sufficiency parameter for a computer program test oracle

摘要

The present invention and the teachings thereof relate to a method (100) and a system (1) for determining an oracle sufficiency parameter for a computer program test oracle (6a-6c). A member function associated with an object of the computer program module (4) is processed to determine a state change variable set, which comprises member variables(s) that undergo state change(s) upon invocation of the member function. The computer program test oracle (6a-6c) is processed to determine a test variable set, which comprises test variables(s) that undergo state change(s) upon invocation of the member function. An intersection set, which comprises elements common to both the state change variable set and the test variable set, is determined. The oracle sufficiency parameter is denoted by a cardinality of the intersection set divided by a cardinality of the state change variable set.