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