基于改进FSM的RBAC测试集约简方法  

Reduction Method of Role-based Access Control Test Suite Based on Improved Finite State Machine

作　　者：袁佳琳[1] 高建华[1] 

机构地区：[1]上海师范大学计算机科学与技术系,上海200234

出　　处：《计算机工程》2012年第17期42-45,48,共5页Computer Engineering

基　　金：国家自然科学基金资助项目(61073163);上海市科委基金资助项目(09220503000);上海市引进技术的吸收与创新计划基金资助项目(2010CH-014)

摘　　要：使用完备的有限状态机生成一致性测试集虽然有效,但数量庞大。针对该问题,考虑一般系统访问控制的基本需求,提出6种探索式方法对有限状态机(FSM)进行约简,有效避免状态爆炸的现象发生,简化了生成的一致性测试集大小。对基于FSM生成树进行实验,结果表明,改进FSM对缩小基于角色的访问控制系统一致性测试集是有效的。A test suite generated using complete Finite State Machine（FSM） has excellent fault detection ability, but it is astronomically large. This paper presents six heuristic method to reduce the size of the FSM model based on the general requirements from the access control system. These methods not only avoid the state explosion, but also simplify the generation of conformance test suite size. This paper designs experiment based on spanning tree of the FSM. Experimental result shows that using improved FSM to reduce the comfonnance test suite of Role-based-Access Control（RBAC） system is effective.

关 键 词：有限状态机 权限控制 基于角色的访问控制 一致性测试集 试探法 错误覆盖率 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]