• Proceedings of the KAIS Fall Conference
• /
• 2004.11a
• /
• pp.185-187
• /
• 2004

소프트웨어를 개발할 때 작성되는 명세서들은 개별특성으로 인해 연속적인 자동화가 이루어지지 않으며, 소프트웨어 감리에서도 많은 불일치 항목이 발견된다. 본 논문에서는 분석 및 설계단계에서 작성되는 명세서간 불일치를 검출하기 위해 시스템 개발과정에 대해 실시한 감리결과 보고서를 분석하여 불일치가 발생하는 연관된 명세서를 내용별로 분류하고, 이를 바탕으로 분석, 설계, 테스트 단계별로 사용되는 명세서간 불일치 추출방안을 제안한다. 이를 이용하면, 분석 및 설계단계에서 작성되는 명세서의 오류를 줄임으로써 최종산출물인 소프트웨어에 대한 품질을 향상시킬 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.510-512
• /
• 2000

소프트웨어 분야의 급격한 발전으로 인해 소프트웨어 품질의 중요성이 더욱 높아지고 있다. 그러나 많은 소프트웨어 개발 프로젝트들이 정해진 일정 때문에 충분한 품질관리가 이루어지지 못하고 잠재적인 위험 요소들을 지닌 채 제품화되어 출시되고 있는 것이 현실이다. 이러한 위험 요소들은 소프트웨어의 결함으로 잠재하면서 언제든 고장(failure)을 일으킬 수 있는 가능성을 지니고 있다. 소프트웨어 개발 과정에서 발생하는 오류는 초기 단계의 오류일수록 최종 소프트웨어 제품에 미치는 영향이 크므로 초기 단계에 문제점을 점검하는 것이 더욱 중요한 문제일 뿐 아니라 생명주기 전 단계에 걸쳐 각 단계에 적합한 시험 항목을 개발하여 적용하는 것이 고품질의 소프트웨어를 개발하는 최선의 방법이 될 수 있을 것이다. 본 연구에서는 생명주기 단계 중 분석 단계에 관한 테스트 항목을 개발하여 분석 단계에서 야기될 수 있는 문제점들을 최소화할 수 있는 방안을 마련하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.289-292
• /
• 2004

원자력발전소 MMIS(Man-Machine Interface System)는 발전소 공정과 관련 장비들을 감시 및 제어하고, 필요시에 보호기능을 수행함으로써 발전소를 안전하고 신뢰성 있게 운전할 수 있도록 지원하고 있다. 그러한 MMIS의 설계에 소프트웨어기반의 컴퓨터 기술이 사용된 경우, 그 설계를 구현하기 위해 사용된 소프트웨어가 설계 및 프로그래밍 오류에 취약하여, 공통유형의 소프트웨어 오류로 인해 하드웨어로써 구축된 다중성 설계를 파기시킬 수 있기 때문에 원자력 발전소의 안전 및 안정 운전과 직결되게 된다. 또한 소프트웨어는 설계공정 결함이 일반적으로 최종 결과물에서 확인될 수 있다는 점 때문에 확인 및 검증기술을 정립하고 체계적인 적용이 필수적이다. 이에 따라 본 논문에서는 현재 설계를 진행중인 SMART(System-integrated Modular Advanced ReacTor) MMIS 소프트웨어를 개발하기 위해 적용되는 확인 및 검증 규제요건을 분석하고, 소프트웨어 개발생명주기에 따른 확인 및 검증을 체계적으로 수행하기 위한 프레임웍을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04a
• /
• pp.169-172
• /
• 2001

소프트웨어의 개발 과정에서 생명주기 단계별로 시험 측정 항목을 개발하여 적용함으로써 각 단계별로 고품질의 개발 산출물을 생산할 수 있으며 결과적으로 고품질의 소프트웨어 개발에 기여하게 된다. 이러한 과정을 거쳐왔다면 소프트웨어의 오류는 최소화되었겠지만 시험 단계를 통해 잔존하는 오류를 발견하여 개선할 필요가 있다. 본 연구에서는 생명주기 단계 중 소프트웨어 시험 단계의 테스트를 위한 시험 측정 항목을 개발하여 시험 단계에서 최종적으로 소프트웨어의 품질을 향상시킬 수 있는 여건을 마련하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.382-384
• /
• 2005

소프트웨어 테스팅에서 테스트 스위트(suite)의 수를 줄이면서도 테스트 커버리지나 오류검출에 있어서 효과적인 방법을 찾기 위한 많은 연구가 시도되어 왔다. 안정성이 높은 설계가 되도록 설계 조건을 결정하기 위하여 제어인자들의 직교 배열을 사용하는 시험방법인 교호작용 테스팅 기법이 소프트웨어의 테스트에서도 효과가 매우 높다는 것이 실험으로 증명되고 있다. 소프트웨어는 상대적으로 몇 안 되는 조건들의 조합들로 오류가 발생할 가능성이 높다는 특징을 가지고 있다. 따라서, 파라미터 간 교호작용 강도 t를 갖는 t-way 테스팅을 통해 효과적으로 테스트 스위트를 줄이면서 많은 오류를 검출할 수 있다. 그러나 t값을 증가시키면 테스트 스위트의 수가 늘어난다는 단점이 발생한다. 또한, 어떠한 파라미터들이 서로 교호작용을 일으키는 것인지 알수 없는 상황을 가정한 단순한 교호작용 테스팅은 자칫 서로 관련 없는 파라미터들도 교호작용 테스팅에 참여하기 때문에 테스트의 낭비가 있을 수 있다는 단점이 있다. 이에, 본 논문에서는 소프트웨어의 입력과 출력간의 관계를 바탕으로 시스템 I-O관계도를 작성한 후, 이를 바탕으로 각 출력에 대한 교호작용을 일으킬 수 있는 파라미터를 중심으로 테스트 스위트를 생성하는 Selective Covering Array를 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.38-43
• /
• 2007

