• Journal of Information Processing Systems
• /
• 제15권6호
• /
• pp.1462-1471
• /
• 2019

Real-time embedded systems have become pervasive in general industry. They also began to be applied in such domains as avionics, automotive, aerospace, healthcare, and industrial Internet. However, the system failure of such domains could result in catastrophic consequences. Runtime software testing is required in such domains that demands very high accuracy. Traditional runtime software testing based on handwork is very inefficient and time consuming. Hence, test automation methodologies in runtime is demanding. In this paper, we introduce a software testing system that translates a real-time software into a monitorable real-time software. The monitorable real-time software means the software provides the monitoring information in runtime. The monitoring target are time constraints of the input real-time software. We anticipate that our system lessens the burden of runtime software testing.

• 시스템엔지니어링학술지
• /
• 제14권2호
• /
• pp.83-88
• /
• 2018

Software has become an integral part of almost any system, triggered by the ever-growing demand for automation and artificial intelligent throughout engineering domains. The complexities of software-centric systems are also increasing, which make software test efforts become essential in software development projects. In this study, we applied systems engineering methodology in generating software test cases. We found out the similarities between requirements analysis and traceability concept of systems engineering and test specification contents of software test. In terms of acceptance test, software test cases could be considered as validation requirements. We also suggested a method to determine test order using a SysML modeling tool.

• 정보처리학회논문지D
• /
• 제13D권2호
• /
• pp.215-222
• /
• 2006

모바일 소프트웨어의 생산성을 높이고 신뢰성 있는 소프트웨어를 개발하기 위한 모바일 소프트웨어 테스트의 중요성이 부각되고 있다. 모바일 소프트웨어의 테스팅 기술이 효율적으로 적용되기 위해서는 모바일 플랫폼 기반의 테스트를 자동화 할 수 있는 기술이 필요하다. 즉, 모바일 플랫폼에서 제공하는API를 테스트 하기 위한 테스트케이스를 생성할 수 있는 기법이 필요하다. 테스트케이스를 생성하게 되면 소프트웨어의 생산성과 신뢰성을 향상 시킬 수 있을 뿐만 아니라, 테스트 기간 및 비용을 줄일 수 있다는 이점이 있다. 본 논문에서는 기존의 테스트 자동화에 관련된 연구와 테스트 자동화 도구에 대한 연구를 통해 테스트케이스 생성 범위를 설정하고, J2ME 플랫폼에 사용될 수 있는 테스트케이스 생성 기법인 키워드 방식 기법(Keyword Driven Method)을 제시하였으며, 제안한 생성 기법을 적용하여 J2ME 플랫폼 기반의 테스트에 활용 가능한 테스트케이스 생성 기법이 되도록 하였다.

• 소프트웨어공학소사이어티 논문지
• /
• 제23권4호
• /
• pp.141-149
• /
• 2010

애자일 개발의 XP와 Scrum을 중심으로 단위 테스트 자동화의 중요성이 커지고 있다. 그러나 테스트 결과, 즉 통과 또는 실패를 자동으로 결정하기 위해서는 테스트 실행 결과와 예상 결과를 비교하는 과정이 필요하다. 이 부분의 구현이 자동화의 성패를 좌우한다. 본 연구는 단위 테스트 자동화를 위한 테스트 코드 작성을 소개하고, 테스트 코드 구현에서 고려해야할 사항을 언급한다. 첫째, void 형태의 메소드의 경우 테스트 데이터 실행 결과를 명시적으로 구하기 어려운 문제를 본 연구에서는 Mock 프레임워크를 사용하여 해결하였다. 둘째, void 형태의 메소드의 경우, criteria로 인해 구성된 테스트 경로상의 모든 문장들이 제대로 수행되었는지 하나씩 살펴보아야 하는지, 아니면 최종 문장에 대해서만 보아야 하는지의 문제이다. 본 연구에서는 Mock 프레임워크의 verify 기능을 활용하여 매 순간 제대로 실행되어져야 하는 메소드 호출을 중심으로 명확한 매개변수들을 사용하여 호출이 일어났는 지를 확인하고, 그 결과들이 모두 예상 결과와 맞을 때, 해당 테스트 케이스에 대한 테스트를 통과한 것으로 결정하였다.

