论文部分内容阅读
实施第三方安全功能独立测试是信息安全产品测评中的一个重要环节，对于以安全数据库管理系统为代表的信息安全产品，其系统规约的测试并不能完全真实反映系统行为，还需要满足系统安全策略．提出了基于安全策略模型的安全功能测试用例自动生成方法，该方法包括基于语法的划分、基于规则的划分、基于类型的划分等步骤，依据形式化安全模型生成正确描述系统行为的操作测试用例集．该方法有助于提高测试质量，发现手工测试中难以发现的缺陷，并有助于减少测试过程中的重复劳动，实现测试自动化并提高测试效率．