• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1409-1412
• /
• 2000

현재 컴퓨터가 실생활의 모든 영역에 중대한 영향을 미치고 있기 때문에, 오류가 없는 소프트웨어에 대한 관심이 증대되고 있다. 오류 없는 안전한 소프트웨어 개발의 거의 유일한 방법은 시스템 개발 초기 단계에서부터 엄격한 검증과 테스트를 행하는 것이다. 그러나, 정작 그 소프트웨어가 적절한 명세에 따라 개발되었는지의 검증과 테스트는 이루어지고 있지 않다. 따라서 본 논문은 그러한 소프트웨어의 일부분인 JavaCard의 기술명세에 따라 제대로 만들어 졌는지의 여부를 검증할 수 있는 검증 테스팅 도구에 관해 연구하고자 한다.

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

본 연구에서는 산업 안전 서비스를 위한 IP-USN 기반의 멀티미디어 공동작업 환경에서 응용 소프트웨어와 미디어 등의 프로세스(process) 요소들에 대한 오류를 미리 감지하여 오류 공유 시스템을 이용하여 신속하고 정확하게 전달하여서 복구하는데 빠르게 대처할 수 있는 시스템을 제안한다. 감지된 오류는 오류 공유 시스템을 이용하여 공동 작업을 하는 다른 사용자들에게 신속히 전달하여서 오류 발생 인식을 공동으로 대처할 수 있도록 한다. 본 논문에서 제안한 오류 공유 시스템은 산업 안전 서비스를 위한 IPUSN 기반의 LAN 및 WAN 환경에서 응용 프로그램에서의 오류를 다수의 사용자가 공유하도록 지원한다. 특히 기존의 방법과는 달리 참여자의 수에 관계없이 일정한 전송률과 동일한 응답 시간을 보장함으로써 동시에 모든 참여자들이 같은 결과의 오류를 인식하게 되며 사용자의 수의 증가에 따른 영향을 적게 받는다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.136-138
• /
• 2001

본 연구에서는 멀티미디어 공동작업 환경에서 응용 소프트웨어와 미디어 등의 프로세스(Process) 요소들에 대한 오류를 미리 감지하여 오류 공유 시스템을 이용하여 신속하고 정확하게 전달하여서 복구하는데 빠르게 대처할 수 있는 시스템을 제안한다. 감지 시에 훅킹(hooking) 방법을 이용한다. 감지된 오류는 오류 공유 시스템을 이용하여 공동 작업을 하는 다른 사용자들에게 신속히 전달하여서 오류 발생 인식을 공동으로 대처할 수 있도록 한다. 본 논문에서 제안한 오류 공유 시스템은 UDP 브로드 캐스팅 및 IP 멀티캐스팅을 지원하며 적은 부하로 LAN 및 WAN 환경에서 응용 프로그램에서의 오류를 다수의 사용자가 공유하도록 지원한다. 특히 기존의 TCP를 이용한 방법과는 달리 참여자의 수에 관계없이 일정한 전송률과 동일한 응답 시간을 보장함으로써 동시에 모든 참여자들이 같은 결과의 오류를 인식하게 되며 사용자의 수의 증가에 따른 영향을 적게 받는다.

• Aerospace Engineering and Technology
• /
• v.2 no.1
• /
• pp.73-79
• /
• 2003

Usual satellite design adopts hardware Error Detection and Correction (EDAC) circuitary for memory elements to endure proper operation in space radiation environment and periodic read-back(scrubbing) scheme to remove errors occurred and to prevent further accumulation of errors, in parallel, But lack of detail radiation test data upset rates of KOMPSAT-2 mass storage was estimated very worse compared to that of KOMPSAT-1, which was evaluated from very precise radiation test. Although upset rates were evaluated enough low to accommodate by KOMPSAT-2 Flight Software, hardware scrubbing scheme is studied to shorten scrubbing time as well. This paper describes hardware scrubbing architecture having minimum 1.88 minutes scrubbing interval over 1 Gbits memory.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.5
• /
• pp.1330-1340
• /
• 2000

