• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (2)
• /
• pp.252-254
• /
• 1998

본 연구는 반도체 검사 장비를 국산화하는 프로젝트의 일환 중에서 메모리 칩의 무결성을 검사하는데 사용되는 메모리 테스트 장비의 소프트웨어 개발에 중점을 둔 것이다. 기존에 발표된 프로그램은 자체 개발된 것 없이 외국의 프로그램을 들여와 단지 운영만을 하는 수준이었다. 더욱이 프로그램들도 text모드 하에서만 구동되는 프로그램이었다. 하지만, 본 연구에서는 새로운 컴퓨팅 환경에서 운영될 수 있도록 윈도우즈 하에서 GUI(Graphic User Interface)에 기반한 새로운 TDL 컴파일러를 개발하였다. 개발된 프로그램은 Test Data를 기술하는데 더 효과적이었으며 오류를 검사하고 수정하는데도 큰 효과를 가져다 주었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.247-249
• /
• 2012

본 연구에서는 MATLAB Simulink/Stateflow 기반으로 만든 모델의 transition의 condition을 미리 연산하고, 이를 바탕으로 모델을 최적화하는 모듈을 제안하고 이를 구현하였다. 구현한 모듈은 stateflow 내부의 transition condition의 label string을 이진트리로 구성하고, True/False를 판단한다. 그리고 condition의 True/False 판단 결과를 통해 모델의 최적화 과정을 수행한다. 제안하는 모듈을 이용하여 간단한 예시모델의 수정 과정을 보이고 테스트 커버리지가 향상되는 것을 검증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (2)
• /
• pp.52-54
• /
• 2001

전문가시스템의 개발과정에서 가장 힘들고 많은 시간과 비용을 필요로 하는 단계는 전문가가 소유하고 있는 지식을 구조화하여 시스템에 이식하는 이른바 지식공학 과정이다.[1] 이러한 사정은 체력관리전문가시스템의 경우도 예외일 수 없다. 본 연구에서는 체력관리전문가시스템이 갖는 지식의 구조적인 특성을 파악한 후, 이 특성을 이용하여, 전문가시스템이나 지식공학에 관한 지식이나 경험이 없는 체력관리자들이 지식의 구축, 테스트, 수정을 어렵지 않게 수행할 수 있도록 하는 지식관리시스템을 개발하였다.

• 한국통신학회논문지
• /
• 제26권10A호
• /
• pp.1727-1736
• /
• 2001

본 논문에서는 실제 자원의 개발 전에도 망 관리 시스템의 개발 및 운용 테스트를 수행하도록 지원하는 실제 자원 시뮬레이터(RRS : Real Resource Simulator)를 제안한다. RRS는 객체의 상태를 유지하는 MOT(Managed Object Table)와 사용자가 정의한 동작 특성을 유지하는 SDT(Simulation Data Table), 랜덤(Random) 값과 랜덤주기(interval) 값을 발생할 지원 함수들, 순차적인 사건 발생 또는 값의 수정을 지원하는 스케줄링 테이블, 그리고 이들을 전체적으로 관장하는 메인 커널로 이루어져 있다. 본 논문에서는 이러한 각 요소의 기능과 동작 시나리오, 이를 이용한 평가 방안을 소개한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.328-330
• /
• 2003

최근 운영시스템. 제어프로그램, 적용프로그램과 같은 여러 가지 소프트웨어 시스템이 더욱 더 복잡화 및 대형화되고 있기 때문에 신뢰도가 높은 소프트웨어 시스템을 개발하는 일이 매우 중요하며, 따라서 소프트웨어 제품 개발에 있어서 소프트웨어의 신뢰도가 핵심사항이라고 할 수 있다. 소프트웨어가 주어진 시간동안 고장이 발생하지 않을 확률 즉, 신뢰도는 소프트웨어의 테스트 과정을 계속하면서 반복해서 결함을 발견 및 수정하면 더욱 더 향상될 것이다. 그러한 검출현상을 설명해주는 소프트웨어 신뢰도 모델을 소프트웨어 신뢰도 성장모델(SRGM)이라 한다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2003년도 동계학술대회
• /
• pp.77-85
• /
• 2003

기 상용화되고 있는 소프트웨어/하드웨어 제품의 복제방지에 대한 강도가 부족하여 쉽게 락이 크랙될 뿐 아니라 복제방지의 기능을 수행할 수 없는 단점을 보안하여 본 논문은 세계적으로 가장 많이 사용하고 있는 암호알고리즘 중의 하나인 DES를 구조적으로 수정하고 키 길이를 확장하여 암호학적 강도를 개선한 E-DES(Extended DES)를 설계하고, 이를 하드웨어로 구현하기 위해서 시스템 설계 기술언어인 VHDL로 코딩하고, FPGA를 이용, test chip을 구현하여 성능테스트를 수행한 다음, 설계된 FPGA 칩을 ASIC으로 제작하여 강력한 암호알고리즘을 가진 보안칩을 설계한다.

• 한국도서관정보학회지
• /
• 제46권1호
• /
• pp.155-176
• /
• 2015

한국목록규칙의 개정과정에서 세미나 및 공청회를 통해 초안의 수정이나 문제점을 파악했던 기존 방식에서 벗어나 개정될 목록규칙의 문제점을 올바르게 파악하고, 도서관에서 새로운 목록규칙을 올바르게 적용할 수 있도록 한국목록규칙의 테스트 방안을 제안하였다. 연구방법으로는 문헌연구 및 사례조사를 바탕으로 하였으며, 사례조사는 RDA 테스트 조정위원회가 실시한 RDA 테스트를 바탕으로 분석하였다. 테스트의 평가항목으로 목록규칙 자체, 새로운 목록규칙을 적용한 레코드 생성 및 시스템 개발 측면, 이용자 측면, 비용 측면이었다. 개정될 한국목록규칙에 따라 서지 및 전거레코드를 생성하고, 설문조사를 실시하여 데이터를 수집할 것을 제안하였다. 설문조사는 기관용, 레코드를 생성한 사서용, 레코드를 사용하는 이용자용으로 구성되었다. 생성된 서지레코드의 목록규칙 적용 오류 및 서지레코드 구축시 규칙 적용의 문제점을 분석하여 앞으로 개정될 한국목록규칙 개정에 도움이 될 것이며, 신규 목록규칙의 서지레코드 입력시간 및 학습커브 등의 분석은 도서관이 새로운 목록규칙의 반영 여부를 결정하는데 도움이 될 것이다.

• 한국지능시스템학회논문지
• /
• 제25권6호
• /
• pp.542-550
• /
• 2015

일반적으로 새로운 SSD(Solide State Drive)를 개발할 때는 이전 세대 제품의 소프트웨어 플랫폼을 재사용하게 된다. 따라서, 이전 세대 제품을 평가할 때 사용했던 동일 테스트 케이스를 이용하여 새로운 제품을 평가하면 여러 가지 이점이 있을 수 있지만, 우선순위 또는 가중치가 고려되지 않음으로 인해 평가 리소스의 사용에 비효율성이 존재하게 된다. 이와 같은 시간적, 공간적인 리소스 낭비에 의한 비효율 발생을 방지하기 위해 새로운 방법을 제안한다. 이전 세대 제품의 평가 데이터 분석을 통해서, 불량을 검출해 낼 수 있는 가장 높은 확률의 테스트 케이스의 조합을 찾아내고, 이를 활용함으로써, 평가에 사용되는 리소스의 낭비를 최소화 시키는 방법이다. 소프트웨어가 재사용될 경우, 플랫폼 코드를 베이스로 두고, 수정 또는 추가되는 모듈의 코드가 플랫폼 코드에 통합되는 특징을 가진다. 이러한 특징 때문에 코드가 통합되는 부분에 이전과 유사한 타입의 불량이 다수 존재하게 되는 것이며, 기존 평가에서 가장 높은 확률의 불량 검출율을 가진 평가 조합을 검증에 적용함으로써 내제되어 있는 불량을 조기에 검출할 수 있게 되는 것이다. 이와 같이, 다음 세대 제품의 불량들을 조기에 검출할 수 있다면, 이는 불량 개선에 드는 비용을 최소화 시킬 수 있다는 것을 의미한다.

• 스마트미디어저널
• /
• 제12권1호
• /
• pp.17-23
• /
• 2023

보안 설계 방법론은 물리적 공격으로부터 집적회로를 방어하는 것을 목적으로 하며, 칩 외부에서 발생하는 비정상적인 접근을 감지하는 회로를 내부에 추가로 배치하여 구현된다. 비정상적인 접근 중 microprobing과 FIB 장비를 이용한 회로 수정 공격은 직접적인 접근이 가능한 만큼 가장 강력한 공격 수단이다. microprobing은 프로브를 통해 회로의 와이어에 의도적으로 결함을 주입하거나, 데이터를 읽고 변경한다. FIB 회로 수정 공격은 회로를 재연결하거나 파괴하여 회로를 무력화하거나 데이터에 접근하는 방식이다. 기존에는 두 공격에 대응하기 위해 두 신호의 도착 시간 불일치를 검출하거나, 암호화 통신을 기반으로 입출력 데이터를 비교하는 연구가 진행됐었다. 본 논문에서는 하드웨어 오버헤드 감소를 목표로 연구를 진행했으며, 프로브 접촉과 회로 수정을 통해 발생하는 반사 신호의 비대칭을 감지한 후, 비교를 통해 공격을 검출한다. 제안하는 보안 회로는 기존 연구 대비 회로의 크기와 테스트 주기를 감소시켜, 보안에 사용되는 비용을 절감할 수 있다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2013년도 제48차 하계학술발표논문집 21권2호
• /
• pp.61-64
• /
• 2013

본 논문에서는 모바일 기반 OpenCV 라이브러리를 이용한 마커리스 객체 인석 성능 향상을 위한 소프트웨어적인 관점의 방법을 제안한다. 기존의 마커리스 기반 알고리즘을 이용하여 테스트를 수행한 후 성능에 저하를 발생시키는 요인들을 분석하고 그에 따른 상황별 적절한 해결책을 제시한다. 이에 따라 크게 프로그램 코드 개선, 마커리스 기반 알고리즘 코드 개선, 센서를 활용한 성능 향상을 도모한다. 프로그램 코드 개선은 테스트 결과를 분석 한 후 수행시간이 가장 많이 소요되는 함수를 최적화하고 또한 최적의 특징점의 수를 제한한다. 마커리스 기반 알고리즘 코드 개선은 병렬 처리가 제공되는 모바일에 한하여 병렬처리기법으로 코드를 수정한다. 마지막 센서를 활용한 성능향상은 실시간 작업 처리 단위를 묶음으로 처리하였을 때 발생하는 품질의 저하를 보정하는 역할을 수행한다. 본 논문에서는 이러한 마커리스 객체 인식 성능 향상 방법을 소프트웨어적인 관점에서 제안하고 이에 대한 결과 모바일 기반 실시간 증강현실 서비스를 위한 성능 향상 면에서 효과적이다.