DBMS安全审计功能测试用例生成方法

摘要

数据库管理系统(DBMS)安全审计功能的符合性测试是数据库安全性等级评估的重要内容，也是数据库运行安全审计威胁监控的内容。本文提出一种基于安全审计规范使用标记迁移系统(LTS)建立形式化模型的DBMS安全审计测试用例自动化生成方法。该方法根据数据库分级评估的安全目标建立审计功能组件的LTS模型，再依据LTS模型启发式路径搜索算法从模型的路径中生成测试场景，然后根据评估对象的安全约束填入被测数据库场景数据生成测试用例集。实验结果表明，基于行为模型的测试用例生成方法可以实际地生成覆盖数据库安全审计组件功能测试需求的测试用例集。