一个基于安全模型的测试用例生成工具

• 作者: 冯登国 张敏 黄亮
• 来源期刊: 中国科学院研究生院学报
• 学科: 工学
• 关键词: 测试用例 信息安全产品测评 类型划分 安全策略模型
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 论文
• 页码范围: 300-306
• 页数: 7页
• 分类号: TP319
• 字数: 7168字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-1175.2007.03.005

摘要

在基于安全评估标准的安全数据库管理系统(Security Database Management System,SDBMS)的安全功能测评中,存在的困难问题之一就是缺乏合适的测试用例.而目前基于安全产品形式化规约的测试用例自动生成方法并不能完全适用于这种需要.因为包括SDBMS在内的大多数信息安全产品的系统规约并不能真实的反映现实系统的行为,系统中的操作除了要完成其预定的功能外,同时还必须满足安全产品安全策略的约束.本文采用了基于安全产品安全策略模型的测试用例自动生成方法,设计并实现了一个测试用例自动化生成工具--CaseBuilder.该工具可针对SDBMS快速生成能够满足产品安全策略测试要求的测试用例集.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯登国		243	6305	35.0	71.0
2	张敏	中国科学院软件研究所信息安全实验室	184	2770	26.0	48.0
3	黄亮	中国科学院软件研究所信息安全实验室	21	290	6.0	17.0