• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.240-243
• /
• 2010

소프트웨어가 점점 복잡해지면서 신뢰할 수 있는 소프트웨어의 개발에 대한 필요성이 제기되고 있다. 이에 따라 소프트웨어 개발 업체는 소프트웨어 신뢰성 보장을 위한 많은 활동들을 수행하고 있다. 이 과정에서 소프트웨어 신뢰성 평가는 핵심이 되는 작업 중 하나이며, 다양한 소프트웨어 신뢰성 평가 도구가 개발되어 정확하고 효율적인 신뢰성 평가를 돕고 있다. 소프트웨어 신뢰성 평가 도구는 적용할 수 있는 소프트웨어 개발 단계와 적용 방법에 차이가 있기 때문에 도구들은 적시적소에 적용되어야 한다. 본 논문에서는 CASRE, SMERFS, SREPT, GERT, SRTPRO 와 같은 소프트웨어 신뢰성 평가 도구의 분석을 통해 각 도구들의 특징, 목적, 적용단계 등을 고려하여 사용자가 다양한 도구 중 어떤 도구를 선택해야 하는지 판단하는데 도움을 주고자 한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.910-934
• /
• 1995

CASE 도구의 활용과 소프트웨어 개발 프로세스 수준과의 관계를 규명하기 위하여 국내 57개 기업이 91개의 정보시스템 프로젝트를 대상으로 한 실증적 연구를 수행하였다. 기업의 일반적인 특징과 CASE 도구의 활용정도, 소프트웨어 개발 프로세스 수준에 관한 자료를 획득하기 위하여 설문조사를 실시하였고, 연구 초점은 CASE 도구의 활용에 있어서 중요한 요인을 찾는데 있다. CASE 도구의 도입 형태와 소프트웨어 개발 프로세스가, 개발 생산성에 미치는 영향에 대하여 4가지 가설을 검정하였다. 검정결과 두 독립변수가 모두 개발 생산성에 유의한 영향을 미치는 것으로 나타났다. 또한 CASE 활용과 소프트웨어 개발 프로세스간의 교호작용이 확인되었다. 본 연구는 또한 CASE 도구의 활용과 소프트웨어 개발 프로세스 수준사이의 전략적 관계 격자를 제시하였다. 전략적 관계 격자는 CASE도구 도입 형태와 소프트웨어 개발 프로세스 수준이 정도에 따른 4가지 셀로 구성되어 있는데 개별 셀마다 각 기업의 정보시스템 환경을 고려한 효과적인 전략을 제시한다. 마지막으로 CASE도구의 활용을 위한 추후 연구방향이 제시된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.517-519
• /
• 1998

소프트웨어의 생명 주기가 급격히 짧아짐에 따라 생산성을 향상시키면서 개발 기간과 비용을 단축시킬 수 있는 RAD 도구가 최근 많이 유행하고 있다. 그러나 기존의 RAD 도구는 소프트웨어의 설계보다는 주로 사용자 인터페이스의 설계의 중점을 두고 있고, 소프트웨어의 설계를 위한 기존의 전문 소프트웨어 모델링 도구들은 규모가 크고 사용이 힘들 뿐 아니라 RAD 도구와의 직접적인 연관성을 제공하지 못하고 있다. 본 논문에서는 JAVA 언어를 위한 RAD 도구와 모델링 도구가 서로 유기적으로 결합된 새로운 RAD 도구를 구현하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.578-581
• /
• 2008

소프트웨어 프로세스는 소프트웨어와 이에 관련된 산출물을 개발, 유지하기 위해 사용하는 활동, 방법, 절차의 집합이라고 할 수 있다. 프로세스를 기반으로 작업하는 조직은 필요한 프로세스들을 파악하고, 각 프로세스들을 구현하기 위해, 담당자를 할당하고, 수행 활동을 정의한 후, 이를 기반으로 작업을 수행한다. 이 때 보다 효과적으로 작업하기 위해 적절한 도구들을 활용하기도 한다. 소프트웨어 개발에서 도구의 활용은 이미 그 효과가 검증되었고, 많은 상업용 제품들이 개발되어 현장에서 사용되고 있다. 이러한 도구들 중에는 독자적으로 하나의 프로세스를 지원하는 독립형(Standard Alone) 도구들과 여러 프로세스를 지원하는 통합형 도구들이 있다. 통합형 도구들은 여러 프로세스를 연결하고 통합 관리하기 때문에 효과가 크지만, 주로 가격이 비싼 상업용 제품들이고, 대규모 프로젝트에 적합한 복잡한 기능이 많아 소규모 조직이 채택하기에는 어려운 경향이 있다. 독립형 도구들은 통합형 도구보다 상대적으로 기능이 복잡하지 않고, 공개 소프트웨어로도 제공되고 있기 때문에 소규모 조직들도 사용해 왔지만 통합형 도구와 같은 효과를 내기는 쉽지 않았다. 본 논문에서는 이클립스 플랫폼 기반에 독립형으로 존재하는 플러그인들을 통합하여, 여러 프로세스를 지원하는 이클립스 플러그인 모델을 개발하고, 그 효과를 살펴보았다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.558-562
• /
• 2008

