• 정보과학회 논문지
• /
• 제42권3호
• /
• pp.328-340
• /
• 2015

소프트웨어에 대한 고객의 요구사항은 다양한 이유로 인해 지속적으로 변화하며, 그로 인해 소프트웨어 개발 시 변경은 불가피한 작업이다. 요구사항에 대한 변경 요청이 발생하는 경우, 변경의 파급 효과를 정확하게 예측하는 것은 효율적인 변경 관리를 위해 매우 중요하다. 본 논문은 객체지향 개발 시 적용할 수 있는 추적성 정보의 관리 방법과 시스템을 구성하는 각 산출물들의 추적성 정보를 바탕으로 변경의 파급효과를 예측하기 위한 영향 분석 지침을 제시한다. 객체지향 시스템을 구성하는 주요 산출물들에 대해서 추적의 대상이 되는 추적 항목들을 식별하고, 그것들의 연관 관계를 정의한다. 추적 항목들의 연관 관계를 기반으로 변경의 파급 효과를 순방향 및 역방향으로 추적하고, 분석할 수 있는 가이드라인을 제시함으로써, 정확한 변경의 범위를 식별하는 것이 본 논문이 제안하는 방법의 목적이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제41권7호
• /
• pp.457-468
• /
• 2014

최근 자가 적응 시스템의 개발을 용이하게 하기 위해 적응 관련 요소와 시스템의 행동을 분리한 MADAM, DiVA, Rainbow들이 제안되었다. 하지만 기존의 자가 적응 시스템을 개발하는 방법들은 개발 과정에서 요구사항과 아키텍처간의 상호 영향을 수용하는 체계적인 방법을 제공하지 않는다. 이는 요구사항의 변경이 미치는 영향을 판단하기 어렵고, 개발 과정에서 발생하는 변화에 대해 빠른 대처가 어려우며, 이해관계자들이 시스템에 대해 낮은 이해도를 가지게 된다. 이러한 문제를 해결하기 위하여, 본 논문은 SAS의 개발에서 요구사항과 아키텍처 사이의 추적 가능성을 이용한 체계적인 인터위빙 방법을 제안한다. 제안한 방법은 요구사항과 아키텍처의 각 구성요소 사이의 관계를 통해 제공되며, 제공된 관계는 요구사항의 변경이 영향을 미치는 요소들을 추적하고, 아키텍처의 구성에 대한 근거를 추적하여 시스템에 대한 이해도를 높여준다. 본 논문은 스마트 그리드에서 적응형 협력 시스템의 개발과 변화 과정을 통해 제안한 방법의 유용성을 보여준다.

• Nuclear Engineering and Technology
• /
• 제48권2호
• /
• pp.404-418
• /
• 2016

This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. Literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification.

• 시스템엔지니어링학술지
• /
• 제10권1호
• /
• pp.57-64
• /
• 2014

We propose a methodology to automatically extract the requirements from the documents and check the traceability between them. The documents include not only the text file but also PDF or image files. We also suggest a method to visualize the result with maps, numbers, and graphs. By comparing the results with those of expert reviews, we show that it is necessary to use knowledge-based method in future instead of the word-based method for improving the reliability. The results give more values when they are applied in already existing documents than those of newly developed product.

• 한국전자거래학회지
• /
• 제12권3호
• /
• pp.33-47
• /
• 2007

소프트웨어 개발 초기에 모든 요구사항을 정의하는 것은 불가능하기 때문에 요구사항은 소프트웨어 개발이 진행되는 동안에 지속적으로 변경된다. 이러한 요구사항 변경은 개발자가 소프트웨어 구조나 행위를 완벽하게 이해하지 못하거나 변경에 따라 영향을 받는 모든 부분을 식별할 수 없을 경우 많은 오류를 야기 시킨다. 그러므로, 조직의 비즈니스에 공헌하면서 비용 효과적으로 적절히 처리되기 위하여 요구사항은 관리되고 평가되어야한다. 본 논문은 가치분석을 통하여 생성된 휘처 기반의 요구사항추적 링크를 근간으로 하는 요구사항변경 관리 기법을 제안한다. 이는 사용자 요구사항과 산출물간의 연결을 분석하기 위하여 휘처를 중간 매개체로 활용한 추적 링크를 이용한다. 그리고, 요구사항 변경 요청을 휘처 단위로 상세화하기 위한 변경 트리 모델을 정의하고 변경 관리가 수행되는 전체적인 프로세스를 제시한다. 또한, 요구사항 변경 관리 기법을 자산관리포탈시스템에 적용한 사례의 결과를 기술한다.

• 시스템엔지니어링학술지
• /
• 제14권1호
• /
• pp.63-71
• /
• 2018

This paper discusses decommissioning procedure requirements management using requirement engineering to systematically manage the technical requirements and criteria that are required in decontamination and decommissioning activities, and the regulatory requirements that should be complied with in a decommissioning strategy for research reactors and nuclear power plants. A schema was designed to establish the traceability and change management related to the linkage between the regulatory requirements and technical criteria after classifying the procedures into four groups during the full life-cycle of the decommissioning. The results confirmed that the designed schema was successfully traced in accordance with the regulatory requirements and technical criteria required by various fields in terms of decontamination and decommissioning activities. In addition, the changes before and after the revision of the Nuclear Safety Act were also determined. The dismantling procedure requirement management system secured through this study is expected to be a useful tool in the integrated management of radioactive waste, as well as in the dismantling of research reactor and nuclear facilities.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권1호
• /
• pp.13-23
• /
• 2000

