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

摘要：

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

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

所属期刊栏目：18

分类号：TP3(计算技术、计算机技术)

在线出版日期：2006-05-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：49-52