A Program Complexity Measure using the Slice-based Information Flow Graph(SIFG)
Wan-Kyoo Choi, Ilyong Chung, Sung‐Joo Lee · Jeongbo gwahaghoe nonmunji. so'peuteuweeo mich eung'yong · 2001
We developed a SIFC(Slice-based Information Flow Graph) For modeling the information flow on program on the basis of the information flow of a data tokens on program slices. Then we defined a SCM(Slice-based Complexity Measure) for measuring the program complexity by measuring the complexity of information flow on SIFG, We showed that, according to Zuse's approach, it assumed ordinal scale based on atomic modifications on SIFG and that it was additive to binary operation MBSEQ and that it was not additive to binary operation MBALT but satisfied Weyuker's 9th axiom. Also based on comparison with the existing measures, we showed that SCM could measure not only the control and data flow in program but also the physical size of program.