首页> 中文期刊> 《计算机科学》 >基于SDL和MSC模型的一致性测试生成方法

基于SDL和MSC模型的一致性测试生成方法

AI论文写作 >>

开具论文收录证明 >>

页面导航

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

摘要

本文提出了一种基于协议的SDL和MSC描述的一致性测试生成方法.这种方法从协议的形式化描述出发,用形式化的语言定义测试目的和测试组,通过本文提出的算法自动生成一致性测试套.

著录项

来源
《计算机科学》 |2004年第12期|214-217|共4页
作者
叶新铭; 吴铁楠;
展开▼
作者单位

内蒙古大学计算机学院;

呼和浩特;

010021;

内蒙古大学计算机学院;

呼和浩特;

010021;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
SDL; MSC; 一致性测试; 测试套;

相似文献

中文文献
外文文献
专利

1. 基于MSC测试目的的协议互操作性测试生成 [J] . 王之梁 ,吴建平 ,尹霞 . 北京邮电大学学报 . 2006,第S1期
2. 基于MISOHRM模型的非一致性洪水频率计算方法及应用III:模型构建与非一致性洪水频率计算 [J] . 刘宇1 ,谢平1 ,李析男1 . 水资源研究 . 2012,第006期
3. 基于SDL和MSC的通信软件系统分析和系统设计 [J] . 张宏亮 ,李伟超 . 郑州航空工业管理学院学报（社会科学版） . 2005,第004期
4. 基于SDL/MSC的实时嵌入式系统概念级设计 [J] . 程国达 ,彭澄廉 ,邱卫东 . 小型微型计算机系统 . 2003,第007期
5. 一种符号化执行的实时系统一致性测试生成方法 [J] . 万勇兵 ,徐中伟 ,梅萌 . 电子学报 . 2013,第011期
6. 一种CPN模型驱动的IOCO一致性测试生成方法 [C] . Liu Jing ,刘靖 ,Li Ru . 第七届中国测试学术会议 . 2012
7. 基于EFSM模型的软件故障检测与一致性测试生成研究 [A] . 李永亮 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号