• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1997.10a
• /
• pp.321-326
• /
• 1997

소프트웨어 재사용은 새로운 소프트웨어 개발에 소용되는 시간과 비용을 현저히 감소시켜 소프트웨어 개발환경과 생산성을 향상시키는 방법으로, 소프트웨어 위기를 해결하기 위한 중요한 방법이다. 그러나 소프트웨어 부품을 위한 형식 명세서(formal specification)의 부족, 소프트웨어 재사용에 대한 부정적 심리적인 효과 등의 이유 때문에 현실적으로 재사용이 잘 이루어지고 있지 않다. 이러한 문제들을 해결하기 위해서는 부품의 품질 보증에 관한 연구가 소프트웨어 재사용에 관한 연구 분야에서 최우선적으로 이루어져야 하지만, 기존의 연구들은 일반적으로 설정된 재사용 품질 기준을 표준으로 하였으므로, 사용자의 요구가 복잡하고, 다양화되면서 소프트웨어의 크기, 알고리즘과 구조의 복잡도는 증가있는 변화하는 환경에 능동적으로 대처하지 못하고 있다. 그러므로 본 연구에서는 새로운 부품의 삽입과 기존 부품들의 삭제, 분류 기준의 변경 등의 환경 변화에 능동적으로 대처할 수 있는 적응성이 있는 재사용성 결정 모델을 제안한다. 이 모델은 적응성 있는 재사용 결정 알고리즘을 찾기 위해서 데이터에 숨겨진 패턴들을 발견하는 효율적인 알고 ？遲\ulcorner 제공하는 Rough set 이론을 이용한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2012.01a
• /
• pp.239-241
• /
• 2012

오늘날 스마트 시대의 새로운 소프트웨어 페러다임으로 변화하고 있는 IT 산업의 환경에서 소프트웨어를 사용하는 사용자와 공급하는 개발자 모두 품질 향상에 대한 중요성과 복잡성은 더욱 강조되어 가고 있다. 특히, 국내 게임시장의 절대적 시장점유율을 보이고 있는 온라인 게임의 경우 게임 사용자들과의 지속적인 관계 유지를 필요로 하는 서비스 제품이기 때문에 높은 수준의 품질보증이 절대적으로 필요하다. 본 연구는 이와 같은 필요성에 따라 게임 품질관리를 위한 정량적/정성적 게임성 평가 항목을 연구하여 이를 기반으로 한 게임성을 평가하기 위한 평가 모델을 제시한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.9 no.2
• /
• pp.123-132
• /
• 2003

The quality certification test is usually conducted by a certifying organization to determine and guarantee the quality of software after the software development phase, commonly without the actual source code, but with by going against the product's manual. In this paper, we implement a Manual-based Automatic Test data generating tool: MaT, the test technique based on manual, that automatizes producing the test data from analysis data of software package and manual. The input data of MaT are the result of the analysis of software and manual. We propose 'menu-based test analysis model' in order to generate the input data. We believe that the proposed technique and tool he]p improving quality and reliability of the software.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.8 no.2
• /
• pp.96-105
• /
• 1998

소프트웨어 재사용 분야에 있어서 우선적으로 연구되어야할 부분은 소프트웨어 부품의 품질 보증에 관한 연구이다. 그러나 기존의 연구들은 사용자 요구의 복잡, 다양화와 소프트웨어 복잡도증가등과 같은 변화하는 환경에 능동적으로 대처하지 못한다. 따라서, 본 논문에서는 재사용되고 있는 부품들, 정량적인 척도을과 분류 기준들을 이용하여 변화하는 환경에 능동적으로 대처할 수 있는 적응성이 있는 재사용성 결정 알고리즘 생성 모델을 제안한다. 이 모델은 적응성 있는 재사용 결정 알고리즘을 찾기 위해서 데이터의 숨겨진 패턴들을 발견하는 효율적인 알고리즘을 제고？는 러프 집합 이론을 이용한다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.446-450
• /
• 1996

본 논문은 Computer Aided Software Engineering (CASE) Tool을 이용할 경우의 Safety Critical 소프트웨어 개발 방법론인 구조적 분석 및 구조적 설계 모델링 방법론을 Teamwork CASE tool의 예를 중심으로 제안하고자 한다. 제시된 사례는 NSIS(Nuclear Safety Information System)으로서 Essential Modeling과 Implementation Modeling을 제시하였는데 Teamwork CASE 환경하에서의 분석 및 설계 절차, 지침 등을 제시하였다. Essential Modeling에서는 NSIS의 MMIS 분석범위 및 External Interface를 제시하는 환경 모델(Environmental Model)과 MMIS의 기능을 계층구조적으로 분할하는 행위모델링(Behaviroal Modeling)을 각각 Context Diagram과 Data Flow Diagram (DFD)으로 그 과정을 제시하였다. Implementation Modeling에서는 Essential Modeling으로 부터 나온 결과물을 토대로 Boss Rule, Transform Rule과 Transaction Rule 등을 거쳐 NSIS MMIS의 설계 근간이 되는 Structured Chart(SC)를 제시하였다. 본 논문에서 제시된 모델링 방법론을 통하여 Safety Critical 소프트웨어 개발시 Teamwork CASE Tool을 활용할 수 있음과 동시에 분실 및 설계의 일치성을 통하여 Safety Critical 소프트웨어의 안전성 확립과 품질보증 목표에 기여할 수 있다.

