• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.361-370
• /
• 2009

많은 모바일 어플리케이션 개발자들은 매우 엄격한 제약사항 즉 짧은 개발기간, 사용자의 다양한 요구사항 및 잦은 요구 변경에 직면하고 있다. 이러한 개발환경은 사용자가 사용하기 편리한 GUI의 개발과 S/W 개발초기부터 철저한 테스트를 하여 품질을 보증하는 테스트 방법이 필수적이다. 따라서 본 논문은 모바일 응용 S/W GUI를 기존의 매뉴얼을 보고 테스트 하는 단계적이고 수동적인 방법을 탈피하여 사용자 중심의 시나리오를 통하여 자동으로 GUI를 테스트 하는 것을 목적으로 한다. 제시한 테스트 방법은 사용자 중심의 UI를 설계하여 간편하고, 정확하게 테스트 할 뿐만 아니라 테스트케이스를 재사용하는 환경을 지원한다. 제안한 자동화 도구는 시나리오 기반의 정확한 테스트와 재사용성을 높인 테스트 도구로서 기존 테스트 도구와 기능적인 비교를 통하여 성능을 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (C)
• /
• pp.360-365
• /
• 2006

초기에 제안된 Harel의 statechart를 개선하기 위한 노력으로 다양한 statechart의 변형들이 생겨나고, 시스템 개발자는 대상 시스템에 맞는 적절한 설계 명세 언어와 자동화 도구를 선택하는 것이 중요하게 되었다. 대상 시스템에 맞는 영세 언어를 선택하고, 다양한 자동화 도구(CASE tool)의 기능을 적용하기 위해 statechart의 상호 변환을 통한 각 지원 도구의 적용이 필요하다. 하지만, statechart 상호 변환 과정에서 각 statechart의 의미론적(semantics) 차이는 의도하지 않은 오류를 야기할 수 있다. 따라서 본 논문에서는 이들의 의미론을 비교 분석하기 위한 몇 가지 간단한 예제를 시뮬레이션 해 보고, statechart간 상호변환 방안의 기틀을 마련한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권3호
• /
• pp.431-440
• /
• 1999

기존 시각언어 컴파일러 자동화 도구는 시각 구문의 그래픽 정의부분을 명세하고 확장 및 수정하는 방법의 한계로 인해 어휘분석단계를 처리하는데 어려움이 있다. 이러한 문제점을 해결하기 위해 본 논문에서는 객체지향 시각언어 문법을 기반으로 한 새로운 방식의 문법 기반 자동 생성 시스템인 시각언어 컴파일러 자동 생성 환경(CGE-VL)을 구축한다. 이 시스템은 객체지향 패러다임을 기초로 한 시각언어 컴파일러 구축을 위한 실질적인 도구로 기존의 시각언어 컴파일러 자동화 도구와는 구별되는 객체지향 시각언어의 효과적인 명세 방법 제공, 어휘분석기를 이용한 파싱 시간의 단축, 객체지향 파서를 자동 생성하는 등의 새로운 특성을 제공한다. 이러한 특성은 특히 동일한 의미를 가지는 언어 구성요소가 그 쓰임에 따라 서로 다른 구체화된 의미 및 행동을 가지는 객체지향 시각언어에서는 언어 명세에서 최종 산물인 컴파일러에 이르는 전 단계에 동일한 객체 지향 패러다임을 사용함으로써 일관된 개발방법을 제공하여 그 효과가 두드러진다.

• Spatial Information Research
• /
• 제3권2호
• /
• pp.147-159
• /
• 1995

GIS를 성공적으로 구축하기 위해서는 매핑기술, 기본 S/W기술, DB Tool 기술 등이 필수적으로 요구된다. 그 중에서도 매핑기술은 GIS공간 데이타베이스 구축에 있어서 많은 시간과 노력이 요구되는 매우 중요한 기술이라고 할 수 있다. 이에 본 논문에서는 GIS를 위한 효율적인 벡터링 도구를 체계적으로 설계하고 구현하였다. 벡터링 과정을 분석하여 자동화 가능한 부분과 나머지 부분을 분리하여 자동화 효율을 높임과 동시에, 편리한 사용자 환경을 구현하여 사용자에 의한 처리 과정의 효율 또한 높였다. 또 벡터 데이터의 다단계 표현을 제안하고 본 논문에서 개발한 벡터링 도구에 적용하여 그 유용성을 확인하였다.

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

사람이 만드는 소프트웨어는 개발을 시작함과 동시에 오류를 만들어내기 시작한다. 간단히 생각해보면 소프트웨어를 개발하는 사람이 이러한 오류를 잘 알 수 있을 것이라고 생각하지만 개발자 스스로가 자신의 소프트웨어의 오류를 찾아 판단하는 것은 매우 어려운 일이다. 그렇기에 소프트웨어의 테스터가 따로 존재하게 되는데 소프트웨어 테스트의 방법은 크게 화이트박스 테스트와 블랙박스 테스트로 나누어 볼 수 있다. 호환성 도구는 블랙박스 테스트를 기반으로 호환성 테스트를 수행하며 자동화를 결합시켜 사람이 호환성 테스트를 수행할 때의 물리적인 시간의 한계를 극복하는데 목적을 갖고 있다. 목적에 따라 호환성 테스트를 위한 적절한 테스트 샘플을 제작한 후 다양한 테스트 케이스를 통해 호환성 테스트를 수행한 뒤 수행한 결과를 바탕으로 사람이 호환성 테스트를 진행할 때와 비교하여 시간적 효율성과 오차 범위를 줄임으로써 신뢰도를 증가시키고 이를 통해 호환성 도구의 유용함을 밝히고자 한다.

