Specification-based techniques These are techniques that derive their test cases directly from specifications or other types of models of what the system is required to do. It is possible to…