Los puntos clave no están disponibles para este artículo en este momento.
Se examina la teoría de selección de datos de prueba propuesta por Goodenough y Gerhart. Para extender y refinar esta teoría, se proponen los conceptos de un criterio de prueba revelador y un subdominio revelador. Estas nociones se utilizan luego para proporcionar una base para construir pruebas de programas.
Weyuker et al. (Jue,) estudiaron esta cuestión.