• 한국산학기술학회논문지
• /
• 제9권3호
• /
• pp.681-689
• /
• 2008

모바일 응용소프트웨어의 그래픽 유저 인터페이스는 모바일 상에서 모든 기능들을 작동시키며 정보를 획득하고 변경하는 작업 환경이며 도구이다. 모바일 소프트웨어 생산성을 높이고 신뢰성을 향상시키기 위하여 그래픽 유저 인터페이스의 테스트는 반드시 필요한 과정이다. 본 연구에서는 테스트 시나리오를 이용하여 그래픽 유저 인터페이스를 테스트하는 방법을 제안하고 이를 구현한 자동화 도구를 제안한다. 자동화 도구(MoGuT)는 테스트 시나리오에 의해 기능적인 결함을 빠른 시간에 찾을 수 있으며 SKVM 환경에서 운영된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.1013-1016
• /
• 2000

최근 컴퓨터의 활용이 급증함에 따라 수 많은 소프트웨어가 등장하게 되었고, 이에 따라 소프트웨어의 품질을 보증하고 향상시키기 위한 기술 개발의 필요성은 국가간 경쟁력의 증대, 급격한 기술의 발전, 품질 인식의 확산 등으로 인하여 폭발적으로 증가하고 있다. 선진국에서는 이미 품질 향상을 위한 연구를 활발히 하고 있으며, 특히 소프트웨어를 개발하고 관리하는 프로세스를 효율적으로 개선하기 위한 소프트웨어 프로세스 심사 기술을 개발하여 적극적으로 활용하고 있다. 이에 따라 소프트웨어 프로세스 개선 노력을 지원해 줄 수 있는 자동화 도구에 대한 필요가 증가하게 되어, 본 논문에서는 소프트웨어 프로세스를 개선하기 위한 절차 및 개선 프로젝트를 추적, 관리하여 소프트웨어의 품질향상을 지원할 수 있는 도구를 제안하고자 한다.

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

하이퍼바이저를 이용한 가상화 검사(Virtual Machine Introspection)의 하나인 Gibraltar[2]는 자동으로 무결성 명세서를 생성할 수 있고, 보안 위협이 높아지고 있는 데이터 영역에 대해서도 방어가 가능하다는 점에 존재하는 어떤 보안 도구보다 효과적인 시스템으로 여겨지고 있다. 본 연구에서는 루트킷 탐지 도구인 Gibraltar를 Linux/ARM 3.14 버전에서 구현하고, 커널 메모리 자료 구조 추출 자동화 툴을 개발함으로써 기존 연구의 문제점을 해결하여 성능을 개선하였다. 이를 바탕으로 향후 Gibraltar 연구의 추가 개선 방향을 제시한다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송∙미디어공학회 2020년도 하계학술대회
• /
• pp.525-527
• /
• 2020

MPEG-IoMT(Internet of Media Thing)은 국제 표준으로서, 미디어 사물 간 데이터를 주고 받을 수 있도록 데이터 포맷과 API를 정의하고 있고 있기 때문에 본 표준을 통해 호환되지 않는 모든 미디어 사물 간에도 쉽게 연결될 수 있을것이다. 하지만, 현재 여러 미디어 사물 간 자동화된 연결에 대한 표준은 존재하지 않아 미디어 사물을 연결하고자 할 때는 사용자가표준 API를 통해 직접 연결을 해야 하는 단점이 있어 미디어 사물 간 자동 연결이 가능하게 특정 기능에 대한 필요한 미디어 사물을 제공할 수 있는 서술 도구에 대한 필요성이 나타나고 있다. 따라서, 본 논문에서는 Finite Machine 기반으로 미디어 사물 간 자동화된 연결을 제공할 수 있는 Mission Diagram 서술 도구에 대해 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.196-198
• /
• 2004

워크플로우는 비즈니스 프로세스의 자동화를 통해 신속한 업무 처리를 지원하는 정보기술이며, 웹 서비스는 어떠한 환경에서든지 서비스를 주고받을 수 있도록 하는 표준기술이다. 본 논문은 이러한 웹 서비스로 구현된 컴포넌트를 통합하는 도구로, 기존의 웹 서비스를 이용한 비지니스 프로세스(BPEL) 설계 도구들의 문제점을 해결하여, 사용자가 비지니스 프로세스 정의 언어에 대한 문법에 대한 지식이 없더라도 사용할 수 있도록, 문법을 추상화하여 비지니스 프로세스를 구성 할 수 있는 도구를 구현하였다.