首页> 中文期刊> 《电子学报》 >基于构造类别代数的变异分析

基于构造类别代数的变异分析

开具论文收录证明 >>

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

文献代查 >>

团队文献服务 >>

页面导航

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

摘要

在通信协议的一致性测试中,可以使用构造类别代数来对协议进行形式化的描述.本文将变异分析引入构造类别代数中,设计了应用于构造类别代数的几类变异算子,并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.

著录项

来源
《电子学报》 |2002年第z1期|2155-2157|共3页
作者
周晓煜; 赵保华; 屈玉贵;
展开▼
作者单位

中国科学技术大学;

中国科学技术大学;

中国科学技术大学;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程 ;
关键词
构造类别代数; 变异分析; 变异算子;

相似文献

中文文献
外文文献
专利

1. 基于构造类别代数的变异分析 [J] . 周晓煜 ,赵保华 ,等 . 电子学报 . 2002 ,第12A期
2. 基于构造类别代数的数据流和控制流相结合的协议测试 [J] . 郭雄辉 ,赵保华 ,周颢 . 北京邮电大学学报 . 2003 ,第z2期
3. 利用构造类别代数的协议安全测试方法 [J] . 陈伟琳 ,周颢 ,赵保华 . 西安交通大学学报 . 2008 ,第012期
4. 潜在类别因子模型在基于通路的稀有变异遗传关联研究中的应用 [J] . 冀晓慧 ,卜涛 ,皮路程 . 中国卫生统计 . 2018 ,第003期
5. 潜在类别模型和主成分法在稀有变异关联分析中的应用比较 [J] . 皮路程 ,卜涛 ,冀晓慧 . 中国卫生统计 . 2018 ,第002期
6. 一种基于构造类别代数的协议一致性测试方法 [C] . 周晓煜 ,赵保华 ,屈玉贵 . 2002全国软件与应用学术会议(NASAC) . 2002
7. 基于构造类别代数的协议安全测试研究 [A] . 章志燮 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号