针对C单元的测试用例自动生成的研究，提出在基于OCAML（object CAML）的CIL（Cintermediate language）工具包上的类型系统构建方法。通过工......