首页> 中文期刊>武汉纺织大学学报 >CSTA系统测试中的形式化分析

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《武汉纺织大学学报》|2005年第12期|49-52|共4页
作者
卞红艳; 肖宏年;
展开▼
作者单位

广东科学技术职业学院,广东,珠海,519090;

武汉科技学院,湖北,武汉,430073;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
形式化分析; 系统测试; 计算机支持的电信应用协议;

相似文献

中文文献
外文文献
专利

1. 形式化方法在CSTA系统测试中的应用研究 [J] . 游红俊 ,周红梅 ,程胜利 . 计算机测量与控制 . 2004,第008期
2. 美国 CSTA 计算思维教学案例的教学活动分析及启示 [J] . SHAN Jun-hao ,YAN Han-Bing . 现代教育技术 . 2019,第004期
3. CSTA协议分析及实现技术 [J] . 彭海 ,吴安敏 . 南京邮电大学学报（自然科学版） . 2001,第003期
4. 功率分析仪在伺服电机系统测试中的电量分析 [J] . 李磊 ,马宪民 ,郑洁 . 微电机 . 2016,第001期
5. 故障树分析技术在软件系统测试中的应用分析 [J] . 陆郁 . 通讯世界 . 2016,第019期
6. 领域分析与形式化方法在内控信息化实施中的应用研究——以销售业务内控为例 [C] . 陈潇怡 ,欧阳电平 . 第十二届会计信息化年会 . 2013
7. 形式化方法在CSTA系统测试中的应用研究 [A] . 游红俊 . 2003

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号