TTCN-3测试与漏洞模式分析相结合的漏洞查找方法

来源 :中国科学技术大学 | 被引量 : 0次 | 上传用户:rztest
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
TTCN-3测试语言作为国际上唯一的测试标准语言,广泛应用于协议一致性测试,互操作性测试等测试领域。使用TTCN-3进行测试前需要解决的一个重要问题就是测试适配器和编解码器的开发,它们往往占据测试开发的大部分工作量。另外,随着测试应用领域的不断扩展,编解码方式及其需要支持的数据类型也更加多样化,而传统的TTCN-3标准里的TCI数据类型接口,已经不能很好的表达不断扩展的数据类型了。如何设计一个新的编解码器的框架,使其能够方便的扩充新的编解码方式和支持新的类型描述语言,是当前使用TTCN-3测试时迫切需要解决的问题。本文研究了上述问题,设计实现了一套通用编解码器,由中间公共类型和值、编解码实现以及对外接口三个模块组成。通过具有良好可扩展性的中间类型和值模块,通用编解码器不仅能够灵活支持各种数据类型语言,而且它的实现独立于特定的TTCN-3测试平台,实现了真正意义上的通用。目前已经实现了工业界常用的编解码,如BER,PER,XER,TLV+,ISO8583,HTTP等。另外,为了配合使用通用编解码器对Web Services的应用进行测试,本文提出了自己的XML Schema&DTD到TTCN-3语言的转换方案,实现了相应的工具。借助TTCN-3测试发现被测系统的某个漏洞后,通过分析提取其所在的源代码,生成相应漏洞模式。使用相似漏洞查找算法,进而发现被测系统中存在的其它相似漏洞。本文首次提出了使用程序依赖图表示漏洞模式以及相应的漏洞模式生成算法,并实现成对应的工具SBF。通过结合TTCN-3测试以及静态漏洞查找方法,提高了漏洞查找的效率以及测试的覆盖率。基于通用编解码器所开发的TTCN-3测试套已经作为一个度量标准应用于中国移动手机支付业务(NFC)主要接口的一致性测试及异常性测试中,取得了较好的效果。在NFC测试中,通过SBF相似漏洞查找工具发现了真实的漏洞,说明通过TTCN-3测试与静态漏洞查找方法结合的有效性。
其他文献
<正>编前语1989年,国家测绘局测绘科学研究所(现中国测绘科学研究院)航测仪器部面临着体制上的重大选择,1989年3月30日,整个部门实现了由公益性到企业化的变革,这一走就是30
国务院颁布的《关于加快发展养老服务业的若干意见》提出将有规划地在全国范围内开展"以房养老"试点,这对完善我国养老模式体系具有重要意义。从国际经验看,以美国为代表的西
AVS(《信息技术先进音视频编码》标准)是我国的第一个音视频编解码标准,也是我国音视频产业的基础性标准,具有自主知识产权。AVS编解码标准压缩率高,差错恢复能力强,适用范围
执行标的有限性是指作为执行标的的范围是有限的,例如豁免财产当然不能成为执行标的。执行标的有限性表现为某些执行案件中被执行人有限责任范围内的财产得作为执行标的;人身
在新课程改革的背景下,提高课堂教学的效果仍然是教师追求的重要目标。在中学政治教学中:应充分利用学生资源,树立学生即资源的资源观;要处理好预设与生成的关系,形成动态、生成的
随着我国经济发展步入新常态,企业越来越注重可持续、高质量发展,因此对财务分析、企业估值、价值投资等方面的需求相应不断增长,对自由现金流管理的重视程度也与日俱增,和传
电子制造业产品更新换代快,行业竞争激烈,决定了电子制造企业必须快速响应市场的变化,提高生产效率,降低管理成本,才能够提高竞争力。缩短产品上市周期已经成为市场竞争的焦
光交换和光传输是构成现代信息网络基本构架的两大支撑技术。随着光波分复用技术的成熟,光纤中的信道数目越来越多,必须采取新的技术来灵活地实现光信号的路由与交换。波长选
"交易银行"是指商业银行专注于客户的交易行为,为客户提供覆盖交易全过程的一站式综合金融服务方案。加快"交易银行"建设,探索对公业务转型发展的新模式,有利于商业银行转变
国内农产品期货市场有玉米、大豆、豆粕、小麦、棉花及天胶六个主要的交易品种,玉米属于净出口产品,主要出口日本、韩国、东南亚等周边地区,大豆主要的进口国为美国,二者受美元的