Institute of Computing Technology, Chinese Academy IR
| 网络协议测试的符号化一致性关系研究 | |
| 邢熠1; 叶新铭2; 谢高岗1 | |
| 2008 | |
| 发表期刊 | 计算机工程与应用
 |
| ISSN | 1002-8331 |
| 卷号 | 44.0期号:029页码:11 |
| 摘要 | 协议的一致性测试可以验证协议实现的正确性，一致性关系是测试生成的基础.网络协议的特点之一是控制消息中会携带大量数据针对网络协议的该特点提出了符号化的一致性关系模型．建立了网络协议的输入输出符号变迁系统，并且依据数据符号买例化策略建立了对应的语义模型，在该模型中系统的活动是集成控制和数据的复杂活动。在此输入输出符号变迁模型的基础上提出了一种符号化的一致性关系以生成测试套。为了便于测试套的自动生成，对所提出的一致性关系进行了简化、在上述过程中数据的处理通过符号化的变量进行建模，这样可以使用统一符号进行数据处理，而不必总是关心具体的数值，只需在适当的时机进行符号的实例化文中所提出的一致性关系模型充分利用了符号化的变量，增加了该模型的抽象程度，避免了处理过程的复杂性，且可以指导测试套的自动生成最后使用IPv6的邻居发现协议对该一致性关系进行了说明. |
| 关键词 | 符号化一致性关系 一致性 则试 输入输出符号变迁系统（IOTS） |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/36860 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.中国科学院计算技术研究所 2.内蒙古大学计算机学院 |
| 第一作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 邢熠,叶新铭,谢高岗. 网络协议测试的符号化一致性关系研究[J]. 计算机工程与应用,2008,44.0(029):11. |
| APA | 邢熠,叶新铭,&谢高岗.(2008).网络协议测试的符号化一致性关系研究.计算机工程与应用,44.0(029),11. |
| MLA | 邢熠,et al."网络协议测试的符号化一致性关系研究".计算机工程与应用 44.0.029(2008):11. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [邢熠]的文章 |
| [叶新铭]的文章 |
| [谢高岗]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [邢熠]的文章 |
| [叶新铭]的文章 |
| [谢高岗]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [邢熠]的文章 |
| [叶新铭]的文章 |
| [谢高岗]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论