• 한국인터넷방송통신학회논문지
• /
• 제13권1호
• /
• pp.129-134
• /
• 2013

기존 연구실 연구에서는 메타모델 기반의 순차적 다이어그램을 통한 테스트케이스 생성의 자동화가 초점이었다. 하지만 메타모델 기반의 스테이트 다이어그램을 통한 테스트케이스 자동 생성에 관한 메커니즘에 관한 연구가 부족하다. 그래서 본 논문에서는 Model Driven Architecture(MDA) 메커니즘인 메타모델과 모델변형기법을 채택하여, UML내 스테이트 다이어그램을 통해 테스트케이스를 자동 추출메커니즘을 제안한다. 이를 위해 테스트케이스 생성단계 프로세스를 정의하고 각 단계별 메타모델 정의와 모델간의 변형 규칙을 정의한다. 제안한 기법을 통해 임베디드 소프트웨어 테스트 설계 및 테스트케이스 추출비용과 시간을 줄이고 임베디드 소프트웨어의 품질을 높이고자 한다.

• 정보과학회 논문지
• /
• 제43권6호
• /
• pp.662-667
• /
• 2016

차량 내 전기전자제어시스템이 급격히 증가하면서 이로 인한 안전사고가 이슈로 부각되고 있다. 그러므로 차량의 안전성을 확보하기 위해서는 개발 초기에 PHA, HAZOP 등을 활용하여 위험원을 식별하고, 이를 예방하기 위한 안전 메커니즘이 구현되어야 한다. 특히, HAZOP은 가이드워드 기반의 체계적인 방식으로 널리 활용되고 있다. 하지만, 시스템이 제공하는 최상위 기능으로부터 오동작을 찾아내기 때문에, 동작 과정상의 위험원을 충분히 식별하지 못한다. 또한 충분히 식별되지 않은 위험원으로부터 안전 요구사항을 정의하기 때문에 테스트케이스 설계에도 제한이 있다. 이에 본 연구에서는 시스템의 동작과정 정의에 유용한 사용사례 기술서와 HAZOP을 적용한 위험원 식별 그리고 안전 요구사항 기반의 테스트케이스 설계 방안을 제안한다. 본 연구의 효용성을 검증하기 위해 차량의 스마트키 제어시스템 사례를 제시하고, 기존 HAZOP 기반의 위험원 분석 결과와 비교한다. 본 연구를 적용하는 조직은 시스템 개발 초기에 위험원 및 안전 요구사항을 충분히 식별하고, 테스트케이스를 설계함으로써 개발 비용을 줄이고, 시스템 품질을 높일 수 있을 것으로 기대한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.661-663
• /
• 2002

현대의 Deep-Submicron Technology(DSM)에선 배선에 관련된 문제, 예를 들어 crosstalk이나 노이즈 등이 큰 문제가 된다. 그리하여, 배선은 논리 구성요소들보다 더욱 중요한 위치를 차지하게 되었다. 우리는 이러한 배선을 고려하여 연산식을 최적화하기 위해 carry-save-adder(CSA)를 이용한 모듈 함성 알고리즘을 제시한다. 즉, 상위 단계에서 생성 된 규칙적인 배선 토폴로지를 유지하며 CSA간의 배선을 좀더 향상시키는 최적의 알고리즘을 제안한다. 우리는 우리의 이러한 방법으로 생성된 지연시간이 [1]에 가깝거나 거의 근접하는 것을 많은 testcase에서 보이며(배선을 포함하지 않은 상태에서), 그리고 그와 동시에 최종 배선의 길이가 짧고 규칙적인 구조를 갖는것을 보인다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2007년도 추계 종합학술대회 논문집
• /
• pp.591-594
• /
• 2007

X-Internet과 X-Forms 기반의 웹 UI 개발 툴로 개발되어 클라이언트 상에서 운영되는 소프트웨어 대한 테스트 프로세스를 제안하고 사이트를 구축한다. 이러한 소프트웨어는 개발이 완료되어 운영되는 과정에도 사용자의 요구, 성능 향상, 기능 개선, 기능 추가 등의 이유로 변경이 된다. 변경된 소프트웨어를 테스트하기 위해 V-모델을 확장, 변형한 테스트 프로세스를 제안한다. 제안한 테스트 프로세스는 테스트 목표와 그 목표를 달성하기 위한 활동을 정의하는 테스트 계획을 시작으로, 테스트 케이스와 데이터를 식별하고 환경을 구축하는 분석과 설계, 테스트 케이스를 명세화하고 테스트 방법론을 적용하는 구현과 실현, 리포팅과 산출물을 정리하는 테스트 마감 단계로 진행된다. 본 논문은 테스트 프로세스를 효율적으로 관리하고 기록하여 시간과 비용을 절감할 수 있는 사이트를 구축한다.

• 융합보안논문지
• /
• 제16권5호
• /
• pp.73-79
• /
• 2016

