参考答案：B

解析： 类的成员变量的某些状态可能不会出现，称为类不变式。不变式边界测试首先要准确地定义类的不变式，其次寻找成员方法的调用序列以违反类不变式，这些调用序列即可作为测试用例。模态类是指该类处于特定的状态下时，只能接受对某些特定成员方法的调用。非模态类是指该类处于任何状态下时，均可接受对所有成员方法的调用。B选项的多态服务测试是类树层次测试的内容。