选项A是正确的，KMP算法在匹配失败时会将模式串的指针j移动到next[j]的位置，而文本串的指针i保持不变。选项B错误，文本串的指针i不应简单移动到下一个字符，而是需要根据next数组的值进行调整。选项C错误，next[j-1]并不是在失败时的正确回溯位置，应该是next[j]。选项D错误，文本串的指针i不应保持不变，而是需要根据匹配情况进行调整。