• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2015년도 추계학술대회
• /
• pp.51-52
• /
• 2015

국제해사기구에서는 e-Navigation의 개발과정에 소프트웨어 품질에 대한 고려가 필수적으로 도입될 수 있도록 해양 소프트웨어품질 보증을 진행해오고 있다. 소프트웨어 품질 확보를 위해서는 소프트웨어 개발 프로젝트 전반에 걸쳐 정해진 절차를 따르고, 각 절차를 수행한 결과로 산출물의 작성이 필요하다. 이를 지원하는 도구의 활용은 소프트웨어 개발의 생산성에 중요한 요소가 될 수 있다. 본 논문에서는 실시간 모니터링과 문서의 자동화가 가능한 도구를 활용하여 해양 소프트웨어 개발에 적용하기 위한 사례를 소개한다. 도구 활용에 대한 기대효과 및 해양 SQA에 적용하기 위한 절차의 개선에 대해서도 논의한다. 개선된 절차를 도구에 반영하여 해양 SQA에 맞춤형 도구를 개발하는 것을 향후 목표로 한다.

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

소프트웨어 개발 프로세스의 평가를 통해 소프트웨어 프로덕트의 품질을 높이려는 다양한 시도들이 행해지고 있다. 소프트웨어 테스트 프로세스는 소프트웨어 개발 프로세스 중에서도 소프트웨어 프로덕트의 품질 향상에 직접적인 영향을 끼치므로, 이에 대한 체계적인 개선이 필요하다. 본 논문에서는 프로세스의 품질과 프로덕트의 품질을 동시에 고려하는 소프트웨어 테스팅 모델인 SETP 핵심 모델과 이를 지원하는 자동화 도구(Legba)를 제안한다.

• 정보보호학회지
• /
• 제27권1호
• /
• pp.47-54
• /
• 2017

웹 사이트에서 자동화 공격 도구를 이용한 다양한 종류의 공격을 방지하기 위한 보안 솔루션으로 CAPTCHA가 널리 이용되고 있다. 그러나 동시에 CAPTCHA를 해결하는 자동화 도구에 대한 연구가 진행되면서 CAPTCHA에 사용되는 텍스트 이미지(예: 숫자, 글자)를 더욱 어렵게 만들게 되었다. 그 결과 사용자도 CAPTCHA를 해결하는데 어려움을 겪게 되었고, 결론적으로 보안성을 높이기 위해 사용성을 감소시킨 결과를 초래 하였다. 본 논문에서는 텍스트, 오디오 및 이미지 기반 CAPTCHA로 분류하여 보안성과 사용성 측면에서 분석하고자 한다.

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

독해 과정에서 문장 의미간 개연성 파악은 저자의 저술의도 파악에 중요한 요소로 작용한다. 개연성 파악을 위해서는 우선 어휘들과 그들의 연관관계로 구성된 개연사슬을 발견할 필요가 있다. 본 논문에서는 Factotum SemNet을 활용하여 개연사슬의 발견을 자동화하였고 이에 대한 도구를 개발하였다. 그 후, 이 도구를 이용한 실험을 통해서 개연사슬 발견의 자동화가 가능함을 알 수 있었다.

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

모바일의 소프트웨어 GUI 테스팅은 매우 중요하다. 그러나 모바일 특성상 일반 어플리케이션과 달리 많은 제약사항이 따르며 빠른 출시 등의 이유로 테스팅을 소홀히 하고 있다. 현재 대부분의 기업에서 GUI 테스트는 프로그래머가 매뉴얼대로 검사하는 수동적 방식을 사용하고 있는 실정이다. 본 논문에서는 GUI 테스트를 자동화 하는 방법 제시 및 도구를 구현 함으로써 좀더 편리하게 GUI 테스트를 할 수 있도록 하고자 한다.

• 한국인터넷방송통신학회논문지
• /
• 제18권2호
• /
• pp.163-168
• /
• 2018

