基于TTCN-3表格形式的OSP测试例

来源 :微机发展 | 被引量 : 0次 | 上传用户:thp2860051
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了满足日益增长的测试需求,欧洲电信标准协会推出了新一代测试描述语言TTCN-3.TTCN-3的表格形式不仅是其核心语言的一种表现形式,而且强调了如何满足协议一致性测试的需求.文中研究了TTCN-3的表格形式,并提出了一个用表格形式描述的OSP协议的测试例.该测试例可以被应用于OSP协议的一致性测试.
其他文献
DFA最小化的关键在于给出状态集合中所有的等价类。根据状态等价的定义,若能求出每一状态在其所有识别路径上的识别字,则通过比较这些状态的识别字,就可获得状态集合中所有的等价类。现有文献中并未采用这一方法,原因是对于某些状态,可能存在一些较为复杂的识别路径,若按这些路径逐一求出对应的识别字,则有一定的难度。文中基于识别路径中的简单路径,给出一种基于简单路径上的识别字实现DFA最小化的算法。该算法可作为
卑南是台湾高山族第六大支群,其聚落现主要分布在台东平原的北部和花东纵谷以南沿中央山脈东侧山麓地带,即台东市、卑南乡管辖区域的山海之间。除汉族外,与卑南人毗邻且互动
摘 要:改革开放以来,在国内外各种思潮和文化观念的影响下,人们的价值观发生了深刻的变化。部分党员干部的价值观受消极腐化思想观念的影响,出现了偏离社会主导价值观的倾向,陷入了价值观偏异的思想困境。价值观偏异是滋长贪腐行为的内源性思想病灶,是预防腐败的内生性思想障碍。从社会治理的目标来看,治理腐败始于治标终于治本。因此,根治贪腐行为必须从矫治价值观偏异开始,既要以守初心、担使命为价值原点,引领“不想腐
三线建设是指20世纪60年代至80年代进行的一场以备战为中心的大规模国防、工业、科技及交通基本设施建设运动。2000年以来,三线建设研究得到了越来越多专家学者的关注。2019
一般来说,软件系统天生就是无形、抽象、复杂的,并且--至少从理论上来说--它们是可无限改变的.文中引入著名的"石头问题",说明客户的"石头系统" 的需求从一开始就是含糊的,如
大学提供给学生的是什么?简而言之,就是学习环境。杜威的实用主义教育思想注重效用原则,强调实用主义方法是引导人们积极地改造环境。从实用主义角度认识高校信息化教学环境建设
介绍了一种基于椭圆曲线和门限算法的数字签名算法,并提出了一个基于分布式PKI的移动Ad Hoc网络安全体系结构。该体系结构中主要采用了分布式PKI安全机制、门限密钥管理、椭圆
随着软件系统的日益复杂,软件开发、维护以及进化的大部分工作和主要成本集中在对现有系统的理解上.逆向工程以支持程序理解为目标,通过分析目标系统,产生系统不同形式和不同
高校廉政文化建设对培育立德树人的校园文化和形成良好的社会政治生态具有重要作用。全媒体时代高校廉政文化建设既迎来机遇也面临挑战。全面从严治党的新常态新要求、全媒体