An introduction to software quality control