A Selective Software Testing Method Based on Priorities Assigned to Functional Modules