论文部分内容阅读
使用完备的有限状态机生成一致性测试集虽然有效，但数量庞大。针对该问题，考虑一般系统访问控制的基本需求，提出6种探索式方法对有限状态机（FSM）进行约简，有效避免状态爆炸的现象发生，简化了生成的一致性测试集大小。对基于FSM生成树进行实验，结果表明，改进FSM对缩小基于角色的访问控制系统一致性测试集是有效的。