Citation
Abstract
This article discusses the application of the category-partition method to the test design phase of hardware, software, or system test development. The method provides a formal framework for reducing the total number of possible test cases to a minimum logical subset for effective testing. An automatic tool and a formal language have been developed to implement the method and produce the specification of test cases.
Details
- Volume
- 42-114
- Published
- August 15, 1993
- Pages
- 154–169
- File Size
- 767.2 KB