• Black-box testing for safety critical systems in which independently developed implementations of redundant systems are tested for conformance to specifications
• Often equivalence class partitioning is used to develop a common set of test cases for each implementation




