• 사물인터넷융복합논문지
• /
• 제9권6호
• /
• pp.45-50
• /
• 2023

소프트웨어 개발에서 요구사항 도출 및 분석은 매우 중요한 단계이며, 다양한 이해관계자가 관여하기 때문에 많은 시간과 노력을 필요로 한다. ChatGPT는 다양한 문서를 학습한 대규모 언어 모델로서 코드 생성, 디버깅 등의 능력은 물론 소프트웨어 분석 설계 영역에서도 활용할 수 있는 능력을 갖고 있는 것으로 연구되고 있다. 본 논문에서는 ChatGPT의 이러한 능력을 활용하여 소프트웨어 요구사항 도출, 시스템 목표에 적합한 요구사항 분석, 유스케이스 형태로 문서화하는 요구공학 방법을 제안한다. 소프트웨어 요구공학에서 이해관계자, 분석가, ChatGPT는 협업 모델을 가져야 하며, 요구사항 도출, 분석, 명세화에서 ChatGPT의 결과를 초기 요구사항으로 하여 분석가와 이해관계자가 점검 및 내용을 추가하는 형태로 요구공학이 진행하는 것을 제안한다. ChatGPT의 성능이 향상될수록 요구사항의 도출 및 분석이 점차 정확도를 높일 수 있을 것이며, 소프트웨어 요구공학에서 시간 및 비용을 절감할 수 있을 것이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권7호
• /
• pp.531-538
• /
• 2009

국내 소프트웨어 시장은 소프트웨어 제품의 품질 불만과 수익성 악화라는 악순환의 고리에서 헤어나지 못하고 있다. 산업계 및 학계에서는 문제의 주된 원인이 소프트웨어 사업 초기의 불명확한 요구사항에 있음을 인식하고, 사업 초기부터 개발 범위 및 내용, 품질 목표 등을 명확히 설정하고 이를 요구사항 명세서에 충실히 반영할 것을 강조하고 있다. 본 연구에서는 보다 명확한 요구사항의 명세와 요구사항의 효과적인 관리를 위해 국내외의 다양한 형태의 요구사항 명세서를 분석하고, 이를 바탕으로 개발 범위의 명확화, 품질의 정량화, 요구사항들간의 연결/추적관리, 명세의 편이성이 제고된 요구사항명세 표준지침을 개발하였다. 제안하는 표준 병세서는 분할 발주 또는 일괄 발주 등 다양한 소프트웨어 사업 프로세스에 적용할 수 있는 장점이 있다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권8호
• /
• pp.4191-4211
• /
• 2019

Software product lines (SPLs) are complex software systems by nature due to their common reference architecture and interdependencies. Therefore, any form of evolution can lead to a more complex situation than a single system. On the other hand, software product lines are developed keeping long-term perspectives in mind, which are expected to have a considerable lifespan and a long-term investment. SPL development organizations need to consider software evolution in a systematic way due to their complexity and size. Addressing new user requirements over time is one of the most crucial factors in the successful implementation SPL. Thus, the addition of new requirements or the rapid context change is common in SPL products. To cope with rapid change several researchers have discussed the evolution of software product lines. However, for the evolution of an SPL, the literature did not present a systematic process that would define activities in such a way that would lead to the rapid evolution of software. Our study aims to provide a requirements-driven process that speeds up the requirements engineering process using social network sites in order to achieve rapid software evolution. We used classification, topic modeling, and sentiment extraction to elicit user requirements. Lastly, we conducted a case study on the smartwatch domain to validate our proposed approach. Our results show that users' opinions can contain useful information which can be used by software SPL organizations to evolve their products. Furthermore, our investigation results demonstrate that machine learning algorithms have the capacity to identify relevant information automatically.

• 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.

• 정보과학회 논문지
• /
• 제43권8호
• /
• pp.857-868
• /
• 2016

소프트웨어 생태계의 시장 중심 개발 환경에서 소프트웨어 기업은 제품의 성공을 위해서 자신의 비즈니스와 고객에게 높은 가치를 제공할 수 있어야만 시장 경쟁력을 가지고 생존할 수 있다. 요구공학적 관점에서 제품 요구사항 선택을 통한 가치 제공을 위해서 이해관계자들 각자의 다른 이해가 조정되어 합의되어야 한다. 즉, 요구공학 단계에서 높은 가치 창출을 고려하는 합의된 요구사항을 선택할 필요가 있다. 기존 연구들은 소프트웨어 생태계에서 요구되는 이해관계자들의 다른 이해에 대한 요구공학적 기법의 필요성을 언급하였을 뿐, 구체적인 가이드라인 및 수행 방법에 대하여 제안하지 않았다. 본 연구에서는 요구공학에서 사용되는 Goal 개념 기반으로 협상 참가자의 의도를 분석하고 이를 바탕으로 요구사항 충돌의 근거를 구조화하여 관리할 수 있도록 한다. 궁극적으로 협상 참가자의 이기적 행동을 바탕으로 게임 이론적 개념을 이용한 요구사항 충돌 해결 방법론을 제안한다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1996년도 추계학술대회발표논문집; 고려대학교, 서울; 26 Oct. 1996
• /
• pp.166-169
• /
• 1996