Multimedia isn ow applied to various real world areas. In particular, the focus on multimedia system and CSCW(Computer Supported Cooperative Work) has increased. In spite of this current trend, however, the study of fault tolerance for CSCW has not yet fully progressed. We propose EDR_MSCW. It is a system that is suitable for detecting ad recovering software error based on multimedia computer supported cooperative work as DOORAE by using software techniques. DOORAE is a framwork for supporting development on multimedia applications for computer-based collaborative works. When an error occurs, EDR_MCSCW detects an error by using hooking methods in MS-Windows API(Application Program Interface) function. If an error is found, we present a checkpointing and recovery algorithm which has the removal function of the domino-effect for recovering multimedia and CSCW by using stack.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.389-402
• /
• 1997

컴퓨터 소프트웨어를 내장한 시스템의 안전성을 평가하기 위한 여러 가지의 결함 분석 기법들이 있다. 이러한 결함 분석 기법들은 전통적으로는 하나의 시스템을 분석하는데 단지 하나의 방법으로만 분석해 왔으나, 시스템의 종류와 특성이 다양해지면서 시스템에 가 장 알맞는 분석 기법이 동원되어야 함은 이제 필수적이다. 여기에 착안하여, 시스템 내에서 소프트웨어의 크기가 비교적 작고, 안전성과 관련한 시스템의 반응 시간이 특별히 민감하지 않는 소프트웨어의 안전성을 평가하는 방법으로 결함 트리 분석(FTA)과 소프트웨어 오류경 향 및 영향 분석(소프트웨어 FMEA)을 결합한 시스템 결함 분석 방법을 제안하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.489-491
• /
• 2016

자동차산업은 매년 발전하고 있다. 자동차용 소프트웨어의 중요성이 커지고 있기 때문에 자동차용 소프트웨어의 신뢰성 평가는 이루어 져야한다. 자동차용 소프트웨어의 오류가 있을 경우 대형 사고로 이어질 수 있기 때문에 자동차용 소프트웨어의 신뢰성 평가가 반드시 필요하다. 따라서 본 논문에서는 자동차용 소프트웨어의 신뢰성 평가를 위한 다양한 평가 방안들에 대한 분석을 수행하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.436-438
• /
• 2001

소프트웨어 제품의 품질을 보증하는 일은 중요하며, 이를 위해서는 실제 소프트웨어 제품이 실행될 때 최적의 결과에 영향을 주는 데이터, 즉 데이터의 품질이 보증 되어야 한다. 그러나 대부분의 소프트웨어 품질 관련 연구에서는 소프트웨어 품질 측정에 대한 모형만을 제시할 뿐 데이터 품질에 대해서는 다루어지고 있지 있다. 본 논문에서는 데이터 품질 평가를 위하여 데이터 품질을 측정하는 메트릭을 제안한다. 제안한 메트릭은 전체 데이터베이스에서 오류 데이터가 발생한 비율과 데이터 사용 목적에 따라 데이터 항목마다 다른 가중치를 적용하여 구해진다. 본 논문에서 제안하는 데이터 품질 메트릭은 특히 데이터를 주로 처리하는 소프트웨어 시스템의 품질 측정에 기여할 수 있다.

• 소프트웨어세계
• /
• s.3
• /
• pp.46-49
• /
• 1997

• Journal of KIISE:Software and Applications
• /
• v.29 no.10
• /
• pp.694-702
• /
• 2002

An application in Component-Based Software Development (CBSD) is built by 'composing'two kinds of components; One is a component that is made by current developer himself, and the other is a component that is from other developments. We define the former as a 'White-box component' and the latter as a 'Black-box component.' The error from the composition can be said to be caused by interactions of Black-box components and White-box components. This paper proposes a new testing technique for composition errors, and applies the technique to Enterprise Java Beans component architecture. Our technique selects test cases by injecting a fault only into the specific parts of a White-box component. This specific parts for injecting a fault are selected by analyzing composition patterns, and lead to make our test cases have a good effectiveness. We show the effectiveness of our test cases through an experiment. Moreover, we also mention an automation tool for our technique.