参考答案

正确答案：C
解析：通过单元测试发现该模块单元的子程序或过程的实际功能与该模块的功能和接口的描述是否相符，以及是否有编码错误存在。高可靠性的模块是组成可靠系统的坚实基础。