• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.825-828
• /
• 2013

근래에 들어 개인 방송에 대한 요구가 크게 증가하고 있다. 이상적인 개인 방송 저작 도구는 시스템간의 상호 운용성, 안정성, 확장성 및 호환성을 보장하는 배포형태의 소프트웨어라야 한다. 본 논문은 이러한 개인 방송 저작도구가 제공해야할 기능적 요구사항에 대하여 살펴본다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.106-108
• /
• 2002

신뢰성있는 소프트웨어의 개발을 위해 테스트의 중요성은 매우 크다. 특히, 최근에 점진적이고 반복적인 소프트웨어 개발 방법론이 각광을 받으면서 소프트웨어의 잦은 변경에 따른 회귀 테스트의 중요성이 점점 커지고 있다. 이에 따라 단위 데스트의 자동화에 대한 연구가 활발히 진행되고 있다. JUnit은 자바 클래스의 단위 레벨 테스팅을 도와 주는 테스트 지원 프레임워크이다. 또한, JTestCase는 테스트 데이터와 테스트 코드를 분리함으로써, 데이터 중심 테스팅(data-driven testing)을 지원하기 위해 개발된 JUnit 확장 프레임워크이다. 본 논문에서는, 이 두 개의 테스트 프레임워크와 자바 리플렉션 API를 이용하여, 하나의 클래스 파일을 읽어 들여 XML 형태의 테스트 데이터 파일과 테스트 드라이버 코드를 자동생성하는 도구를 제안한다. 그리고, 구체적인 예를 통해 본 논문에서 제안하는 도구의 유용성을 보여준다. 본 논문의 데스트 도구는 회귀 단위 테스트에 필요한 노력을 줄여주고, 자바 클래스 단위 테스트를 지원하는 도구 개발의 기반 기술을 제공하며, 궁극적으로 소프트웨어 개발의 생산성을 향상시켜 준다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.265-268
• /
• 2008

임베디드 시스템에서의 소프트웨어 비중과 규모의 지수적 증가로 인해 관련 개발 프로젝트의 경우 많은 개발 지원도구를 활용한 개발활동이 이루어 지고 있다. 하지만 각 개발 조직간 상이한 개발 지원도구의 사용과 관리로 인해, 협업 개발체제에 문제가 발생하고 있으며, 단위 개발조직의 개발 지원도구의 추가 소요량 산정시 정량적인 데이터에 근거하지 않은 부정확한 구매 예측으로 인해 많은 개발 예산의 낭비가 발생하고 있다. 이에 본 연구에서는 개발 조직간 개발 효율성을 높이기 위한 효율적인 인프라 환경을 구축하기 위해, 통합 도메인 환경하에 개발 지원도구의 일원화된 관리와 개발조직간의 라인센스 사용량 측정을 위한 모니터링 시스템 개발로, 개발 지원 도구 추가 소요 발생시 정확한 소요량 예측과, 사용량에 근거한 공정한 비용 분배 절차를 제시하고자 한다.

• Journal of the Korean Society for Railway
• /
• v.11 no.2
• /
• pp.139-144
• /
• 2008

Recent advances in embedded system technology have brought more dependence on automating train control. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety, especially for the vital software running on board train controllers. In this paper, we propose a new software tool to evaluate software safety for the train controller. We have reviewed requirements in the international standards and surveyed available tools in the market. From that, we identified necessary tests to meet the standards and proposed a tool that can be used during the whole software life cycle. We show the functional architecture and internal components of the tool. Our tool is unique in that it is a comprehensive tool specifically designed for software safety evaluation while other tools are not.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.8
• /
• pp.1987-1994
• /
• 1997

ATM switching software should be required high reliability, functionality, extendability and maintainability. After development of the software, it is verified and tested by analyzer whether the software is accomplished the characteristics of it or not. There are so many CASE tools in other area, but the CHILL testing tools that can verify ATM softwares have not various functions are not many. In this paper we develop the testing tool which can evaluate and test CHILL programmed ATM software. This Tool supports testing reports, debugging informations and maintenance informations including parallel process about CHILL original programs.

• The KIPS Transactions:PartA
• /
• v.17A no.4
• /
• pp.203-212
• /
• 2010

Recently, in automotive industry, there have been many researches related with hardware components and embedded software which controls hardware components. Since most of embedded software is tightly dependent on car manufacturers, there were some problems in reusability and interoperability of automotive software. In order to solve these problems, AUTOSAR standardized the component-based software architecture of automotive software. In AUTOSAR, several modeling diagrams should be described and their dependencies are also checked. Currently, a few company developed the prototypes of tools supporting AUTOSAR. In this paper, a component modeling tool based on AUTOSAR 3.0 is developed for enhancing the usability of existing tools using Eclipse GMF. The tool is composed of a graphical component modeling tool and a graphical network topology tool. Since these tools are generated based on GMF without hard coding, it is relatively easy to customize the tools for adopting company‘s needs and easy to follow the improvement of the standard and development environments.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1367-1370
• /
• 2004

