作者：卞红艳; 肖宏年形式化分析系统测试计算机支持的电信应用协议
摘要：针对我国目前电信软件生产中存在的某些弊端,运用协议测试理论对CSTA系统测试进行了形式化分析,澄清了系统测试实际工作中的一些误区,从而提高了发现问题的工作效率、准确度和软件测试质量的保障系数.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《武汉纺织大学学报》（双月刊）结合学校办学特点和学科优势，在自然科学类的文章中，强调纺织特色，创刊于1988年，由湖北省教育厅主管，武汉纺织大学主办，CN刊号为：42-1818/Z，自创刊以来，颇受业界和广大读者的关注和好评。
部级期刊
人气 258299 评论 61
省级期刊
人气 238654 评论 36
人气 154251 评论 33
人气 151932 评论 53
