• 한국철도학회논문집
• /
• 제12권4호
• /
• pp.450-456
• /
• 2009

최근의 컴퓨터 기술의 발달에 따라 열차제어시스템들이 컴퓨터 소프드웨어에 의존성이 더옥 증가되고 있으며, 이에 따라 이러한 열차제어시스템 소프트웨어의 안전성과 선뢰성에 대한 테스팅이 더욱 증요하게 되었다. 본 논문에서는 이러한 열차제어시스템 소프트웨어를 위한 Metrics 분석 자동화 도구를 제안하였으며, 또한 구현결과를 제시하였다. S/W Metrics는 철도시스템 소프트웨어관련 국제표준에서 언급되고 있는 Metrics를 대상으로 하였으며, 철도 소프트웨어 소스코드의 Metrics를 자동으로 분석하여 그 결과를 사용자에게 다양한 형태로 제시할 수 있도록 구현하였다. 자동화 도구는 열차제어시스템 소프트웨어 평가단계에서도 활용될 수 있고 또한 소프트웨어 개발단계에서도 유용하게 활용될 수 있을 것으로 예상된다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 1997년도 종합학술발표회논문집
• /
• pp.68-77
• /
• 1997

국내에서도 정보시스템 보안관리가 체계화되면서 보안컨설팅 분야가 중요한 분야로 대두되고 있다. 보안관리에서 핵심부문인 위험분석에 대한 연구는 진행되어 왔으나 국내환경에 적용하기 어려운 점이 많았다. 특히 정보시스템에 대한 분석기준과 정량화가 전무한 국내에서 외국산 위험분석 도구 등을 이용한 분석결과가 객관성을 갖기가 매우 어렵다. 따라서 위험분석 자동화 분석도구의 개발과 적용을 통하여 이러한 문제점을 고찰하고 국내 환경에서 위험분석을 실시할 수 있는 환경을 위하여 필요한 해결방안을 살펴보았다.

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

GUI는 안정성과 견고성 그리고 사용성을 검증하기 위하여 반드시 테스트가 되어야 한다. 하지만 이러한 GUI 테스팅은 기존 소프트웨어 테스트 과정보다 복잡하고 많은 양의 테스트 작업을 요구하게 된다. 그리하여 많은 자동화된 테스트 도구가 개발 되어왔으며, 많은 산업체에서는 이러한 자동화된 테스트 도구를 사용하여 소프트웨어의 품질을 측정하고 있다. 하지만 모바일 소프트웨어의 GUI를 테스트하기 위한 도구는 현재까지 개발 중이며 많은 연구가 선행 되고 있다. 본 논문은 이러한 모바일 애플리케이션의 GUI를 테스트 하기 위하여 많이 사용되고 있는 오픈 소스 기반의 도구 3개를 선정하여 실제 애플리케이션에 적용하여 보고 분석을 통하여 향후 테스트 도구 개발에 대한 방향을 제시 하고자 한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권4호
• /
• pp.265-269
• /
• 2009

정형명세기법은 안전최우선시스템 소프트웨어의 안전성을 일정 수준 이상 보장할 수 있는 기법으로서, 원자력 발전소의 디지털 제어시스템의 개발에 사용되고 있다. 정형명세기법 NUSCR로부터 Programmable Logic Controller(PLC) 시스템을 구현하기 위한 소프트웨어인 Function Block Diagram(FBD) 프로그램을 자동으로 생성하는 기법[1]이 개발되었으나, 이를 지원하는 자동화 도구가 없어 이 기법이 널리 사용되지 못하였다. 본 논문에서는 이어 자동생성 기법을 지원하기 위하여 개발된 자동화 도구 NuSCRtoFBD를 소개한다. 본 연구에서 제안하는 NuSCRtoFBD 도구를 사용하여 NuSCR로부터 FBD를 자동생성 함으로써, 기존의 수동 프로그래밍 작업에서 발생했던 다수의 오류들을 줄일 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.382-384
• /
• 2005

임베디드 소프트웨어는 다른 일반 시스템과는 여러 가지 다른 특성을 가지고 있다. 우선 프로세서 자원과 메모리 자원을 적게 사용해야 하며, 소프트웨어의 오류에 대해 데스크 탑 또는 기타 서버환경에 비해 확실한 소프트웨어의 검증을 요구한다. 이러한 소프트웨어의 검증은 임베디드 소프트웨어의 오류허용이 다른 환경에 비해서 매우 다르기 때문에 고난도의 임베디드 소프트웨어의 응용을 빠르고 안정되게 개발하기 위해서는 사용자가 쉽게 사용할 수 있는 기술이 절실히 필요한 실정이다. 본 논문에서는 기존의 테스팅 자동화도구의 핵심 이슈인 테스트 데이터 제너레이터와 테스트 스크립트의 기능을 포함한 모듈인 테스트슈트 제너레이터의 성능향상 위한 방법을 제시한다. 제시된 테스트슈트 제너레이터 모듈은 임베디드 소프트웨어 테스팅 자동화도구의 개발 시 활용하여 개발한다면 임베디드 소프트웨어를 보다 효과적으로 테스팅 할 수 있을 것으로 예상된다.

