예측 소프트웨어 측정과 Z 사양 사례 연구

초록

본 논문은 Z 형식 사양에서 추출한 메트릭이 구현 코드의 복잡도와 품질 지표와 얼마나 높은 상관관계를 보이는지를 실증적으로 검증한다. Z 사양과 Ada 구현을 동일 프로젝트에 적용해 다양한 정량적 지표를 비교·분석함으로써, 초기 설계 단계에서 비용·품질 예측이 가능한지 여부를 탐색한다.

상세 분석

이 연구는 소프트웨어 개발 초기 단계에서 비용과 품질을 예측할 수 있는 정량적 근거를 제공하고자 한다는 점에서 실용적 의의를 가진다. 저자는 Z 사양에 적용 가능한 여러 구조적 메트릭—예를 들어 선언 수, 스키마 복잡도, 연산자 사용 빈도, 종속성 그래프의 깊이 등을 정의하고, 이를 기존 코드 기반 메트릭(LOC, 사이클 복잡도, 결합도, 응집도 등)과 매핑한다. 핵심 가설은 “형식 사양의 복잡도가 구현 코드의 복잡도와 양적 품질에 선형 혹은 비선형적으로 반영된다”는 것이다.

사례 연구는 실제 산업 프로젝트에서 사용된 Z 사양과 그에 대응하는 Ada 구현을 대상으로 한다. 사양 단계에서 자동화 도구를 이용해 12개의 사양 메트릭을 수집하고, 구현 단계에서는 15개의 전통적 코드 메트릭을 추출하였다. 이후 피어슨 상관계수와 스피어만 순위 상관계수를 활용해 두 집합 간의 통계적 연관성을 검증하였다. 결과는 대부분의 사양 메트릭이 코드 메트릭과 중간 이상(0.5~0.8)의 양의 상관관계를 보였으며, 특히 스키마 간 의존성 깊이와 코드 결합도, 선언 수와 LOC 사이에 강한 상관이 관찰되었다.

흥미로운 점은 일부 메트릭—예를 들어 연산자 다양성(Operator Variety)은 코드 응집도와는 약한(≈0.3) 상관을 보였지만, 오류 발생률과는 유의미한 양의 상관(≈0.6)을 나타냈다는 것이다. 이는 사양 수준에서 복잡한 연산을 많이 사용하는 경우 구현 시 버그가 증가할 가능성을 시사한다. 또한 회귀 분석을 통해 사양 메트릭만으로도 구현 규모(LOC)와 평균 사이클 복잡도를 예측할 수 있는 모델을 구축했으며, 예측 오차는 평균 절대 오차 12% 수준에 머물렀다.

연구자는 이러한 결과를 바탕으로 사양 단계에서 메트릭 기반 위험 평가와 자원 배분이 가능함을 주장한다. 다만, 사례가 단일 프로젝트에 국한되어 있어 일반화에 한계가 있으며, 사양 언어와 구현 언어 간의 변환 규칙이 메트릭 상관에 영향을 줄 수 있다는 점을 인정한다. 향후 연구에서는 다양한 도메인·언어 조합에 대한 메트릭 포트폴리오 확장과, 머신러닝 기반 다변량 예측 모델을 탐색할 필요가 있다.