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

소프트웨어 시험은 소프트웨어 제품의 고 품질을 보장하기 위한 중요한 요소들 중의 하나이고, 특히 신뢰도가 원자력 발전소외 안전에 직결되는 디지털 기반의 원전 계측제어계통 소프트웨어는 고품질과 고신뢰도를 제공하여야 한다. 그러므로 원자력발전소에 사용되는 소프트웨어는 안전성과 신뢰성을 제공하기 위해 체계적인 시험을 통하여 설계의 정당성을 확인하고, 요건명세서나 설계사양서에 나타난 계통 및 구성요소의 기능과 요건들이 만족하게 실행됨을 확인하여야 한다. 규제기관에서도 소프트웨어의 안정성, 기능의 완전한 수행, 소프트웨어 자체가 계통의 기능을 저하 시키는지와 계통에게 예정되지 않은 기능을 수행하도록 영향을 주는지외 확인 등을 소프트웨어 시험을 통해 확인하도록 요구하고 있다. 이와 같이 원자력발전소에 사용되는 소프트웨어의 시험을 위해서는 보다 엄격하고 명확한 시험 프레임웍을 개발하고 적용키는 것이 필요하다. 본 논문에서는 소프트웨어 시험과 관련된 인허가 규제요건을 분석하고, 이에 따라 현재 설계를 진행중인 SMART MMIS 소프트웨어 시험에 적용될 소프트웨어 개발생명주기 시험활동, 시험 조직, 시험문서, 소프트웨어 등급별 시험방법 등 시험 프레임웍을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.379-381
• /
• 2004

내장형 실시간 시스템은 점차 소형화, 다기능화 하여 그 복잡도가 증가하고 있다. 또한 제약사항이 일반적인 정보시스템 보다 더 까다롭다. 신뢰성 있고 안정적인 내장형 실시간 시스템을 구현하기 위해서 소프트웨어 공학의 적용이 필요하며, 특히 소프트웨어 아키텍처의 적용을 필요로 한다. 이에 본 논문에서는 내장형 실시간 시스템 개발 중 최적의 소프트웨어 아키텍처를 선정하기 위해서 필요한 소프트웨어 아키텍처 평가 절차를 제시한다. 측정기법(Measuring Techniques)과 질문기법(Questioning Techniques)을 혼합하여 분석을 수행한다. 측정기법을 위해서는 실 프로토타이핑(Real Prototyping)을 사용하여 질문기법을 위해서는 체크리스트를 사용한다 이를 통하여 소프트웨어 개발 생명주기의 초기단계에서 이리 목표시스템의 품질을 예측하고 위험을 미리 식별할 수 있다.

• Journal of the Korea Computer Industry Society
• /
• v.5 no.1
• /
• pp.9-18
• /
• 2004

Successful project planning relies on a good estimation of the manpower required to complete a project in addition to the schedule options that may be available. Existing software manpower estimation models present the total manpower and instantaneous manpower distribution for the software life cycle. Putnam's Rayleigh and Phillai et al.'s Gamma models present a model with assumption that the manpower is needed at the system delivery. This means that 40 percent of total manpower is applied at the software development, and the other 60% is applied during maintenance phase. However Warburton observes the manpower is needed during development phase with the peak at the completion of the software design phase. So, the existing models were not appropriate to be applied to practical projects. This paper suggests the Sigmoid model which does not consider the point of manpower peak to fix the problem above. The suggested model showed some improvement when practical data was applied. Therefore, the Sigmoid model can be used as alternative of Rayleigh and Gamma model to estimate distribution of manpower during software development phas.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.11
• /
• pp.2745-2755
• /
• 1997

Many large-scale enterprises have developed software systems to build management information system for their business. However, it is hard to maintain share ability of data, compatibility of operation methedology, and interoperability among subsystems when the development project progresses since each distributed team prepares a development plan for its subsystem and must have poor communication problem among those teams. We must apply software configuration management to the whole life cycle of the software system in order to solve those Problems. We need a model and a repository in order to execute configuration management on configuration products like document, data, and source code which are generated through the life cycle of software development. In this paper, we suggest a model for configuration change control where cross- referencing among life cycle Phases and data-sharing are highlighted, and define ER model to use IRDS(Information Resource Dictionary system) and IRD schemas.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.481-483
• /
• 1999

