SOFTWARE UNIT VERIFICATION