| 一个基于安全模型的测试用例生成工具 |
| 黄亮; 冯登国; 张敏
|
| 2007
|
| 发表期刊 | 中国科学院研究生院学报
 |
| 期号 | 3页码:300-306 |
| 摘要 | 在基于安全评估标准的安全数据库管理系统(Security Database Management System,SDBMS)的安全功能测评中,存在的困难问题之一就是缺乏合适的测试用例.而目前基于安全产品形式化规约的测试用例自动生成方法并不能完全适用于这种需要.因为包括SDBMS在内的大多数信息安全产品的系统规约并不能真实的反映现实系统的行为,系统中的操作除了要完成其预定的功能外,同时还必须满足安全产品安全策略的约束.本文采用了基于安全产品安全策略模型的测试用例自动生成方法,设计并实现了一个测试用例自动化生 |
| 关键词 | 测试用例
信息安全产品测评
类型划分
安全策略模型
|
| 部门归属 | 中国科学院软件研究所信息安全实验室,中国科学院研究生院,中国科学院软件研究所信息安全实验室 北京100080,北京100049,北京100080
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/11392
|
| 专题 | 信息安全国家重点实验室
|
推荐引用方式
GB/T 7714 |
黄亮,冯登国,张敏. 一个基于安全模型的测试用例生成工具[J]. 中国科学院研究生院学报,2007(3):300-306.
|
| APA |
黄亮,冯登国,&张敏.(2007).一个基于安全模型的测试用例生成工具.中国科学院研究生院学报(3),300-306.
|
| MLA |
黄亮,et al."一个基于安全模型的测试用例生成工具".中国科学院研究生院学报 .3(2007):300-306.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论