Institutional Repository
| 基于安全策略模型的安全功能测试用例生成方法 | |
| Alternative Title | a security function test suite generation method based on security policy model |
| 张敏; 冯登国; 陈驰 | |
| 2009 | |
| Source | 计算机研究与发展
 |
| ISSN | 1000-1239 |
| Volume | 46Issue:10Pages:1055-1062 |
| English Abstract | 实施第三方安全功能独立测试是信息安全产品测评中的一个重要环节,对于以安全数据库管理系统为代表的信息安全产品,其系统规约的测试并不能完全真实反映系统行为,还需要满足系统安全策略.提出了基于安全策略模型的安全功能测试用例自动生成方法,该方法包括基于语法的划分、基于规则的划分、基于类型的划分等步骤,依据形式化安全模型生成正确描述系统行为的操作测试用例集.该方法有助于提高测试质量,发现手工测试中难以发现的缺陷,并有助于减少测试过程中的重复劳动,实现测试自动化并提高测试效率. |
| Keyword | 安全策略模型 安全功能测试 测试用例生成 自动化测试 基于类型的划分 |
| Department | 信息安全国家重点实验室 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/2046 |
| Collection | 信息安全国家重点实验室 |
| Recommended Citation GB/T 7714 | 张敏,冯登国,陈驰. 基于安全策略模型的安全功能测试用例生成方法[J]. 计算机研究与发展,2009,46(10):1055-1062. |
| APA | 张敏,冯登国,&陈驰.(2009).基于安全策略模型的安全功能测试用例生成方法.计算机研究与发展,46(10),1055-1062. |
| MLA | 张敏,et al."基于安全策略模型的安全功能测试用例生成方法".计算机研究与发展 46.10(2009):1055-1062. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| suite-generation-bas（612KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment