Есть интересная, с моей точки зрения, тема для размышления.
Допустим имеется некая тестируемая функция (исходный код). Мы знаем входные и выходные переменные функции.
Пример:
Скрытый текст
В данном примере (сумма корней квадратного уравнения, не совсем полная, не в этом суть примера) видно, что входные переменные a,b,c:integer. Выходная переменная result:real (совсем не важная в данном примере). Главное тут то, что в функции есть три условия, т.е. в итоге при различных вариантах программы должно быть как минимум 8 (23) различных значений входных переменных a,b,c, чтобы покрыть тестами все ветки.
Вопрос в следующем можно ли подобрать автоматизированно (т.е. программно, а не вручную) такие исходные данные, чтобы покрыть все ветки тестируемой функции? Может такие алгоритмы подбора исходных данных есть?
