Categories of Test Design Techniques Specification-base test design >Models,either formal or informal,are used for the specification of the problem to be solved,the software or its components >Test cases can be derived systematically from these models 同濟大学 TONGJI UNIVERSITY Software Testing 16.12.2023 21Categories of Test Design Techniques Specification-base test design ➢ Models, either formal or informal, are used for the specification of the problem to be solved, the software or its components ➢Test cases can be derived systematically from these models Software Testing 16.12.2023 21