133 В 1985 г. Раппе и Уэйкер доказали теорему «о включении» критериев тестирования, базирующихся на анализе программных графов [10]. Ее расширение за счет добавления появившегося позже критерия Корела (Korel) и предложенных выше критериев устанавливается следствием 4. 4. Граф частичного упорядочивания критериев тестирования на основе введенной выше операции «не хуже» приведен на рис. 4.4. С4 Сз с2 Рис. 4.4. Граф частичного упорядочивания критериев тестирования функций управления. |
Тогда, взяв для графа G4 Мк = {(1,3,4,5,7), (1,2,3,4,5,7), (1,2,4,6,7), (1,2,4,5,6,7)}, а для графа G3 Мк = {(1,4), (2,3)}, получим требуемое. Следствие доказано. G3G4 2 Рис. 3.4 Рис. 3.5 В 1985 году Раппе (Rapps) и Уэйкер (Weyker) доказали теорему «о включении» критериев тестирования, базирующихся на анализе программных графов [161]. Ее расширение за счет добавления появившегося позже критерия Корела [143] и предложенных в диссертационной работе критериев устанавливается следствием 5. 135 |