网络协议测试的符号化一致性关系研究
文献类型：期刊论文
| 作者 | 邢熠1; 叶新铭2; 谢高岗1 |
| 刊名 | 计算机工程与应用
 |
| 出版日期 | 2008 |
| 卷号 | 44.0期号:029页码:11 |
| 关键词 | 符号化一致性关系 一致性 则试 输入输出符号变迁系统（IOTS） |
| ISSN号 | 1002-8331 |
| 英文摘要 | 协议的一致性测试可以验证协议实现的正确性，一致性关系是测试生成的基础.网络协议的特点之一是控制消息中会携带大量数据针对网络协议的该特点提出了符号化的一致性关系模型．建立了网络协议的输入输出符号变迁系统，并且依据数据符号买例化策略建立了对应的语义模型，在该模型中系统的活动是集成控制和数据的复杂活动。在此输入输出符号变迁模型的基础上提出了一种符号化的一致性关系以生成测试套。为了便于测试套的自动生成，对所提出的一致性关系进行了简化、在上述过程中数据的处理通过符号化的变量进行建模，这样可以使用统一符号进行数据处理，而不必总是关心具体的数值，只需在适当的时机进行符号的实例化文中所提出的一致性关系模型充分利用了符号化的变量，增加了该模型的抽象程度，避免了处理过程的复杂性，且可以指导测试套的自动生成最后使用IPv6的邻居发现协议对该一致性关系进行了说明. |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/36859]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 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. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。