SIFG를 이용한 프로그램 복잡도 척도 = A Program Complexity Measure using the Slice - based Information Flow Graph(SIFG)

국문 초록 (Abstract)

본 논문은 프로그램 슬라이스에서의 데이타 토큰들의 정보 흐름에 기초하여 프로그램에서의 정보 흐름을 모델링하기 SIFG(Slice-based Information Flow Graph)를 개발하였다. 다음으로, SIFG에서의 정보 흐름의 복잡도 측정를 통해서 프로그램의 복잡도를 측정하기 위해 SCM(Slice-based Complexity Measure)을 정의하였다. Zuse의 방법에 따라, 본 연구에서는 SIFG에서의 극소 수정(atomic modification) 을 통해 SCM이 순서척도가 됨을 보여주었고, 이항 연산 MBSEQ에 대해서 SCM이 가법성을 만족함을 보여주었고, 이항 연산 MBALT에 대해서는 Zuse의 가법성을 만족하지 않지만 Weyuker의 9번째 공리를 만족함을 보여주었다. 또한 기존 척도들과의 비교를 통해서, SCM이 프로그램 내에서의 제어와 데이타 흐름뿐만 아니라 프로그램의 물리적 크기를 반영하는 측정이 이루어진다는 것을 보여주었다.

다국어 초록 (Multilingual Abstract)

We developed a SIFG(Slice-based Information Flow Graph) for modeling the information flow on program on the basis of the information flow of 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.

목차 (Table of Contents)

• 요약
• Abstract
• 1. 서론
• 2. 프로그램 슬라이스
• 3. 슬라이스 기반 복잡도 척도
• 4. Validation
• 5. 실험 및 결과
• 6. 결론
• 참고문헌
• 저자소개