Inspection is widely believed to be an effective software verification and validation (V&V) method. However, software inspection is labor-intensive. This labor-intensive nature is compounded by a view that since software inspection uses little technology, they do not fit in well with a more technology-oriented development environment. Nevertheless, software inspection is gaining in popularity. The researchers at KAIST Nuclaer I&C and Information Engineering Laboratory (NICIEL) developed the software tool managing and supporting inspection tasks, named “SIS-RT.” SIS-RT is designed to partially automate the software inspection processes. SIS-RT supports the analyses of traceability between the specification documents. To make SIS-RT prepared for the documents written in Korean language, certain techniques in natural language processing have been reviewed. Among those, the case grammar is most suitable for the analyses of Korean language. In this paper, the methodology for analyzing the traceability between documents written in Korean language will be proposed based on the case grammar. And some examples of the analysis will be discussed.
원자력발전소의 보호시스템에 사용되는 디지털 시스템은 매우 높은 신뢰도를 요구한다. 고신뢰도의 소프트웨어를 얻기 위해서는 소프트웨어 전 단계에서 철저한 확인 및 검증 작업이 필요하나, 이는 상당한 비용과 시간을 요구한다. 소프트웨어 확인 및 검증 작업에 있어서 산업계에서 가장 널리 쓰이고 있는 방법으로는 인스펙션(inspection)을 들 수 있는데, 인스펙션은 효과적인 분석 방법임에도 불구하고 많은 인력을 필요로 하는 작업이다. 따라서, 효과적으로 확인 및 검증 작업을 수행하기 위해서는 이러한 인스펙션 작업을 지원하는 소프트웨어 도구가 필요한데, 이러한 목적을 만족시키기 위해여 개발된 소프트웨어 도구가 SIS-RT이다.
이러한 SIS-RT가 보다 실질적인 지원 도구로써 활용되기 위하여 다음과 같은 세 가지 기능적인 성능향상(upgrade)가 진행 되었다.
문서 트리 분석의 검색 기능 강화
문서 추적성 분석에 대한 반자동화
NuSCR과의 연계방안모색
문서 추적성 분석이란, 기존의 Functional Requirement (FR)에서 Software Requirement Specification (SRS)를 작성하였을 때, FR에 나타나있는 모든 내용이 SRS에도 나타나는가를 검사하기 위한 확인 및 검증 활동을 말한다. 현재는 FR이나 SRS 모두 자연어(natural language)로 쓰여지고 있으므로, 위에서 언급한 문서 추적성 분석을 수행하는데 있어서는 SRS에서 어느 부분에 FR의 어느 부분과 관련된 내용이 기술되어 있는가 하는 문제가 중요한 문제로 부각이 된다. 이에 따라, SIS-RT에서는 FR과 SRS에 있는 각각의 문장을 표의 형태로 나열한 뒤, 각 문장 사이의 연관관계를 정밀검사(inspection)를 수행하는 검사자(inspector)가 표시할 수 있도록 되어 있다.