A Class Slicing Algorithm for Testing the Independence of the Critical Security Variable
Yuan Zhao · Journal of Lanzhou Jiaotong University · 2010
A new idea using program slicing techniques to determine the independence of the critical safety variables is presented.It mainly solves the problem of inaccurate judgement and complex identification process of the independence of critical security components within a class of critical safety variables.By MSVdiagram,the method can get an intuitive and accurate calculation result of the member variable within one class,namely the program slicing of specific statement line of criticality safety variables,so as to achieve the purpose of analyzing the independence of criticality safety variables.