• 소프트웨어공학소사이어티 논문지
• /
• 제26권1호
• /
• pp.17-29
• /
• 2013

소프트웨어 시스템 진화는 소프트웨어 시스템의 유지보수의 일종으로 계획적이고 체계적인 유지보수 프로세스이다. 소프트웨어 진화 연구는 기존 시스템의 비용편익 분석을 통해 시스템의 유지가치에 대한 판단 근거를 제공하며, 아키텍처를 기반으로 하는 진화는 반복적인 진화 작업의 자동화를 가능케 하여 유지보수 비용 감소를 가능하게 해주는 연구이다. 본 논문에서는 아키텍처 변환패턴을 이용한 소프트웨어 시스템 진화 프레임워크를 제안한다.

• Advances in Energy Research
• /
• 제2권2호
• /
• pp.61-72
• /
• 2014

This paper's aim is to do a global evaluation (considering four dimensions: technical-economic, environmental, social and political) in the ways of natural gas transportation (gas pipelines, GNL and GTL) and electric transmission, in order to supply the energy demands of Mato Grosso do Sul, a brazilian state. The transport ways had been compared between itself using a software of decision taking (Decision Lens Suite), which determined a better way for transporting natural gas in this case. In a generalized manner the gas pipeline is the best way of transporting natural gas, therefore it takes advantage in the majority of the analyzed dimensions.

• 한국도서관정보학회지
• /
• 제33권3호
• /
• pp.173-192
• /
• 2002

이 연구의 목적은 현재 대학도서관 자동화의 문제점을 점검하고 문제의 원인을 분석하여 개선방안을 모색해 보는 데 있다. 자동화의 문제점으로 파악된 것은 자동화에 대한 일관성 없는 정책 결정, 장기적이고 체계적인 계획의 부재, 유능하고 자격을 갖춘 전문인력의 부재, 시스템적인 결함, 소프트웨어 선택의 제약, 도서관네트웍의 영향, 시스템 사용도서관들의 상호협조 부족, 이용자배려의 부족으로 요약된다. 이러한 문제를 개선하기 위해서는 인력자원의 변화, 도서관업무의 개선, 문서화와 지식경영, 팀워크의 구성, 시스템개발의 지원을 제안하였다. 이 연구는 도서관자동화에 대한 체계적인 접근을 하는 근거자료가 될 것이다.

• 한국CDE학회논문집
• /
• 제15권5호
• /
• pp.393-402
• /
• 2010

Existing construction industry is composed of several processes with various characteristics. The tendency of current construction industry is getting complicated and diversified; it has limitation to solve problems through existing processes. As a problem-solving method, BIM (Building Information Modeling), environment to manage building life cycle from design and construction to management, is being suggested. Currently, BIM is only focused on technology development by engineers, and the automation of architectural theories is insufficiency except architectural design modeling. Therefore, this research aims to back up theses drawbacks through intellectual curtain wall arrangement by using musical proportions. In order to apply to construction automation, analysised of musical proportions method are performed. The BPMN-based Process Map is listed to develop IDM for the application to BIM Software.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 추계학술대회
• /
• pp.1752-1756
• /
• 2003

Welding automation in shipbuilding process, especially in the assembly line is considered to be a difficult job because welding part is too huge , various and unstructured for a welding robot to weld the whole part automatically. We developed an automatic welding robot to improve those difficult process. This paper show how to systematically operate the integrated automation system which consists of several robots. We introduce our software and system integration method. Specially we focus that network communication and operating process. The developed system visualizes the operation environment using Open Inventor and communicates with the entire system via TCP/IP and FTP.

• 한국펄프종이공학회:학술대회논문집
• /
• 한국펄프종이공학회 1999년도 Proceedings of Pre-symposium of the 10th ISWPC
• /
• pp.130-139
• /
• 1999

In order to manage the wet end chemistry on paper machines, our goal is to control sub-processes through which we can influence the entire wet end operations with maximum effect. The most important sub-processes are: consistency, ash, and chemistry. The management of these three main groups is based on on-line maesurements and automatic control. This paper presents a new wet end management platform, a new analyzer. This new analyzer utilizes a modular structure and modem software. It is part of a new paper machine concept. The controls of this concept are feedback and feedforward solutions that control retention, consistencies, ash, and charge, resulting in a more stable wet end (30...80%), more uniform paper, and better rnnability.