计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2012年
17期
42-45,48
,共5页
有限状态机%权限控制%基于角色的访问控制%一致性测试集%试探法%错误覆盖率
有限狀態機%權限控製%基于角色的訪問控製%一緻性測試集%試探法%錯誤覆蓋率
유한상태궤%권한공제%기우각색적방문공제%일치성측시집%시탐법%착오복개솔
使用完备的有限状态机生成一致性测试集虽然有效,但数量庞大.针对该问题,考虑一般系统访问控制的基本需求,提出6种探索式方法对有限状态机(FSM)进行约简,有效避免状态爆炸的现象发生,简化了生成的一致性测试集大小.对基于FSM生成树进行实验,结果表明,改进FSM对缩小基于角色的访问控制系统一致性测试集是有效的.
使用完備的有限狀態機生成一緻性測試集雖然有效,但數量龐大.針對該問題,攷慮一般繫統訪問控製的基本需求,提齣6種探索式方法對有限狀態機(FSM)進行約簡,有效避免狀態爆炸的現象髮生,簡化瞭生成的一緻性測試集大小.對基于FSM生成樹進行實驗,結果錶明,改進FSM對縮小基于角色的訪問控製繫統一緻性測試集是有效的.
사용완비적유한상태궤생성일치성측시집수연유효,단수량방대.침대해문제,고필일반계통방문공제적기본수구,제출6충탐색식방법대유한상태궤(FSM)진행약간,유효피면상태폭작적현상발생,간화료생성적일치성측시집대소.대기우FSM생성수진행실험,결과표명,개진FSM대축소기우각색적방문공제계통일치성측시집시유효적.
