期刊导航
期刊开放获取
重庆大学
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Minix3访问控制的系统调用的CPN建模与测试
被引量：
1
1
作者
李华
岳婧媛
+1 位作者
庞滨
贺楠
《小型微型计算机系统》
CSCD
北大核心
2013年第12期2828-2832,共5页
系统调用是操作系统提供给用户的编程接口之一,用户可以通过系统调用完成所需的功能操作,但是也可以通过系统调用的漏洞进行破坏,因此对于安全相关的系统调用测试很重要,其中与安全访问策略相关的系统调用尤为重要,直接关系到资源的控...
系统调用是操作系统提供给用户的编程接口之一,用户可以通过系统调用完成所需的功能操作,但是也可以通过系统调用的漏洞进行破坏,因此对于安全相关的系统调用测试很重要,其中与安全访问策略相关的系统调用尤为重要,直接关系到资源的控制权力.本文针对微内核操作系统Minix 3的安全访问策略,分析了与安全密切相关的典型系统调用,并利用CPN建立了相应的模型,之后对Minix 3进行了访问控制测试,根据已经建立好的CPN模型来制定访问控制规则,采用变异测试保证其测试质量,并在实际的操作系统上进行编程测试,给出了实验结果.
展开更多
关键词
微内核
系统调用
访问控制
测试
下载PDF
职称材料
基于正交实验的Web表单关联项测试
被引量：
1
2
作者
郭亚杰
李华
岳婧媛
《内蒙古大学学报（自然科学版）》
CAS
CSCD
北大核心
2011年第5期528-532,共5页
随着Web应用越来越庞大,Web应用的表单项之间的关系越来越复杂,这给Web测试带来了一定的难度.单纯的将Web表单项作为一个因素进行正交实验会得到一些不合理的测试例,因此将相互关联的表单项作为一个关联组,将关联组作为一个单独的因素...
随着Web应用越来越庞大,Web应用的表单项之间的关系越来越复杂,这给Web测试带来了一定的难度.单纯的将Web表单项作为一个因素进行正交实验会得到一些不合理的测试例,因此将相互关联的表单项作为一个关联组,将关联组作为一个单独的因素进行正交实验,再将关联组内的表单项做全实验后嵌入到正交实验测试例中,得到最终的测试例.相对于简单的使用正交实验得到的测试例,该方法得到的测试例更加合理有效.
展开更多
关键词
正交实验
WEB测试
表单关联项
下载PDF
职称材料
基于属性的Minix3系统调用的建模和测试
3
作者
岳婧媛
李华
+2 位作者
郭亚杰
贺楠
庞滨
《内蒙古大学学报（自然科学版）》
CAS
CSCD
北大核心
2011年第5期570-575,共6页
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码...
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码层次中产生的复杂度,提高测试效率.
展开更多
关键词
Minix3
系统调用
属性
层次Petri网
下载PDF
职称材料
题名
Minix3访问控制的系统调用的CPN建模与测试
被引量：
1
1
作者
李华
岳婧媛
庞滨
贺楠
机构
内蒙古大学计算机学院
内蒙古大学网络信息中心
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第12期2828-2832,共5页
基金
国家自然科学基金项目(61163011)资助
内蒙古自然科学基金项目(211MS912)资助
文摘
系统调用是操作系统提供给用户的编程接口之一,用户可以通过系统调用完成所需的功能操作,但是也可以通过系统调用的漏洞进行破坏,因此对于安全相关的系统调用测试很重要,其中与安全访问策略相关的系统调用尤为重要,直接关系到资源的控制权力.本文针对微内核操作系统Minix 3的安全访问策略,分析了与安全密切相关的典型系统调用,并利用CPN建立了相应的模型,之后对Minix 3进行了访问控制测试,根据已经建立好的CPN模型来制定访问控制规则,采用变异测试保证其测试质量,并在实际的操作系统上进行编程测试,给出了实验结果.
关键词
微内核
系统调用
访问控制
测试
Keywords
micro-kernel
system call
access control
test
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于正交实验的Web表单关联项测试
被引量：
1
2
作者
郭亚杰
李华
岳婧媛
机构
内蒙古大学计算机学院
内蒙古大学网络信息中心
出处
《内蒙古大学学报（自然科学版）》
CAS
CSCD
北大核心
2011年第5期528-532,共5页
基金
国家自然科学基金项目(60863015)
教育部春晖项目(Z2007-1-01032)
+2 种基金
内蒙古自然科学基金重点项目(200711020803
200804042D20)内蒙古自然科学基金项目(20080404MS0906)
内蒙古自治区高等学校科学研究项目(NJ09012)
文摘
随着Web应用越来越庞大,Web应用的表单项之间的关系越来越复杂,这给Web测试带来了一定的难度.单纯的将Web表单项作为一个因素进行正交实验会得到一些不合理的测试例,因此将相互关联的表单项作为一个关联组,将关联组作为一个单独的因素进行正交实验,再将关联组内的表单项做全实验后嵌入到正交实验测试例中,得到最终的测试例.相对于简单的使用正交实验得到的测试例,该方法得到的测试例更加合理有效.
关键词
正交实验
WEB测试
表单关联项
Keywords
orthogonal experiment
Web test
associated form items
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于属性的Minix3系统调用的建模和测试
3
作者
岳婧媛
李华
郭亚杰
贺楠
庞滨
机构
内蒙古大学计算机学院
内蒙古大学网络信息中心
出处
《内蒙古大学学报（自然科学版）》
CAS
CSCD
北大核心
2011年第5期570-575,共6页
基金
国家自然科学基金项目(60863015)
教育部春晖项目(z2007-1-01032)
+2 种基金
内蒙古自然科学基金重点项目(200711020803
20080404ZD20)内蒙古自然科学基金项目(20080404MS0906)
内蒙古自治区高等学校科学研究项目(NJ09012)
文摘
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码层次中产生的复杂度,提高测试效率.
关键词
Minix3
系统调用
属性
层次Petri网
Keywords
Minix3
system call
property
hierarchical Petri net
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Minix3访问控制的系统调用的CPN建模与测试
李华
岳婧媛
庞滨
贺楠
《小型微型计算机系统》
CSCD
北大核心
2013
1
下载PDF
职称材料
2
基于正交实验的Web表单关联项测试
郭亚杰
李华
岳婧媛
《内蒙古大学学报（自然科学版）》
CAS
CSCD
北大核心
2011
1
下载PDF
职称材料
3
基于属性的Minix3系统调用的建模和测试
岳婧媛
李华
郭亚杰
贺楠
庞滨
《内蒙古大学学报（自然科学版）》
CAS
CSCD
北大核心
2011
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