• 한국정보처리학회논문지
• /
• 제4권5호
• /
• pp.1349-1357
• /
• 1997

정보통신의 발달과 더불어 새로이 제안되는 프로토콜의 크기가 커지고 복잡해짐에 따라 프로토콜 을 개발하는데 자동화 도구들이 필요하게 되었다. 따라서 이들 프로토콜의 개발을 지원하는 자동화 도구를 개발하기 위한 활발하게 진행중이다. 그러나 현재 까지 여러 가지 도구들이 개발되었으나, 이들 도구들은 실험적으로 사용되고 있을 분 이론적 연구성과에 비해 실제 활용도가 낮은 편이다. 또한 지금까지 제안된 도구들은 대부분 개별적으로 개발되어 프로토콜을 개발하는 일련의 과정을 수행하는데 제약이 따른다. 본 논문 에서는 이러한 제약을 해결키 위하여 기존에 개발된 도구들을 효과적으로 통합하여 프로토콜 개발을 위한 각종 도구들의 통합환경을 설계하고 구축하였다. 구축된 통합환경은 프도토콜 개발 과정의 전 사이클을 제공하므로서 자동화를 통한 프로토콜 개발 기간을 단축하고 프로토콜의 신뢰성을 향상시킬 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.614-616
• /
• 2003

최근 인터넷 전자 상거래 시장의 급속한 성장과 발전은 웹어플리케이션 기술을 이용해 기업이 제공하는 서비스를 명세하고 이를 통한 기업간 서비스 연동 플렛폼 구축에 대한 관심으로 확대되고 있다. 인터넷을 기반으로한 전자 거래 협업을 위한 표준 기술로써 ebXML은 기업간 거래 프로세스를 모델링하여 공용 저장소에 등록하고 이를 토대로 기업간 협업을 명세하여 거래 비즈니스 프로세스의 수행을 자동화 시켜주는 기술이다. e-Logistics 비즈니스 프로세스 자동화 시스템은 ebXML 표준스팩을 기반으로 하여 기업간 전자 물류 거래 프로세스를 모델링하고 협업명세 정보와 연관된 비즈니스 프로세스를 해석하여 수행을 자동화하여 이들의 진행 상태와 수행결과에 대한 모니터링 정보를 제공한다. 비즈니스 상태 모니터링 도구는 e-Logistics 플랫폼과 EJB Framework 환경을 바탕으로 설계 및 구현 되었으며 비즈니스 프로세스의 원활한 수행에 필요한 상태 모니터링 정보와 거래 문서의 송수신 기능을 제공한다. 본 논문에서는 ebXML 비즈니스 프로세스 상태 모니터링을 위한 모니터링 도구의 시스템 구조와 주요 기능을 언급하고 설계 요구사항 및 클래스 구조도를 제시한다. 또한 BPMS 엔진 컴포넌트 모듈과의 연동 시나리오 및 구현된 사용자 인터페이스에 대해서 기술한다.

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

웹을 저작 공간으로 사용한 Wiki Wiki Web[4]은 텍스트 자원을 사용한 복잡하고 다양한 이야기의 표현이 가능하며 실시간은 아니지만 시분할 방식의 이야기 공동 저작과 감상을 지원한다. 하지만 이러한 도구를 사용하여 그림일기와 같은 그림과 텍스트 내공이 복합된 이야기를 저작하는 경우, 저작자는 텍스트 자원을 사용하여 이야기를 구성해야 하기 때문에 그림이 표현되어야 하는 부분을 표현할 수 없으며 공동저작을 손쉽게 하는 자동화 도구를 제공하지 않기 때문에 저작도구의 사용에 대한 불편함을 느끼게 된다. 이처럼 그림일기나 동화 등의 다양한 형태의 이야기를 표현하기 위해서 사용자가 멀티미디어 자원들을 사용하도록 하고 손쉬운 이야기를 구성하도록 하는 디지털 스토리텔링 저작도구가 요구된다. 본 논문에서는 저작자가 온라인상에서 직접 그린 스케치 영상을 사용하여 이야기의 배경과 캐릭터를 만들고 그것을 이야기 저작 소재로 사용하도록 하는 배경 및 액터 생성도구를 제공하고 다양한 형태의 이야기를 저작자가 손쉽게 표현하도록 하는 이야기 구성의 자동화 도구를 제공하면서 여러 사용자들이 실시간으로 이야기 저작과 감상에 공동으로 참여하도록 하여 저작된 결과를 애니메이션으로 감상할 수 있도록 하는 디지털 스토리텔링 도구를 설계하고 구현하였다.

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

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

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

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