[00003132]基于代码生成和符号执行的访问控制策略测试自动生成方法
技术详细介绍
本发明提出一种基于代码生成和符号执行的访问控制策略测试自动生成方法，以针对XACML策略测试的实际需求，弥补现有测试XACML策略技术和工具的不足。该发明方法首先对用户指定受测试的XACML策略进行数值化处理，然后将受测试的XACML策略转换为语义等价的C代码表示形式；再通过符号执行工具生成C代码的测试输入，将生成的测试输入翻译为XACML请求；最后以生成的XACML请求作为策略评估器的输入，发送到XACML策略进行评估，得到授权结果。本发明方法利用符号执行测试技术，能够高效地生成充分覆盖XACML策略的测试请求，有利于发现XACML策略中的错误。
