Research of a Data Flow Test Method for Attribute-Based Access Control Systems

this paper proposes a data flow test model for attribute-based access control (ABAC) systems. First, the data flows of attribute values are described by formal forms and then the optimized histogram technique is used to analyze the range and the trend of the data flows. Then, an improved test coverage standard which is suitable for ABAC is used to analyze the error types and the causes of the test results. Finally, in order to verify the model's coverage rate and the effectiveness of generated test cases, the attribute mutation technique is used to compare the proposed method in this paper with related random algorithms and generation algorithms of simple test cases. The results of a large number of experiments show that the model is superior to the related random algorithms and simple test cases generation algorithms in terms of coverage rate and the effectiveness of test cases.