Well-evaluated quality of software can provide business proper decisions, increase productivity, and prevent financial loss or unnecessary burden of rework. Evaluation is important to ensure the chosen software conforming to organizational requirements, customer demands, and product integrity level. In this paper, we present a theoretical model with the structure of evaluation requirements to select the prioritized evaluation target input of software quality. Within limited time and budget, the prioritized target inputs of evaluation can be used to determine the appropriate evaluating step for each different category of requirements.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권1호
• /
• pp.58-68
• /
• 2006

요구사항은 아키텍처를 생성할 때 매우 중요한 요소로써 기능 요구사항과 품질 요구사항으로 구분된다. 기능 요구사항은 하위시스템 또는 컴포넌트 생성에 영향을 미치고 품질 요구사항은 아키텍처의 구조를 결정하는데 영향을 준다. 이와 같이 요구 사항은 아키텍처 설계에 중요한 영향을 끼치기 때문에 아키텍처 설계를 위해서는 요구사항에 대한 명확한 이해가 필요하다. 본 논문에서는 요구사항에 대한 명확한 이해를 돕기 위해 요구사항을 정량화하는 방법을 제안한다. 기능 요구사항은 기능적인 우선순위 계산을 통해 컴포넌트를 정량화하고 품질 요구사항은 정량화된 컴포넌트와 품질 속성의 연관성 계산을 통해 정량화한다. 제안된 방법은 DRAMA (Domain Requirements Analysis for Modeling Architectures) 도구를 통해 구현되었으며, 요구사항의 정량화 방법을 실 예제에 적용해본 결과를 소개한다.

• Journal of Platform Technology
• /
• 제11권5호
• /
• pp.3-15
• /
• 2023

Requirements traceability link information is the basis for determining whether requirement change requested throughout the software development life cycle should be reflected in the system. Setting up complete requirements traceability links requires considerable effort. However, the commensurate benefits can be obtained in later development or further maintenance phases. For this reason, setting up and managing requirements traceability links in the software development phase are tasks that cause considerable resistance to developers. This study proposes a method for generating requirement traceability links in business applications. The key feature of the proposed method is that the traceability link from the requirements element, which is the basis of the corresponding element to the analysis element, is automatically established at the same time the elements of the analysis model are identified. This can be a way to reduce developer effort while increasing the efficiency of the traceability model. A case study on a Course Registration System demonstrates the feasibility of applying the proposed requirements traceability management method to actual software development.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권11호
• /
• pp.487-498
• /
• 2015

추적성은 소프트웨어 개발자에게 소프트웨어 산출물에 대한 변경을 추적하게 해 준다. 소프트웨어 제품 라인 개발에 있어서의 추적성은 공통성과 가변성을 고려해야 하기 때문에, 개별 제품에서의 추적성보다 복잡하다. 과거 연구에서 제품 라인 개발에서의 제품 피처와 요구사항 간의 추적성 구축을 제시되었다. 그러나 요구사항과 아키텍처 설계 사이의 추적성 구축은 다 대 다 관계와 아키텍처 계층으로 인해 고려해야 할 요소가 더 많다. 본 논문은 이러한 요소들을 고려하여, 제품 라인 개발에서의 요구사항과 아키텍처 사이의 추적성을 모델링하는 체계적인 방법을 제공한다. 또한 사례연구를 통하여 이 방법이 효과적임을 보인다.

• Nuclear Engineering and Technology
• /
• 제27권1호
• /
• pp.84-95
• /
• 1995

Application of computer software to safety-critical systems is on the increase. To be successful, the software must be designed and constructed to meet the functional and performance requirements of the system. For safety reason, the software must be demonstrated not only to meet these requirements, but also to operate safely as a component within the system. For longer-term cost consideration, the software must be designed and structured to ease future maintenance and modifications. This paper present a software engineering process for the production of safety-critical software for a nuclear power plant The presentation is expository in nature of a viable high quality safety-critical software development. It is based on the ideas of a rational design process and on the experience of the adaptation of such process in the production of the safety-critical software for the Shutdown System Number Two of Wolsong 2, 3 & 4 nuclear power generation plants. This process is significantly different from a conventional process in terms of rigorous software development phases and software design techniques. The process covers documentation, design, verification and testing using mathematically precise notations and highly reviewable tabular format to specify software requirements and software design. These specifications allow rigorous, stepwise verification of software design against software requirements, and code against software design using static analysis. The software engineering process described in this paper applies the principle of information-hiding decomposition in software design using a modular design technique so that when a change is' required or an error is detected, the affected scope can be readily and confidently located. It also facilitates a sense of high degree of confidence in the ‘correctness’ of the software production, and provides a relatively simple and straightforward code implementation effort.