• 산업경영시스템학회지
• /
• 제9권14호
• /
• pp.59-70
• /
• 1986

The development of Software is indispensably needed for the Computer development in the future, that is, a effective method for Software development is required to be studied. In this paper, a detailed and practical method for the making of the requirements and planning for Software development and efficient ways for Software development and management are studied. This paper is considered to be helpful for the efficiency in Software development works.

• 경영과학
• /
• 제20권2호
• /
• pp.179-196
• /
• 2003

Function point model is the international standard method to measure the software size which is one of the most important factors to determine the software development cost. Function point model can successfully be applied only when the detailed specification of users' requirements is available. In the domestic public sector, however, the budgeting for software projects is carried out before the requirements of softwares ere specified in detail. Therefore, an efficient function point estimation method is required to apply function point model at the early stage of software development projects. The purpose of this paper is to compare various function point estimation methods and analyse their accuracies in domestic software projects. We consider four methods : NESMA model, ISBSG model, the simplified function point model and the backfiring method. The methods are applied to about one hundred of domestic projects, and their estimation errors are compared. The results can used as a criterion to select an adequate estimation model for function point counts.

• 시스템엔지니어링학술지
• /
• 제14권2호
• /
• pp.83-88
• /
• 2018

Software has become an integral part of almost any system, triggered by the ever-growing demand for automation and artificial intelligent throughout engineering domains. The complexities of software-centric systems are also increasing, which make software test efforts become essential in software development projects. In this study, we applied systems engineering methodology in generating software test cases. We found out the similarities between requirements analysis and traceability concept of systems engineering and test specification contents of software test. In terms of acceptance test, software test cases could be considered as validation requirements. We also suggested a method to determine test order using a SysML modeling tool.

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

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

최근 임베디드 소프트웨어가 다양한 분야에서의 개발이 두드러지면서 그 요구사항들도 다양해지고 있다. 그 중 이슈화되고 있는 것 중 하나가 하드웨어와의 종속성을 반영한 체계적인 개발방법을 제시하는 것이다. 기존의 개발방법들은 하드웨어와의 밀접한 관계, 여러 유사 도메인에 대한 고수준의 재사용성 요구 등 임베디드 소프트웨어가 갖고 있는 특성들을 효과적으로 반영하지 못하고 있다. 따라서 본 논문에서는 제품계열적 접근방법을 통해 효율적인 임베디드 소프트웨어 개발방법을 제시하기 위한 개발프로세스 모델 설계방법을 제안한다. 개발프로세스 모델의 설계 중점은 먼저 효율적 요구사항 도출기법으로 디렉토리 방식의 도메인 스코핑 방식과 IDEF0 기반 비즈니스 모델을 제안한다. 다음으로 서비스 구조 기반의 컴포넌트 도출방식과 하드웨어 종속성을 고려한 아키텍처 설계 방식을 제안한다. 마지막으로 제안한 개발프로세스 설계모델이 어떻게 임베디드 소프트웨어 개발에 적용되는지를 보이기 위해 다중센서데이터 융합시스템에 적용한 결과를 설계과정마다 제시한다.

• 융합보안논문지
• /
• 제5권3호
• /
• pp.67-73
• /
• 2005

소프트웨어 개발시 내재될 수 있는 취약성을 최소화하기 위해서는 요구사항 분석단계에서부터 보안 요구사항을 잘 정의하여야 한다. 본 논문에서는 객체지향 개발 방법론에서 소프트웨어 보안 요구사항 명세를 위한 체계적인 방안을 제시한다. 본 논문에서 제시한 방안은 크게 보안 목표 설정, 위협식별, 공격트리 작성 그리고 보안기능 명세로 이루어진다. 이 방법을 이용하면 소프트웨어가 가져야 할 보안 요구사항과 기능을 보다 명확하고 체계적으로 작성할 수 있다.

• 한국항행학회논문지
• /
• 제24권3호
• /
• pp.163-172
• /
• 2020

무인항공기 사고 발생 시 사후 조사를 위한 비행자료 기록장치는 항공기 추락에 따른 극한환경에 노출된 후 비행자료를 정상 복원할 수 있도록 EUROCAE(European Organization for Civil Aviation Equipment)의 ED-112 규격을 준수하여야 한다. ED-112 규격은 유인항공기를 포함한 모든 항공기의 일반적인 요구사항을 규정하고 있기 때문에 특정 플랫폼의 형상 및 운용개념에 따라 적합한 설계 요구사항을 선택적으로 적용하여야 하므로 소프트웨어에 대한 세부 요구사항 분석이 필수적이다. 본 논문에서는 무인항공기에 적합한 소프트웨어 요구사항을 분석하고 이를 고려한 비행자료 기록장치 소프트웨어의 설계 방안을 제안한다. 또한 구현된 소프트웨어가 모든 요구사항을 고려하여 설계되었는지 확인하기 위한 각 요구사항에 대한 소프트웨어 검증 방안을 제시한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권7호
• /
• pp.424-430
• /
• 2008

관점지향 소프트웨어 개발방법론(Aspect-Oriented Software Development)에서 가장 중요한 고려사항중 하나는 요구사항 분석단계에서 횡단관심사(Crosscutting Concerns)를 식별하는 것이다. 이는 개발 초기단계에 횡단관심사를 식별함으로써 요구사항의 일관성(consistency)을 증진시켜 시스템의 유지보수를 쉽게 하고, 개발단계의 산출물들 사이의 추적성(traceability)을 제공하여 체계적인 변경관리를 지원할 수 있기 때문이다. 따라서 소프트웨어 개발 초기단계에 횡단관심사를 식별하고, 이를 독립적인 모듈로 구현하는 것을 지원하기 위해서는 다음과 같은 사항들을 고려해야 한다. 첫째, 복잡하게 분산되고 엉킨 요구사항의 관심사를 분리되어야 한다. 둘째, 횡단관심사가 시스템을 횡단하는 시점이 식별되어야 한다. 셋째, 횡단관심사를 구현한 모듈과 이것이 횡단하는 다른 모듈들 사이에 발생할 수 있는 요구사항 충돌을 통합 이전단계에 관리할 수 있는 방법이 지원되어야 한다. 이를 위해 본 논문에서는 목표와 시나리오 기반의 요구사항 분석 방법을 기반으로 횡단관심사를 식별하는 방법을 제안한다. 그리고 제안된 방법을 지능형 로봇 소프트웨어 개발 사례에 적용하여 그 유용성을 검증한다.

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

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

• 인터넷정보학회논문지
• /
• 제20권3호
• /
• pp.69-75
• /
• 2019

The safety and performance of medical device software is managed through life-cycle processes, which represent the entire process of research and development (R&D). The life-cycle process of medical device software is represented by an international standard called IEC 62304, ISO/IEC 12207. In order to license the product, the manufacturer must have document artifacts that comply with the IEC 62304 standard. However, these standards only describe the content of the activity and do not provide a method or procedure for documentation. Therefore, this paper suggests R&D documentation guidelines that assist medical device software developers to have R&D documents conforming to the standards. For this purpose, this study identifies the requirements related to documentation among the requirements existing in the standard and extracts them in the form of guidelines showing only the core information of the requirements. In addition, through the Web framework implemented based on this research, the developer can evaluate whether the technical documents are written in accordance with the R&D document guidelines. Medical device software manufacturers can efficiently produce high-quality research and development documents through R&D documentation guidelines, and they can have standards-compliantresearch and development documentation required for licensing procedures.