字符串匹配算法

Question

在软件测试中，边界值分析对于数字输入是直观的，但是当我尝试对某些字符串匹配算法（例如boyer moore）进行边界分析时，我发现很难进行边界分析并得出一些测试案件。

对于数字boudary，例如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

提前致谢