类型检验 meaning in Chinese

type checking

Rubber - test rule for distribution type of testing data
橡胶试验数据分布类型检验规定
He would have liked stronger static type checking of template arguments
他本来想要更强的模板参数的静态类型检验。
For example , the simplicity of the java type system often forces us to choose between precise type checking and keeping a single point of control for each distinct functional element of a program see
比如说， java类型系统的简单性经常迫使我们在精确类型检验和保持对程序的每个不同的功能性元素的单点控制（请参阅