최근의 소프트웨어들이 다양한 기능을 갖추어가면서 점차 복잡도가 증가하고 있으며, 이에 따라 오류로부터의 복구도 어려워져 가고 있다. 이러한 변화는 소프트웨어의 자가 치유 연구에 중요한 이슈가 되고 있다. 하지만 자가 치유 방법론에서 중요한 요소 중에 하나인 모니터는 아직까지 개발자가 일일이 작성해야 하는 한계가 있다. 따라서 본 논문은 외부 자원으로 인한 오류를 탐지하는 모니터 모듈의 생성을 자동화하는 방법론을 제시하고, 이것을 적용한 소프트웨어 아키텍처를 제안한다. 본 방법론은 1) UML의 배치 다이어그램으로부터 소프트웨어와 하드웨어간의 연결을 분석하고, 2) 기술된 제약사항을 이용하여 모니터링 모듈을 자동으로 생성한다. 3) 이후 생성된 모듈을 소프트웨어 사양에 맞게 수정한 후 컴포넌트에 추가한다. 이러한 제안 방법론을 통해 기존에 수동으로 만들어야 했던 외부 자원 모니터를 자동화하는 것이 가능해 진다. 본 논문에서는 평가를 위해 제안 방법론을 비디오 회의 시스템의 클라이언트에 적용하여, 외부 자원의 오류를 올바르게 탐지해내는지 확인한다.

• Journal of the Korea Convergence Society
• /
• v.8 no.10
• /
• pp.37-43
• /
• 2017

In this paper, we propose a method for estimation software quality in terms of software test data, and it is necessary to predict the period of time required for software test evaluation. We need a model to understand of estimation of software quality. In this paper, we propose a model to estimate the number of days for software test using the data obtained through the tester's sex, and present a model for analysing the number of errors according to six quality characteristics by software type.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11b
• /
• pp.915-918
• /
• 2003

본 논문은 OPC 기반 장비의 제어 소프트웨어 생성 시스템(iMaker)의 중앙 집중식 제어 모델의 취약점(제어 컴퓨터의 오류시 모든 제어 중지)을 해결하고 성능 향상을 위하여 제어 소프트웨어를 구성하는 제어 로직들의 분산 배치 및 통합 방법을 사용하여 소기 목적을 달성하고자 한다. 우리가 제안하는 분산 배치 통합 모델은 제어 소프트웨어 실행 시에 발생할 수 있는 오류(시스템 에러, 네트웍 오류)를 극복하는 구조로 디자인하였기 때문에 PC 기반의 제어시스템에 대하여 안전성을 보장하는 방법을 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.238-240
• /
• 2012

소프트웨어 개발 시 코딩 규칙을 준수하면 소프트웨어에 잠재적으로 존재하는 프로그래밍 오류를 예방하는데 많은 도움이 된다. MISRA-C: 2004 는 고 신뢰성과 고품질이 요구되는 자동차, 우주항공, 통신, 등 제조분야에 대한 C언어 코딩 가이드 라인이다. 본 논문에서는 자동차와 우주항공같이 높은 안전성이 요구되는 원격 수소시스템을 타깃으로 하여 정적 분석한다. 그리고 분석 결과 발견된 오류 중 가장 빈번히 일어나는 오류에 대한 문제점을 분석하고 소프트웨어 품질 개선을 위하여 프로그래머들의 코딩 규칙 준수를 권장한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.40-42
• /
• 2002

CORBA나 DCOM과 같은 개발환경을 기반으로 한 컴포넌트 기반 개발(CBD : Component Based Development)은 광범위한 소프트웨어 재사용을 유도한다. 하지만 컴포넌트의 개발 과정 중 영세 및 설계 단계에서 그 컴포넌트가 과연 실행이 가능한 것인지, 오류는 없는지를 명확하게 알 수 있는 방법이 없다. 컴포넌트의 개발 초기 단계에서 그에 대한 검증의 과정을 통하여 논리적 설계 오류를 초기에 피드백할 수 있는 기회를 얻을 수 있을 뿐만 아니라 개발하고자 하는 컴포넌트의 품질을 보장할 수 있게 된다. 본 논문에서는 비동기 시스템 컴포넌트 소프트웨어 개발에서 개발의 초기에 발생될 오류를 발견하기 위해 검증 언어인 PROMELA(Process Meta LAnguage)로의 변환과 LTL의 제약사항을 적용하여, SPIN을 통해 명세의 일관성을 검사하고 정확성을 검증하는 방법을 제안함으로써 생산비를 감소시키고 안정성과 정확성 그리고 신뢰성을 가진 컴포넌트 소프트웨어를 개발할 수 있다.