|
|||||
|
|
| CSTA系统测试中的形式化分析 | |
| 引用本文： | 卞红艳,肖宏年.CSTA系统测试中的形式化分析[J].武汉科技学院学报,2005,18(12):49-52. |
| 作者姓名： | 卞红艳 肖宏年 |
| 作者单位： | 1. 广东科学技术职业学院,广东,珠海,519090 2. 武汉科技学院,湖北,武汉,430073 |
| 摘 要： | 针对我国目前电信软件生产中存在的某些弊端，运用协议测试理论对CSTA系统测试进竹了形式化分析．澄清了系统测试实际工作中的一些误区，从而提高了发现问题的工作效率、准确度和软件测试质量的保障系数。 |
| 关 键 词： | 形式化分析 系统测试 计算机支持的电信应用协议 |
| 文章编号： | 1009-5160（2005）-0049-04 |
| 收稿时间： | 2005-10-24 |
| 修稿时间： | 2005年10月24 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |