• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.569-571
• /
• 1999

소프트웨어의 신뢰도는 하드웨어의 신뢰도와 고장메타니즘이 다르므로 하드웨어의 신뢰도 모델을 그대로 이용할 수 없다. 소프트웨어의 신뢰도를 추정하기 위한 방법은 그동안 Jelinski-Moranda(JM) 모델을 비롯하여 많은 기법이 연구되었다. 그러나, 아직까지 만족하다고 인정할 만한 신뢰도모델링은 개발되지 않았다. 본 연구에서는 소프트웨어의 테스트를 통하여 검출되는 에러 개수의 추세를 가지고 비제차포아송과정(NHPP)의 파라미터를 찾아 신뢰도함수를 구하고자 하며, 아울러, 테스트중단시간을 결정하고자 한다. 파라미터를 찾는 방법은 maximum likelihood estimate(MLE) 기법을 이용하며, 테스트 중단시간은 구해진 파라미터를 신뢰도 함수에 대입하여 결정한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.61-63
• /
• 2001

테스트 시스템(Test System)은 반도체 제품을 웨이퍼(Wafer) 또는 완정된 제품 상태 하에서 전기적 특성과 성능을 검사하고 그 결과를 산출해내는 검사장치이다. 테스트 시스템은 크게 하드웨어와 소프트웨어로 이루어져 있으며 시스템을 제어하고 사용자 인터페이스 및 각종 자료를 처리하는 소프트웨어는 그 중요성이 한층 더 부각되고 있다. 그러나 국내 고성능의 테스트 시스템을 개발하는 기업들의 하드웨어 개발은 잘 이루어지고 있으나 소프트웨어의 개발은 어려운 실정이다. 본 논문에서는 테스트 시스템에서 사용하고 있는 테스트 프로그램언어와 컴파일러의 문제점을 지적하고, 문제점을 해결할 수 있는 프로그램밍 언어 T를 설계한다. 그리고 그 언어를 컴파일 할 수 있는 번역기를 설계하여 테스트 관리 시스템의 소프트웨어를 향상시키고자 한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2007년도 춘계종합학술대회
• /
• pp.803-806
• /
• 2007

TRNG (True Random Number Generator)를 테스트 하는 방법은 PRNG (Pseudo Random Number Generator)나 산술연산기를 비롯한 결정적 (deterministic) 소자에 대한 테스트와는 많이 틀려서, 새로운 개념과 방법론이 제시되어야 한다. 하드웨어적으로 결정적인 소자들은 패턴을 사용한 테스트 (ATPG; automatic test pattern generation)에 의해 커버가 될 수 있지만, 순수 난수는 발생 결과의 아날로그적인 특성에 의하여 자동 패턴 생성 방식에 의해 소자를 테스트하기가 불가능하다. 본 논문에서는 하드웨어와 소프트웨어를 결합한 테스트 방식으로 테스트 패턴에 연속적인 패턴의 변화를 주면서 통계적으로 관찰하는 방식인 Diehard test라는 테스트 방식을 연구, 분석하고, 순수 난수의 테스트 시 고려해야 할 주안점을 제안한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2003년도 춘계학술발표대회논문집
• /
• pp.267-270
• /
• 2003

암호 시스템들은 복잡한 연산과정을 수행하므로 소프트웨어적으로 구현할 경우 수행속도가 저하되는 단점이 있다. 이를 고속으로 수행하기 위하여 암호 시스템을 하드웨어적으로 구현하는 연구가 활발히 수행되고 있는 것이 현재의 추세이다. 암호 시스템의 하드웨어 모듈을 개발하는 과정 중에는 설계한 모듈이 올바르게 동작하는 지의 여부를 검증하는 과정이 필수적으로 포함된다. 이를 위하여 시뮬레이션을 이용한 방법, 테스트 보드를 직접 구현하는 방법 등과 같은 검증 방법들이 주로 사용되고 있다. 암호 하드웨어 모듈은 기존의 방법만을 최대 1024, 2048 비트 정도의 많은 비트를 동시에 검증을 수행하므로 시각적으로 판별하기 곤란한 문제가 발생한다. 본 논문에서는 기존의 검증 방법을 보완하는 방법으로 PC 기반의 소프트웨어 통제하에서 암호 하드웨어 모듈을 효과적으로 검증할 수 있는 검증 방법을 제시하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.27-29
• /
• 2011

위성 전체 시스템의 동작과 임무 수행을 책임지고 있는 위성 탑재 소프트웨어의 개발 과정에서 위성 탑재 컴퓨터를 이해하고 소프트웨어가 동작하기 위한 환경을 구성하는 작업은 필수적인 과정이다. 위성 탑재 소프트웨어 개발의 초기 과정은 하드웨어와 매우 밀접하게 관련되어 있으며, 이러한 하드웨어의 동작을 보다 쉽게 테스트하기 위한 환경이 필요하게 된다. 최근 위성 탑재 컴퓨터로 널리 쓰이고 있는 LEON 2/3 플랫폼은 AHB-UART 를 이용하여 Memory 에 대한 직접적인 R/W Operation 을 지원하고 있는데, 본 논문에서는 이 기능을 이용하여 위성 탑재 컴퓨터를 보다 쉽게 테스트할 수 있는 테스트 스크립트 언어의 구현 방안에 대하여 기술하며, 더불어 이러한 테스트 언어의 구현에 있어 ANTLR 을 이용하는 방안도 함께 소개한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2012년도 춘계학술발표대회논문집
• /
• pp.99-101
• /
• 2012

산업현장에서 최종 생산품의 신뢰성 검증단계에 사용되는 PC기반 테스트 장비들은 생산제품의 특성에 따라 인위적인 과전압 인가, 고/저온 테스트, 잦은 강제 셧다운 등 많은 스트레스로 인해 잦은 고장과 오동작을 일으킨다. 테스트 장비의 고장은 생산성 저하와 직결됨으로 신속한 고장원인의 파악을 위한 진단 시스템이 요구된다. 본 논문에서는 테스트 장비의 하드웨어 상태를 효율적으로 진단할 수 있는 하드웨어와 지식정보기반 진단결과의 분석을 통한 오류원인 및 불량파트의 범위를 줄여줄 수 있는 분석 소프트웨어를 제안한다.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2002년도 추계학술대회
• /
• pp.401-405
• /
• 2002

제품으로서의 소프트웨어가 급속히 보급되면서 소프트웨어 제품 품질 평가의 필요성이 증가하고 있다. 소프트웨어는 하드웨어와 다른 무형의 제품으로서 기술 및 품질에 대한 표준화와 시험 평가 방법의 도출이 어렵다. 최근에 개발된 소프트웨어 품질 모델과 도메인별 제품 표준화 노력으로 소프트웨어 제품 평가 방법이 개발되고 있다. 이와 더불어 제품을 비교 평가하여 소비자에게 제품을 선택할 수 있는 기준을 줄 수 있는 벤치마크 테스트의 필요성이 제기되고 있다. 본 연구에서는 하드웨어와 비교되는 소프트웨어 벤치마크 테스트의 특성을 살펴보고 본 연구에서 개발한 벤치마크 테스트를 위한 표준 프로세스 개발 결과를 제시하고 개발된 프로세스의 각 단계별 활동에 대하여 논한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (3)
• /
• pp.415-417
• /
• 2002

운영체제가 지원되지 않는 소규모 기기에서 IPv6의 보안기능을 고성능으로 제공하기 위해본 연구실에서는 IPv6용 IPsec 프로토콜과 암호화 알고리즘을 하드웨어로 구현하였다. 이러한 IPv6용 하드웨어 IPsec을 기반으로 한 보안 서비스를 제공하기 위해서는 안전한 키의 교환과 인증이 중요하다. 이를 위하여 본 논문에서는 IPv6용 하드웨어 IPsec을 위한 키 교환시스템으로서 IKE Module을 설계하여 드라이버 프로그램으로 구현하였다. 그리고 구현된 IKE Module을 IPv6용 하드웨어 IPsec의 드라이버로 탑재하여 기존의 소프트웨어 IKE Module과의 테스트를 통하여 기능을 검증하였다.

• 대한전자공학회논문지SD
• /
• 제41권11호
• /
• pp.87-95
• /
• 2004

본 논문에서는 SoC 테스트를 위한 새로운 테스트 데이터 압축 방법을 제안한다. 제안하는 압축 방법은 테스트 데이터 압축을 위해 압축율과 하드웨어 오버헤드를 고려하여 최대 효율을 가지도록 하는데 기초하고 있다. 압축율을 높이기 위해서 본 논문에서는 IR 기법과 MSCIR 압축 코드를 사용하며, 뿐만아니라 이를 위한 사전 작업인 새로운 맵핑 기법 및 테스트 패턴순서 재조합 방법을 제안한다. 기존의 연구와는 달리 CSR 구조를 사용하지 않고 원래의 테스트 데이터를 사용하여 압축하는 방법을 사용한다. 이렇게 함으로써 제안하는 압축 방법은 기존의 연구에 비해 훨씬 높은 압축율을 가지며 낮은 하드웨어 오버헤드의 디컴프레션 구조를 가진다. ISCAS '89 벤치 회로에 대한 기존의 연구와의 비교로서 그 결과를 알 수 있다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2011년도 제43차 동계학술발표논문집 19권1호
• /
• pp.225-228
• /
• 2011

핸드폰에 의한 모바일 콘텐츠의 사용량이 날로 증가하고 있으며 이러한 추세에 맞추어 다양한 콘텐츠들이 다양한 플렛폼에서 생산되고 있다. 모바일 플랫폼에서 사용 가능한 콘텐츠 생산성은 플랫폼의 특수성으로 인해 생산 속도가 느리고 인력 투입이 많은 것이 문제점으로 지적되고 있다. 또한 무선 플랫폼에서 사용 가능한 콘텐츠 제작시 다양한 하드웨어 플랫폼으로 인한 액정 크기의 다양성과 사용 가능한 콘텐츠 개발 언어의 다양성으로 인한 문제점도 많은 것으로 알려져 있다. 본 연구에서는 이러한 생산성 저하의 원인으로 대표되는 문제점들과 다양한 하드웨어 플랫폼으로 인해 발생하는 문제점들을 해결하기 위한 모바일 콘텐츠를 통합 제작하고 테스트하는 PC용 소프트웨어를 개발하였다. xHTML 언어로 제작된 모바일 콘텐츠를 다양한 언어로 변환하기 위하여 패턴매칭 알고리즘을 사용한 변환 모듈을 개발하였다. 또한, 변환된 콘텐츠들을 각 플랫폼별로 테스팅 하기 위하여 개발자의 직접적 개입이 없이 모든 콘텐츠를 자동으로 검사하고 결과를 리포트 생성하는 자동 테스트 부분과 개발자의 육안으로 확인하고 테스트하여 결과 리포트를 생성하는 수동 테스트 부분으로 나누어진 소프트웨어 엔진을 개발하였다. 이상의 변환엔진을 사용하여 xHTML로 제작한 원본 콘텐츠는 다양한 플랫폼에서 이용 가능한 콘텐츠로 생산이 용이해 졌으며, 두 테스트 엔진을 사용하여 기본적인 콘텐츠 오류들을 쉽게 찾아내고 수정할 수 있는 개발 환경을 구축하였다.