CSTA系统测试中的形式化分析

针对我国目前电信软件生产中存在的某些弊端，运用协议测试理论对CSTA系统测试进竹了形式化分析．澄清了系统测试实际工作中的一些误区，从而提高了发现问题的工作效率、准确度和软件测试质量的保障系数。     

从计算机人才需求探讨计算机教育

针对用人单位对计算机人才的具体要求,从如何培养学生的团队协作、创新精神、独立解决问题等方面探讨如何进行计算机教育。