• Journal of Digital Contents Society
• /
• v.16 no.6
• /
• pp.935-941
• /
• 2015

The maritime industry has been developing e-Navigation strategy for safety navigation. The implementation of e-Navigation strategy will cause many needs for developing new software increasingly. For this reason, IMO referred to importance of software quality and endorsed the e-Navigation SQA/HCD guideline as an official IMO document. Accordingly, it is necessary to develop a practical guidance to apply the guideline. This paper describes the elicitation results about the detailed actions of requirement analysis stage based on quality standards. Also, the improvement measure is proposed in this paper.

• KIPS Transactions on Computer and Communication Systems
• /
• v.5 no.9
• /
• pp.275-284
• /
• 2016

The software used in the nuclear safety field has been ensured through the development, validation, safety analysis, and quality assurance activities throughout the entire process life cycle from the planning phase to the installation phase. However, this evaluation through the development and validation process needs a lot of time and money, and there are limitations to ensure that the quality is improved enough. Therefore, the effort to calculate the reliability of the software continues for a quantitative evaluation instead of a qualitative evaluation. In this paper, we propose a reliability evaluation method for the software to be used for a specific operation of the digital controller in a nuclear power plant. After injecting weighted faults in the internal space of a developed controller and calculating the ability to detect the injected faults using diagnostic software, we can evaluate the software reliability of a digital controller in a nuclear power plant.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1511-1514
• /
• 2012

최근 기업에서 구축하는 IT 아키텍쳐가 점점 복잡해져 가는 환경변화에 따라 각 시스템 구성요소의 조건이나 특성을 저장하는 설정파일(Configuration file)의 중요성이 강조되고 있지만, 대부분의 형상관리시스템이 응응 소프트웨어를 중심으로 구성되어 설정파일의 특징을 반영한 활동에 한계를 갖고 있다. 또한 품질보증 목적으로 수행하는 형상감사 활동도 응용 소프트웨어를 대상으로 품질중심 감사 활동이 이루어지면서, 등록된 개별 소프트웨어 별로 변경통제와 버전관리가 이루어져 설정 파일이 포함되는 경우 버전 무결성 차원의 문제를 적발하지 못하는 문제가 있다. 이 논문에서는 추가적으로 필요한 감사활동 요구기능을 정의하고, 동일한 원본에서 배포된 설정파일들이 서로 버전이 다르게 관리 될 수 있는 문제를 감사(Audit)를 통해 탐지할 수 있는 버전 무결성 감사 프레임워크를 제시한다. 제안하는 프레임워크는 기존 형상관리 개념과 액티비티, 프로세스를 기반으로 감사기능을 보완한다. 이를 통해 기존 감사활동에 버전 무결성 검증을 수행하는 형상감사 기능이 포함되며, 이는 설정파일의 버전 차이에 의해 사전/사후 발생될 장애, 오동작 등의 문제 해결에 활용된다. 이 논문에서 제안 프레임워크의 검증을 위하여 웹 시스템 기반 자바환경으로 구현하였고, 현장 적용한 부분을 평가 함으로써 검증하였다.

• Journal of Digital Convergence
• /
• v.13 no.12
• /
• pp.319-324
• /
• 2015

This paper proposes an integrated management system for products of game software development. Those products generated over software life-cycle are generally huge in numbers, various in kinds and interconnected in relationships among them. Especially they are highly complex and tightly coupled each other because they are used to build another world which is composed of multi-modal data such as graphics, sound, logics and so on. Therefore it is critical to manage development products in an integrated manner to guarantee the quality of software. The proposed system is designed to provide project/requirement/configuration/traceability management capabilities and interfacing to CASE standards. To achieve the objective, it is based on data warehouse technologies which provide central repositories of heterogeneous data, multi-aspect reporting&analysis capabilities, traceability, verification, etc.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.442-444
• /
• 2004

소프트웨어를 구성하는 요소들의 재사용은 소프트웨어 공학에서 가장 중요하게 생각하는 부분으로써 기존의 소프트웨어의 유지보수나 새로운 소프트웨어의 개발에서 생산성을 높일 수가 있다. 이러한 소프트웨어의 경제성 재사용성을 위한 개발방법론이 CBD(Component Based Development)이다. CBD는 소프트웨어 개발 방법론들 중의 하나로써 컴포넌트들을 특정 목적에 맞게 조립하고 배치하여 품질 보증된 높은 생산성의 컴포넌트를 재사용할 수 있게 한다 이러한 장점 때문에 CBD가 유력한 차세대 개발방법론으로 주목받고 있는 것이다. 따라서 본 논문은 기존에 구축된 on-line 심사 프로세스 지원시스템을 컴포넌트기반 시스템으로 재구축하여 컴포넌트화의 효과를 알아보고자 한다.