본 논문에서는 객체 지향 소프트웨어 개발 생명주기에서 생성된 객체 모델들간의 일관성 유지를 위한 관계성 분석 도구 설계 방법을 제시한다. 이 방법에서는 객체 지향 모델의 산출물들간의 관계성을 분석하여 소프트웨어가 개발됨과 동시에 부품화 되어 저장된다. 그리고 소프트웨어 유지 보수 및 재사용이 가능한 검색 시스템으로 되어 있으며, 객체 지향 CASE 시스템의 정보 저장소 기능을 부분적으로 지원한다. 따라서 시스템 분석가 및 설계자에게 유용한 지침을 제공하고, 개발자에게 산출물들간의 일관성 검증을 쉽게 하도록 하여 소프트웨어 재사용 및 유지보수가 용이하다.

• The KIPS Transactions:PartD
• /
• v.11D no.5
• /
• pp.1123-1132
• /
• 2004

Successful project planning relies on a good estimation of the manpower required to complete a project. The good estimation can be derived from Rutnam's Rayleigh Model or Phillai et al.'s Gamma Model. These models only can be applied for the projects which the need of manpower is increased exponentially and the highest of manpower is required at the end of development phase. However, in a practical project, most manpower is required during development phase and a small amount of manpower is assigned during maintenance phase. In addition, the Waterfall Model and Unified Process only can be adopted for development phase. So the current development environments cannot be adopted into the existing manpower distribution models which the highest manpower is required at the end of development phase. This paper suggests an appropriate model for development phase to solve this problem. First, the appropriate manpower distribution for development phase of the Waterfall model was derived from Putnam's manpower distribution and then manpower distribution of development phase was derived for Unified Process. After comparing the required manpower of two Processes, total manpower distribution is similar each other even though the required manpower and task is different for each point of development phase. From this result, a unified model is derived and it can be applied for both development processes.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06d
• /
• pp.61-66
• /
• 2010

소프트웨어 보증은 소프트웨어의 신뢰성, 예측 가능한 실행으로 정의할 수 있다. 신뢰성은 악의적인 의도로 발생할 수 있는 버퍼 오버플로, 메모리 릭 등의 보안 취약점이 존재하지 않아야 한다는 것이고, 예측 가능한 실행은 소프트웨어가 개발 시 의도한대로 실행되어야 한다는 것 이다. 소프트웨어 보증을 위한 작업은 소프트웨어 개발 생명 주기의 개발과 유지보수 단계 모두에서 수행되어야 한다. 국외 기관인 NIST, SANS 등은 개발 단계에서의 보증을 위해 필요한 툴, 프로그래밍 가이드라인, 오류 식별 문서 등을 공개하고 관련 프로젝트를 지원하였다. 본 논문에서는 상대적으로 연구가 부족한 유지보수 단계에서의 소프트웨어 보증을 위해 신뢰와 평판 기반의 소프트웨어 보증 시스템을 구현하였다. 본 시스템은 사용자에게 해당 소프트웨어에 대한 다른 사용자의 평판과 다양한 의견을 제공하고, 이에 따른 신뢰도를 함께 제공한다. 이는 사용자가 안전한 소프트웨어를 선별하고 사용하는데 도움을 준다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2000.11a
• /
• pp.397-406
• /
• 2000