방송사업자가 운영하는 채널들의 프로그램 명, 방송시간, 장르, 시청연령 등의 정보를 보여주는 전자프로그램가이드는 디지털방송 기술의 발달로 탄생한 데이터서비스들 중 가장 성공적인 사례로 손꼽히며 디지털방송 시청경험의 향상을 바라는 시청자와 방송사의 수익구조를 강화하고자 하는 방송사업자 입장에서 필수적인 서비스로 자리 잡고 있다. 이에, 다양한 전자프로그램가이드의 개발과 기존 전자프로그램가이드의 리뉴얼 작업이 빈번이 발생하게 되는데 이로 인해 개발업체 입장에선 전자프로그램가이드 개발의 효율성을 제고하기 위한 방법이 요구되고 있다. 본 논문은 미국 카네기멜론대학의 SEI에서 개발한 FODA 기법을 활용하여 전자프로그램가이드의 피처 모델을 개발하고, 그 피처 모델을 기반으로 전자프로그램가이드의 피처 별 테스트케이스들을 개발하여 전자프로그램가이드 개발 프로세스를 구성하는 주요 업무 중 요구사항 분석 업무와 테스트케이스 개발 업무의 효율성을 제고하는 방법을 제안한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 II
• /
• pp.855-858
• /
• 2003

TCP/IP 를 포함하는 데이터 네트워킹 프로토콜을 구현함에 있어, 기존에는 소프트웨어 방식으로 구현되었던 모듈들을 하드웨어로 구현하는 프로젝트를 수행하면서, CPU 와 하드웨어 모듈과의 통신을 중계하는 모듈을 구현하였다. 본 논문에서는 TCP/IP 하드웨어와 CPU 와의 통신을 위한 Host Interface 의 기능에 대해 다루고 구현 방식을 Control flow와 Data flow의 입장에서 설명하였다. 우선, Host Interface 의 기능을 설명하고 Host Interface 의 입출력 신호를 정의하였다. Host Interface에서 이루어지는 CPU와 하드웨어 모듈간의 통신을 제어정보 흐름과 데이터정보 흐름으로 나누고 제어흐름을 위해서는 Command/Status Register 를 두었고, 데이터 흐름을 위해서는 CPU와 데이터 RAM 사이에 FIFO 를 두어 데이터의 흐름이 신속히 이루어지도록 하였다. 끝으로 Host Interface 와 주변 모듈들간의 통신에 대한 Testcases에 대해서도 다루었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 추계학술발표논문집(상)
• /
• pp.425-428
• /
• 2004

고품질의 소프트웨어 시스템을 개발하기 위해서 소프트웨어 테스트는 중요하다. 소프트웨어 개발 시에 발견되는 심각한 결함과 오류들은 소프트웨어 시스템이 사용자의 요구사항을 정확히 충족시키지 못하는데 원인이 있다. 테스트 수행 시에 요구사항을 정확히 반영하지 못한다면 반드시 테스트되어야 할 조건들이 누락될 수 있고 테스트의 성취도는 감소한다. 따라서 모든 소프트웨어 테스트는 사용자의 요구사항을 추적할 수 있어야 한다. 이를 위해 본 논문에서는 객체지향 접근방법을 사용하여 사용자의 요구사항을 테스트에 반영하고 추적하기 위한 일관성 유지 기법을 제안한다. 이를 기반으로 요구사항을 만족하는 일관성 있는 테스트케이스를 생성한다.

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

소프트웨어의 비정상적인 작동인 크래시는 보안 취약점의 원인이 된다. 이러한 크래시로부터 야기되는 취약점을 예방하기 위해 다양한 테스트케이스를 생성하고 크래시를 발견 및 분석하는 연구가 지속되고 있다. 본 논문에서는 북한 소프트웨어 서광사무처리체계에서 사용하는 국제 사무용 전자문서 형식인 Open Document Format for Office Application (ODF)의 워드프로세스 문서 형태인 ODT파일의 효과적인 보안 테스트케이스를 찾기 위해 먼저 테스트케이스를 도출한다. 도출된 테스트케이스를 데이터 전처리한 후 Feature Selection 기법을 적용하여 의미 있는 속성들을 분류한다. 마지막으로 ODT 파일 내에 크래시를 유발하는 유의미한 속성들을 확인하고 퍼징 테스트케이스 작성 시 메트릭으로 활용할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2019년도 추계학술발표대회
• /
• pp.664-667
• /
• 2019

소프트웨어 개발 주기의 마지막 단계인 테스팅 단계의 가치 및 중요도가 높아짐에 따라, 소프트웨어 테스팅 자동화 도구에 대한 수요 역시 비례하여 증가하는 추세이다. 이에 테스트 자동화 도구를 개발하여 테스트 기간 및 소요 인력, 비용을 감소시킴과 동시에 테스트 성능은 유지 혹은 개선시켜 소프트웨어 품질을 향상시키고자 한다. 본 연구에서는 Rule-based random testing 을 위한 테스트케이스 자동 생성 프로그램을 개발하고 이를 위한 테스트케이스 자동 생성 알고리즘을 제안한다.

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

인터넷의 발달로 인해 최근 Software 분야는 복잡해지고 많은 분야에서 결정적인 산출물로 다양한 어플리케이션이 개발되고 있다. 또한 Software의 품질과 보증을 목적으로 테스팅의 규칙적인 방법이 요구되어진다. 본 논문에서는 다양한 Software Application의 테스팅을 위한 개발 방법으로 확장성과 융통성 그리고 재사용성을 위하여 테스트 케이스 추출을 위한 메타모델을 시각화하고 테스팅 단계별 요구되어지는 모델을 Unified Modeling Language를 이용한 개발 관점을 테스트 설계 모델과 테스트 제어 모델로 구분하여 제시하고 특정 시스템 도메인을 활용하여 테스트 실행 환경과 테스트 프로세스 설계에 대한 방법을 제안한다.