公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

协议可扩展属性分析及测试方法: 2012年; 基于协议的RFC(Request for Comment)系列分析了协议的扩展方式,提出了协议扩展的几种可能方式,包括状态扩展、数据包扩展、值扩展及字段扩展,并结合提出的可扩展属性给出了一般的测试方法。对于有形式化模型的协议,给出了状态扩展和数据包扩展的可执行测试序列生成算法;对于无形式化模型的协议,基于值扩展和字段扩展给出了测试数据选择方法。以DNS为例分析了协议的可扩展属性及测试生成方法,并进行了实验。; 李华郭亚杰; 关键词：可扩展

Minix3访问控制的系统调用的CPN建模与测试被引量：1: 2013年; 系统调用是操作系统提供给用户的编程接口之一,用户可以通过系统调用完成所需的功能操作,但是也可以通过系统调用的漏洞进行破坏,因此对于安全相关的系统调用测试很重要,其中与安全访问策略相关的系统调用尤为重要,直接关系到资源的控制权力.本文针对微内核操作系统Minix 3的安全访问策略,分析了与安全密切相关的典型系统调用,并利用CPN建立了相应的模型,之后对Minix 3进行了访问控制测试,根据已经建立好的CPN模型来制定访问控制规则,采用变异测试保证其测试质量,并在实际的操作系统上进行编程测试,给出了实验结果.; 李华李华岳婧媛庞滨; 关键词：微内核访问控制

全选清除导出

共1页<1>

内蒙古自治区自然科学基金(211MS912)