대부분의 국방정보시스템의 소프트웨어는 높은 가용성, 신뢰성, 신속성, 정확성 등을 요구하는 대규모이면서 복잡한 실시간 시스템이다. 이러한 국방정보시스템의 소프트웨어 개발사업에 있어서 저비용 고효율의 미개국방경영 건설을 위하고 강한 전투력을 육성하기 위해서는 국방정보시스템의 효율적인 소프트웨어 개발사법이 요구된다. 따라서, 국방정보시스템의 소프트웨어 사업관리자가 개발사업을 관리하고 감독하는데 있어서 개발자와 사용자간의 조정 및 통제 기능을 수행하고 해당 국방정보시스템의 특성을 파악하여 성공적인 사업수행을 할 수 있도록 기술적인 사업관리 측면에서 구체적이고 상세화된 방안/지침을 제공하기 위한 전문가시스템의 지식베이스 도메인 지식개발에 관한 연구이다. 기존의 국방정보시스템의 사업관리자가 경험을 동해 축적해 온 기술, 정책, 아이디어, 노하우 등에 대한 지식을 습득하고 사업 관련자료에서 제시한 소프트웨어 생명주기 단계별 방안이나 지침 등을 바탕으로 하여 식별된 사실이나 내용을 지식베이스로 구축하여 국방정보시스템의 사업관리자가 필요로 할 때 설명모듈을 거쳐 임무 및 세부활동사항을 게시하여 줌으로써 사업관리 경험이 부족하거나 사업관리자가 교체되었을 때 사업관리자들이 업무를 지속적으로 연계시켜 임무수행이 가능하도록 기초/기반 여건을 제공하고자 한다. 본 논문은 국방정보시스템의 소프트웨어 개발사업에서 소프트웨어 생명주기 단계별 사업관리자의 임무 및 세부활동사항 지원용 전문가시스템을 개발할 때 이용할 수 있도록 도메인 지식을 개발하는 것이며 논문의 결과를 활용시 기대되는 효과는 본문을 참고 바란다.의 장점을 취합하여 설계되었다. 본 시스템은 기존의 UN/EDIFACT표준을 사용하고 있는 EDI환경과 기존 VAN 방식의 EDI 중계 시스템과 연동되며, 향후 관세청의 XML/EDI 표준 시행을 미리 대비하는 선도연구로서 자리매김이 된다. 본 연구에서는 개발된 XML/EDI 통관시스템은 향후, 서비스의 최대 걸림돌이 되어왔던 값비싼 EDI 사용료의 부담에서 벗어날 수 있게 할 것이며, 저렴한 EDI구축/운영 비용으로 전자문서교환의 활성화와 XML이 인터넷 기반의 문서유통 표준으로 자리매김할 수 있는 중요한 계기가 될 것이다.재무/비재무적 지표를 고려한 인공신경망기법의 예측적중률이 높은 것으로 나타났다. 즉, 로지스틱회귀 분석의 재무적 지표모형은 훈련, 시험용이 84.45%, 85.10%인 반면, 재무/비재무적 지표모형은 84.45%, 85.08%로서 거의 동일한 예측적중률을 가졌으나 인공신경망기법 분석에서는 재무적 지표모형이 92.23%, 85.10%인 반면, 재무/비재무적 지표모형에서는 91.12%, 88.06%로서 향상된 예측적중률을 나타내었다.ting LMS according to increasing the step-size parameter $\mu$ in the experimentally computed. learning curve. Also we find that convergence speed of proposed algorithm is increased by (B+1) time proportional to B which B is

• Proceedings of the Korea Contents Association Conference
• /
• 2004.05a
• /
• pp.439-442
• /
• 2004

CBD 개발 방법론의 발전으로 많은 컴포넌트가 개발되면서 소프트웨어의 빠른 기술변화는 시스템 개발 생명주기가 갈수록 짧아지고 있으며, 최근 들어 시스템 개발에 있어서 오프라인보다 온라인으로 시스템 개발이 늘고 있다. 때문에 실시간으로 컴포넌트 형상관리의 필요성이 나타나고 있으며, 보다 향상된 기술의 개발방법이 요구되고 있다. 본 연구에서는 이를 위한 하나의 해결방법인 형상관리(Configuration Management)를 제안하고, 실시간 컴포넌트 형상관리 작업에 필요한 요구사항에 대해 기술하였다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2002.05a
• /
• pp.179.1-179
• /
• 2002