A new approach to software testing