본 논문에서는 LTS(Labeled Transition System)로 명세화된 철도 신호 제어 프로토콜의 동작의 정확성을 형식기법을 통해 검정하고 적합성 시험을 위한 시험계열을 자동으로 생성해 주는 도구로서 프로토콜 검정기와 적합성 시험 계열 생성기를 개발하였다. 본 도구는 과거에 사용되었던 비정형적 방법의 많은 오류와 모호함을 제거하고 프로토콜 개발시간 및 비용을 절약해 줌으로써 철도 신호 제어시스템의 안전성 및 신뢰성을 보장해 줄뿐만 아니라, 다른 시스템에도 응용되어 검정 및 시험을 효율적으로 수행하게 해주는 도구이다.

• Journal of the Korean Society for Library and Information Science
• /
• v.49 no.3
• /
• pp.311-332
• /
• 2015

This study aims at developing the measurement tool of reading motivation using self-determination theory (SDT). SDT is not simply divided into the intrinsic and extrinsic motivation. SDT resides along a continuum, with amotivation, external regulation, introjected regulation, identified regulation, integrated regulation, intrinsic motivation. SDT addresses the process of internalization of various extrinsic motives. This study analyzed motivation factor of the measurement tool such as MRQ (motivations for reading questionnaire), MRP (motivation to read profile) ERAS (elementary reading attitude survey, RSCS (reading self-concept scale). The study re-classified analysis results based on SDT. Ultimately, this study was proposed measurement tool of reading motivation using SDT has 6 area, 30 items.

• Proceedings of the Korea Multimedia Society Conference
• /
• 1998.10a
• /
• pp.272-277
• /
• 1998

자동 벡터링 도구는 스캐닝된 도면 영상으로부터 벡터 데이터를 자동으로 생성시키기 위해 사용된다. 기존의 벡터링 도구에서는 벡터링 작업도중 과다한 사용자 개입을 요구하고 있어 생산성 및 정확성이 저하되는 문제점을 가지고 있다. 이를 효과적으로 해결하기 위해, 본 논문에서는 스캐닝 된 도면영상에서 자동화에 문제가 될 수 있는 부분을 찾아 제거하기 위한 전처리 방법과 벡터링 대상물의 기하학적 특성을 잘 반영해 줄 수 있는 자동 선추적 방법, 사용자 편의 우주의 벡터 데이터 편집 수정 작업을 위한 후처리 방법을 이용해 자동 벡터링 도구를 설계하였다. 또한, 입력되는 도면 영상 중 과도한 전처리가 요구되는 영상은 사용자가 직접 화면을 보면서 디지타이징할 수 있는 화면 디지타이징 방법도 포함시켰다. 실험을 통해 구현된 자동 벡터링 도구가 기존의 반자동 벡터링 도구에 비해 효율성 및 정확성이 높다는 것을 확인하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11b
• /
• pp.1333-1336
• /
• 2003

최근의 인터넷은 기하급수적으로 폭증하는 트래픽을 원활히 수용하기 위하여 광인터넷으로 급속히 전환되고 있다. 이에 따라 새롭게 제시되는 네트워크 구조를 기반으로 네트워크 설계 단계에서 구축단계까지 새로운 운용관리 체계를 필요로 한다. 광인터넷 시뮬레이션 도구는 이러한 요구사항을 효과적으로 지원할 수 있는 도구로서 네트워크 요소시스템의 기능성 검증 및 네트워크 운용성 검증 등을 제공할 수 있다. 한편 광인터넷 시뮬레이션 도구에 있어서 광인터넷의 표현 및 모델링은 주요한 요구사항 중의 하나이며 이는 DML(Domain Modeling Language) 기반의 네트워크 모델링 컴포넌트를 통하여 구성될 수 있다. DML 은 간단하면서 고급의 모델 정의 기능을 제공하고 인터넷과 같은 대규모 모델로의 확장이 용이하며 이종 엔진과의 시뮬레이션 모델교환 형식으로도 사용이 가능하므로, 광인터넷 시뮬레이션 도구에서 시뮬레이션 모델의 표현에 매우 적합하다. 따라서 이 논문에서는 광인터넷 시뮬레이션 도구에 적용 가능한 DML 기반 네트워크 모델링 컴포넌트를 설계한다.