请问下软件测试中的等价类划款法是否至少要包含一个无效等价类,有什么权威的书里有说明吗?