单元测试是软件测试流程的第一步,充分有效的单元测试可以尽可能多的发现软件故障,降低开发成本,提高软件质量。代码测试系统(Code Testing System,CTS)是一款由Java语言实现的软件测试系统,实现了自动化的单元测试,主要功能是针对C程序进行语句、分支、MC/DC覆盖测试。库函数和系统调用是自动测试面临的一大难点,测试人员需要进行人工操作,才能使测试正常进行,这样大大降低了自动化测试的效率,在CTS中采用自适应打桩算法为普通函数自动生成桩函数。输入／输出(Input/Output,I/O)函数是一类常见的库函数,不同于普通函数,I/O函数操作对应于具体的I/O设备,普通的打桩方法忽略了函数调用之间的关联。为了提高自动化测试的效率和桩函数的准确性,本文提出了为I／O设备建模和I/O函数建模的方法。本文的主要工作如下：(1)为I/O设备和I/O函数分别建立模型,并将I/O函数的语义等价为对I/O设备模型的操作。为I/O设备建模,用模型的状态和属性来表示一个具体的I／O设备,包括控制台、文件和Socket网络。为I/O函数建模,I/O函数的语义被存储在I/O函数模型中,并将I/O函数的语义等价为对I/O设备模型的操作。I/O设备的最终状态和属性由对应的模型来表示。(2)给出了一个约束提取的算法,用来将I/O设备模型和I/O函数模型中的约束条件提取出来。该算法以源代码、抽象语法树、控制流图为输入,通过分析控制流图上的每个函数节点,来修改和存储I/O设备模型的属性和状态,并将约束条件存储在I/O设备模型中,最后利用约束求解来实现自动打桩。实验结果表明本文提出的方法能够有效提升源代码中包含I/O函数的程序的覆盖率,提高了自动测试的效率。实例分析说明该方法能够为路径上的I/O函数自动生成满足路径约束的桩函数。