%0 Journal Article
%T A generation tool of test case based on security model<br>一个基于安全模型的测试用例生成工具
%A HUANG Liang
%A FENG Deng-Guo
%A ZHANG Min
%A <br>黄亮
%A 冯登国
%A 张敏
%J 中国科学院研究生院学报
%D 2007
%I 
%X During the security evaluation of security products,one of the difficulties is the lack of proper test cases.Current automatic test case generation tools cannot completely solve the problem.The reason is that most specifications of information security products,such as the Secure Database Management System(SDBMS),cannot reflect the systems' real behaviors.Besides the requirements of the product specification,the system must also satisfy the requirements of the security policies.In this paper,we present the design and implementation of CaseBuilder,an automatic test case generating tool,which has adopted a test case generating method based on the product's security policies.As the result of prototyping,CaseBuilder can generate test cases for SDBMS effectively,which can well satisfy the testing requirements of security policy model.
%K test case
%K evaluation of security product
%K type-based partition
%K security policy model<br>测试用例
%K 信息安全产品测评
%K 类型划分
%K 安全策略模型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=B5EDD921F3D863E289B22F36E70174A7007B5F5E43D63598017D41BB67247657&cid=B47B31F6349F979B&jid=67CDFDECD959936E166E0F72DE972847&aid=4C2FB5763FAE452B&yid=A732AF04DDA03BB3&vid=B91E8C6D6FE990DB&iid=38B194292C032A66&sid=B1E36BF7B9783A85&eid=31BCE06A2FD82A16&journal_id=1002-1175&journal_name=中国科学院研究生院学报&referenced_num=0&reference_num=5