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

作　　者：卞红艳[1] 肖宏年[2] 

机构地区：[1]广东科学技术职业学院,广东珠海519090 [2]武汉科技学院,湖北武汉430073

出　　处：《武汉科技学院学报》2005年第12期49-52,共4页Journal of Wuhan Institute of Science and Technology

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

关 键 词：形式化分析 系统测试 计算机支持的电信应用协议 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]