witness提供了四种类型的变量，用来进行数据处理。它们是整型、实型、名型、字符型。
整型变量用来存储不包含小数点部分的数字。在witness中，可以是-2 147 483 648到＋2 147 483 647之间的整数。
使用整数变量能够比较精确的存储数据，并且处理速度比比实数要快。但是由于整数的“循环”性，可能会使得它们过大或过小。例如：
2 147 483 647＋1＝-2 147 483 648
-2147483647 - 2＝2 147 483 647
实型变量可以存储由数字（0～9）、小数点和正负号组成的数据。范围为（3.4E-38，3.4E38）；
名型（name）变量用来存储witness仿真系统组成元素的名称。例如：
widget
miller（3）
注：函数、数值型变量、数值型属性不能够存储为名型数据。
字符型变量用来存储不具有计算能力的字符型数据。字符型数据是由汉字和ASCII字符集中可打印字符（英文字符、数字字符、空格以及其他专用字符）组成，长度范围是0～4095个字符。
6.1.4.1 字符运算符
＝ 比较前后两个字符串是否相同；
＋ 连接两个字符串
＝ 对字符型数据赋值
如果连接操作得出的字符型数据长度超出长度范围，witness显示出错信息。
6.1.4.2 特殊用途字符串
字符型数据可以存储任何键盘上的字符。反斜线字符（\）却是一个特殊的字符。
\" 向字符串中引入一个引号（"）。引号标识字符的结束。
\\ 向字符串中引入一个反斜线（\）。
\n 向字符串中引入换行符。
\r 向字符串中引入回车。
\t 向字符串中引入8个空格（TAB）字符。
\f 向字符串中引入走纸字符。如果是打印（PRINT）操作，交互窗口被清空；如果是写（write）操作，将另起一页进行写入。