The category-partition method for specifying and generating fuctional tests
A method for creating functional test suites has been developed in which a test engineer analyzes the system specification, writes a series of formal test specifications,…