卡诺格（K-Cell）是什么？

测试用例格（Test Case Cell）：测试用例格是被选取为测试用例的卡诺格。任意一个卡诺格都可以成为一个测试用例格。测试用例格的形式化定义是：TCC={c|c∈X}。
有效测试用例格集合（Effective Set of Test Case Cells）：某个表达式的某个缺陷的有效测试用例格集合是一个测试用例格的集合，并且构成该集合的卡诺格能够检测出该表达式的该种缺陷。

布尔表达式可以用卡诺图的方式展示出来，本文中测试策略的研究既是在卡诺图的空间中进行的。以下是基于格覆盖的布尔表达式测试策略的基本定义：
卡诺格（K-Cell）：卡诺格（K-Cell）是卡诺图中的一个格子，简称格（Cell）。卡诺格是卡诺图的基本组成单元，每个卡诺格对应了布尔表达式的一个取值。图中一个小正方形就代表了一个卡诺格。卡诺格可以用该格对应的所有词的取值来表示。例如图5-1中有阴影的格子，可以表示为C_0111。
卡诺空间（X）:X是卡诺图中所有卡诺格的集合。一个有l个词的表达式的卡诺空间包含了2^l个卡诺格。如果一个表达式有4个变量，那么就可以得到一个卡诺空间，该空间中有16个卡诺格。