Validation of measurement software as an application of slicing and constraint solving