какое минимальное количество тестов потребуется для проверки процедуры сортировки одномерного массива?

Вы не совсем на тот вопрос ответили. Допустим, написали процедуру сортировки одномерного массива. Сколько минимум надо прогнать разных тестов, чтобы в достаточной степени быть уверенным. что процедура работает верно? Ясно, что надо дать тест с элементами в случайном порядке, в порядке по возрастанию, по убыванию, из одинаковых элементов....

Странный вопрос. Минимальное количество тестов - 1, если учитывать что массив будет полностью протестирован. Но если рассматривать, каждое последующие число массива как тест, то столько сколько элементов массива. Минимальное 1 потому что, не указана какая процедура сортировки участвует. Допустим, я создал одномерный массив из 10 элементов. Если мне дана задача на логику (истина, ложь) то тогда мне потребуется протестировать каждый элемент массива, либо же если "тест" понятие глобальное - то один раз, пока не пройдут все элементы или пока логика не будет выполнена. Если же мне дано задание на сравнение (больше или меньше) то мне потребуется по 2 теста на 1 элемент массива (если воспринимать слово тест локально).