소프트웨어가 점점 복잡해지고 대형화됨에 따라서 사용자의 요구가 매우 다양해지고 있으며, 제품에 대한 기대 수준도 높아지고 있다. 그러므로, 사용자의 요구 사항을 정확히 분석하여 효과적으로 개발 단계에 적용하는 것은 매우 중요하다. 본 논문에서는 자연어로 표현되는 요구 사항 문서의 분석 시에 나타나는 오류를 효과적으로 줄이고, 수정하는데 사용될 수 있는 요구 분석 시스템을 제안한다. 제안된 시스템은 문서간 유사도 측정에 의해서 문서간의 의존성(dependency) 분석을 지원하고 문장간 유사도 측정에 의해서 요구 사항간의 연계성(traceability), 중복성(redundancy), 불일치성(inconsistency), 그리고 불완전성(imcompleteness)을 발견하는 것을 지원한다. 또한 모호한 문장을 추출하여 요구사항의 불명확성 (ambiguity)을 발견하는 기능도 제공한다. 문서간 유사도 측정을 위해서 사용된 색인 방법은 슬라이딩 윈도우 모델과 의존 구조 모델을 결합한 것으로 각 모델이 가지는 단점을 효과적으로 보완할 수 있다. 본 논문에서는 문서간, 문장간 유사도 측정 기법의 효율성을 실험을 통해 검증하였으며 구현된 시스템을 통해 분석 처리되는 과정을 보여주고 있다.

• 한국CDE학회논문집
• /
• 제20권4호
• /
• pp.328-336
• /
• 2015

We proposed a methodology to automatically extract the requirements from the documents and check the consistency and traceability among them. The documents include not only text but also PDF or image files. We also suggest a method to visualize the result with maps, numbers, and graphs. By comparing the results with those of manual reviews from experts, we show that it is necessary to use knowledge-based method in future instead of the wordbased method for improving the reliability. The results can be applied effectively for already existing documents.

• 정보처리학회논문지D
• /
• 제16D권2호
• /
• pp.201-212
• /
• 2009

소프트웨어 개발시 요구사항의 일관성 및 완전성을 검증하기 위해 다양한 방법으로 산출물을 추적하는데, 기존 연구에서는 추적메타모델 또는 자동화된 도구를 제시하되 구체적인 추적산출물 및 추적요소 선정이 미흡하며, 추적요소를 제시하는 추적테이블 연구의 경우는 전체공정이 아닌 일부 공정만을 대상으로 추적하고 있다. 이에 본 연구는 일부 공정만 추적한 저자의 이전 추적테이블연구에 이어 프로젝트시작단계에서 아키텍쳐단계, 인도단계까지의 산출물을 추적한 확장된 요구사항추적테이블을 제시하였다. 또한 추적테이블이 확장됨에 따라 추적필드가 많아져서 추적이 복잡해지는 문제점을 해결하기 위해 개발프로세스단위로 통합/분리할 수 있는 추적테이블의 정규화 방안을 제시하였다. 본 연구를 D사의 H시스템개발프로젝트에 적용함으로써 연구의 적용가능성을 검증하고 요구사항의 오류를 쉽게 발견하는 추적의 효과를 확인하였다. 이에 연구를 통해 요구사항의 일관성과 완전성을 검증하는 추적의 정확성을 높여 소프트웨어 개발의 실패를 최소화하고자 하였다.

• 한국산학기술학회논문지
• /
• 제20권3호
• /
• pp.91-99
• /
• 2019

함정은 일반성능, 특수성능, 탑재장비 성능과 관련된 수많은 요구사항이 있으며, 장기간에 걸친 설계 및 건조기간 동안 요구사항은 각 시스템에 반영되고 구현되어야 한다. 요구사항은 설계기간 동안 작성되는 도면, 보고서, 제안요청서, 사양서 등 다양한 문서들을 통해 구체화 된다. 그러나 함정과 같은 복합시스템의 경우 이런 산출물을 통해 요구사항 추적성을 유지하며 요구사항을 관리하는 것에 많은 어려움이 따른다. 함정의 설계 및 건조기술은 오랜 역사 속에 발전되어 왔기 때문에 기존의 문서기반 설계 방식에 익숙하지만, 각종 설계 산출물과 요구사항, 그리고 시스템의 기능, 물리 아키텍처 간 추적성 관리는 어려움이 있다. 함정의 기본설계는 함정 제원 및 성능, 탑재장비 선정 및 배치, 연동 등을 확정하는 중요한 단계이며 시스템 아키텍처 설계 구현을 위한 구체적인 적용 방법 연구를 통해 변화가 요구된다. 따라서 함정 기본설계 단계에 적합한 요구사항 설계 적용을 위한 시스템 아키텍처 설계 방법 연구가 필요하다. 본 논문에서는 요구사항으로 부터 시스템 아키텍처 설계를 수행하고 SE 기반 기술검토 프로세스를 통해 확인하는 방법을 연구하였다. 잠수함 시스템 아키텍처 설계를 위해 요구사항 분석, 아키텍처 설계, 설계 실행 및 통합의 각 단계별 세부 수행사항과 내용을 제시하였다. 이를 통해 효과적인 시스템 요구사항 개발 및 아키텍처 설계가 가능하였으며, 단계별 추적성 관리, 요구사항의 확인 측면에서 효과적임을 확인하였다. 향후 잠수함을 비롯한 다양한 함정에 제시한 프로세스 적용이 가능할 것으로 판단된다.