岳婧媛
- 作品数：4 被引量：3H指数：1
- 供职机构：内蒙古大学计算机学院更多>>
- 发文基金：内蒙古自治区自然科学基金国家自然科学基金教育部“春晖计划”更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于属性的Minix3系统调用的建模和测试
- 2011年
- 面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码层次中产生的复杂度,提高测试效率.
- 岳婧媛李华郭亚杰贺楠庞滨
- 基于属性的微内核系统调用CPN建模和测试
- 操作系统是应用系统正确、安全运行的基础软件。微内核操作系统可提高系统的可扩展性,增强系统的可靠性和安全性,有很好的应用前景。系统调用是操作系统提供给用户的唯一接口,用户可以通过系统调用进行相应的功能操作,但同时也可以通过...
- 岳婧媛
- 关键词：微内核
- 文献传递
- Minix3访问控制的系统调用的CPN建模与测试被引量：1
- 2013年
- 系统调用是操作系统提供给用户的编程接口之一,用户可以通过系统调用完成所需的功能操作,但是也可以通过系统调用的漏洞进行破坏,因此对于安全相关的系统调用测试很重要,其中与安全访问策略相关的系统调用尤为重要,直接关系到资源的控制权力.本文针对微内核操作系统Minix 3的安全访问策略,分析了与安全密切相关的典型系统调用,并利用CPN建立了相应的模型,之后对Minix 3进行了访问控制测试,根据已经建立好的CPN模型来制定访问控制规则,采用变异测试保证其测试质量,并在实际的操作系统上进行编程测试,给出了实验结果.
- 李华李华岳婧媛庞滨
- 关键词：微内核访问控制
- 基于正交实验的Web表单关联项测试被引量：1
- 2011年
- 随着Web应用越来越庞大,Web应用的表单项之间的关系越来越复杂,这给Web测试带来了一定的难度.单纯的将Web表单项作为一个因素进行正交实验会得到一些不合理的测试例,因此将相互关联的表单项作为一个关联组,将关联组作为一个单独的因素进行正交实验,再将关联组内的表单项做全实验后嵌入到正交实验测试例中,得到最终的测试例.相对于简单的使用正交实验得到的测试例,该方法得到的测试例更加合理有效.
- 郭亚杰李华岳婧媛
- 关键词：正交实验WEB测试