본 논문에서는 윈도우 환경에서 블랙박스 테스트 기법을 사용하여 GUI 기반 테스트를 자동화하는 테스트 자동화 프로그램 도구를 제안 및 개발한다. 제안된 테스트 자동화 프로그램 도구의 주요한 특징은 다음과 같다. 첫째, 에러 상태를 이미지로써 지정하고, 테스트 스텝마다 화면을 캡처하여 이미지 유사도 비교를 통해 에러 메시지 검출 여부를 확인한다. 둘째, 실행 중 이벤트 대기시간이나 각 테스트 스텝 간 좌표 증가 값 등 여러 옵션 설정을 지원한다. 이러한 블랙박스 테스트 자동화 연구는 안드로이드나 웹 등의 환경에서는 많았지만 윈도우 환경에서는 그렇지 않았다. 제안된 시스템의 성능평가 결과 제안된 시스템은 이미지 비교 모듈로써 GUI 테스트 자동화를 수행하고, 프로세스 상태 확인과 에러 이미지 검출 여부를 확인함으로써 테스트를 정상적으로 수행함을 확인하였다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2004년도 춘계학술대회 학술발표 논문집 제14권 제1호
• /
• pp.93-96
• /
• 2004

생태학, 환경공학, 임상진단 둥 여러 생물학 분야에서 미생물의 다양성 연구의 중요성이 대두되고 그 연구가 점증하고 있다. 특히 16S rRNA를 분자지표로한 DNA 염기서열 분석방법이 널리 사용되고 있다. 본 논문에서는 16S rRNA의 염기서열 분석과정을 각 단계별로 자동화하고, 생물학자들의 결과 판단이나 사용상의 편의를 도모하기 위하여 웹기반의 미생물 다양성 분석 어플리케이션을 개발하였다. 개발을 위하여 단계별 자동화 및 인터페이스 개발에 적합한 폴더 프로세스-필터 모델을 고안하고 적용하였다. 제공되는 생물정보분석도구는 서열입력, 서열방향교정, 다중서열정렬 및 가시화, 서열동정 등의 분석등이 있으며, 각 결과는 계통분류도구와 호환가능하도록 하였다. 또한 신생아의 장내 세균총에 대한 분석을 수행하여 개발된 도구의 유용성을 확인하였다. 개발된 웹 에플리케이션은 리눅스 시스템 상에서 Perl 과 CGI를 이용하였으며, http: //home.pusan.ac.kr/~genome/tools/rat.htm으로 접속하여 사용할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (하)
• /
• pp.849-852
• /
• 2002

전통적으로 소프트웨어 공학분야에서는 소프트웨어 설계 및 개발을 위한 자동화도구와 정형화기법이 적용되었으며, 안전한 보안시스템의 개발을 위해서도 수학적인 명세와 검증도구를 사용하는 경우, 보다 안전하고 완전한 보안시스템을 구축할 수 있다. 본 연구는 정형화 명세언어인 Z를 이용하여 보안시스템을 기술하고, 기술된 명세를 소프트웨어 검증도구를 이용하여 보안시스템이 제공하는 보안특성 만족 여부 점검을 목적으로 한다. 이를 위해 본 논문에서는 수학적으로 기술된 시스템에 대한 명세를 Z스키마로 변환하는 변환규칙을 기술하고, 이와 함께 Z언어 검증도구인 Z/EVES를 이용한 검증결과를 제시한다.

• 디지털콘텐츠학회 논문지
• /
• 제16권6호
• /
• pp.893-900
• /
• 2015

국제해사기구에서는 e-Navigation의 개발과정에 소프트웨어 품질에 대한 고려가 필수적으로 도입될 수 있도록 해양소프트웨어품질보증을 진행해오고 있다. 소프트웨어 품질 확보를 위해서는 소프트웨어 개발 프로젝트 전반에 걸쳐 정해진 절차를 따르고, 각 절차를 수행한 결과로 산출물의 작성이 필요하다. 이를 지원하는 도구의 활용은 소프트웨어 개발의 생산성에 중요한 요소가 될 수 있다. 본 논문에서는 실시간 모니터링과 문서의 자동화가 가능한 도구를 활용하여 해양 소프트웨어 개발에 적용하기 위한 사례를 소개한다. 도구 활용에 대한 기대효과 및 해양 SQA에 적용하기 위한 절차의 개선에 대해서 논의한다. 개선된 절차를 도구에 반영하여 해양 SQA에 맞춤형 도구를 개발하는 것을 향후 목표로 한다.

• 디지털콘텐츠
• /
• 9호통권40호
• /
• pp.14-24
• /
• 1996