常式核對