Контрольный пример анализа границ на алгоритме сопоставления строк
В тестировании программного обеспечения анализ граничных значений интуитивно понятен для числового ввода, но когда я пытаюсь провести некоторый граничный анализ с помощью некоторых алгоритмов сопоставления строк (например, Бойера-Мура), я нахожу, что сложно провести граничный анализ и получить для него некоторые тестовые примеры,
для числовой границы, например, x является входным параметром, а x>=100. Граничное значение равно 100, поэтому для этого примера
boundary: x>=100
on point: x=100
off point: x=101
Но тогда рассмотрим соответствие строк, у меня есть два эквивалентных класса:
EC1: length(pattern) = length(text), pattern occurs in text.
EC2: length(pattern) = length(text), pattern occurs not in text.
EC1 должен возвращать совпадение (которое равно 0), а EC2 должно возвращать -1. Но граничные значения трудно определить, потому что это не числовая граница, поэтому я могу сказать:
boundary: pattern occurs in the text.
on point: pattern occurs in the text.
off point: pattern does not occur in the text
заранее спасибо