소프트웨어의 구조가 복합해짐에 따라 소프트웨어를 모델링하고 개발하는 과정을 지원하는 CASE 도구의 중요성이 급격하게 증가하고 있다. 자동차 분야 또한 기능이 복잡해짐에 따라 내부의 전자 장비를 제어하는 소프트웨어의 복잡성이 크게 증가하였고 이로 인해 객체지향적인 소프트웨어 모델링 도구의 필요성이 대두되었다. AUTOSAR는 자동차 소프트웨어 구조에 대한 표준을 정의하고 있다. 현재 유럽에서는 dSPACE, Vector 등의 업체에서 AUTOSAR 표준에 기반한 차량용 소프트웨어 모델링 도구의 프로토타입을 개발한 상태이다. 하지만 국내에서는 이러한 도구에 대한 연구가 아직 초기단계이다. 본 논문에서는 다이어그램 편집기 개발 프레임워크를 제공하는 이클립스 GMF를 이용하여 AUTOSAR 표준기반의 차량용 소프트웨어 모델링 도구를 개발한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.12 no.2
• /
• pp.141-148
• /
• 2006

This paper suggests method of safe security S/W by verifying and its result of formal verification tool. We will survey many formal verification tools and compare features of these tools. And we will suggest what tool is appropriate and methodogoly of developing safe security S/W. The Z/EVES is the most appropriate tool. This paper proposes formal verification of ACS by using RoZ tool which is formal verification tool to create UML model. The specification and verification are executed using Z/EVES tool. These procedures can find weak or wrong point of developed S/W.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.6
• /
• pp.440-444
• /
• 2009

In order to improve the effectiveness of software process improvement, more than two models can be use to compensate the weakness of each other. One of integrated models is the one in which CMMI and software six sigma. However, it is very difficult for a small software development organization to select and apply an appropriate set of six sigma tools since there are a lot of six sigma tools and statistical knowledge is required. In this paper, we suggest a six sigma tool selection process to help small organizations select six sigma tools effectively based on organization business value. Thereby, small organizations can efficiently implement CMMI by adopting an appropriate set of six sigma toolkits.

• The Transactions of the Korea Information Processing Society
• /
• v.13 no.5
• /
• pp.227-235
• /
• 2024

Since nuclear power plants (NPPs) increasingly employ digital I&C systems, reliability evaluation for NPP software has become crucial for NPP probabilistic risk assessment. Several methods for estimating software reliability have been proposed, but there is no available tool support for those methods. To support NPP software manufacturers, we propose a reliability measurement tool for NPP software. We designed our tool to provide reliability estimation depending on available qualitative and quantitative information that users can offer. We applied the proposed tool to an industrial reactor protection system to evaluate the functionality of this tool. This tool can considerably facilitate the reliability assessment of NPP software.

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

팀으로 구성된 개발 조직은 주어진 시간 안에 가용할 수 있는 인력으로 고객에게 전달될 최종 산출물인 소프트웨어를 개발한다. 개발과 통합을 거친 소프트웨어는 테스트를 거치며 발생되는 결함에 대해 수정 조치한다. 하지만 결함 수정과 병행하여 초기 요구사항은 변경되고 추가되어 개발되는 소프트웨어에 반영되야 함으로 팀에서는 메일, 전화, 또는 게시판 방식으로 결함 사항을 알리고 최종 소프트웨어를 개발해 나간다. 본 논문은 이러한 환경에 결함추적도구를 사용하여 결함 발견 시 등록하고, 해결된 소프트웨어의 버전을 관리하기 위한 방법에 대해 오픈소스 기반의 형상관리도구와 결함추적도구를 활용한 환경을 연구해 나가고자 한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.17 no.2
• /
• pp.51-59
• /
• 2007

Software testing is the process of analyzing a software item to detect the differences between existing and required conditions and to evaluate the features of the software item. A traditional testing focuses on proper functionality, not security testing. Fuzzing is a one of many software testing techniques and security testing. Fuzzing methodology has advantage that low-cost, efficiency and so on. But fuzzing has defects such as intervening experts. Also, if there is no specification, fuzzing is impossible. ROAD Tool is automated testing tool for RPC(Remote Procedure Call) based protocol and software without specification. Existing tools are semi-automated. Therefore we must modify these tools. In this paper, we design and implement ROAD tool. Also we verify utility in testing results.