| 编程 |
тестирование областей определения (корпорации AdaCore; Тестирование областей определения рассматривает программу как функцию многих переменных, каждая из которых принимает конечное множество значений. Каждое такое множество можно разбить как минимум на два класса эквивалентности – действительные и недействительные значения. Тестирование областей определения предполагает три шага: 1) выделение подобластей для каждого параметра, все элементы которых предположительно приводят к одинаковому поведению программы (для сокращения количества тестов); 2) выбор конкретных значений для тестирования внутри каждого класса (в т.ч. для выявления ошибок, связанных с тем, что область определения задана неверно); 3) сочетание этих значений (для увеличения тестового покрытия и выявления ошибок, зависящих от взаимодействия нескольких параметров). Указанные задачи решаются разбиением на классы эквивалентности, анализом граничных значений и попарным перебором Alex_Odeychuk) |
