• 정보보호학회논문지
• /
• 제31권5호
• /
• pp.911-917
• /
• 2021

소프트웨어 패치가 빈번하게 이루어지는 최근의 추세에 따라, 소프트웨어 버그 역시 패치로 인해 유도되는 버그인 회귀 버그의 비중이 점차 증가하는 추세이다. 이에 산업계와 학계에서는 최근 자동 버그 탐지 방법으로 주목받고 있는 퍼즈 테스팅을 도입 및 개량하여 회귀 버그를 사전에 탐지하고자 하는 시도가 점차 활발해지고 있다. 이 논문에서는 회귀 버그 탐지를 위한 퍼즈 테스팅 연구의 현황에 대하여 살펴보고, 현재 기법들에 존재하는 한계를 참고삼아 향후 관련 연구의 방향에 대한 전망을 제시한다.

• 비파괴검사학회지
• /
• 제26권4호
• /
• pp.246-254
• /
• 2006

방사선 측정분야에서 사용되는 감마 서베이미터의 교정데이터 자동처리를 위한 전산 프로그램을 개발하였다. 전산 프로그램은 Visual Basic을 기반으로 개발되었으며, 교정과정에 따라 단계별로 윈도우를 제작하고 코드화하였다. 교정 데이터의 자동처리를 위해 Microsoft Excel 프로그램을 제어하여 미리 자동 연산된 엑셀 셀 내에 데이터가 입력되도록 하였다. 개발프로그램 성능평가의 일환으로 검증된 데이터와 프로그램에서 출력된 데이터를 비교한 결과, 교정인자 산출 및 불확도 평가에서 동일한 결과가 나왔다. 또한, 개발프로그램을 교정업무에 적용시킨 결과, 업무의 효율성 및 정확성은 증가하였다.

• 지능정보연구
• /
• 제17권4호
• /
• pp.37-58
• /
• 2011

데이터베이스를 사용하는 프로그램을 테스트하는 것은 일반 소프트웨어의 경우보다 훨씬 더 복잡하고 어렵다. 테스트 데이터에 더하여 데이터베이스 상태가 테스트의 절차와 결과에 결정적인 영향을 미치는 것이 주요 원인이다. 테스트에 적합한 데이터베이스 상태를 만들어주려면 많은 시간과 노력이 필요한 것은 물론이거니와 IT와 업무에 대한 상당한 지식이 있어야 한다. 이러한 어려움에도 불구하고 데이터베이스 응용 프로그램의 테스트에 대한 연구와 지원은 매우 부족하다. 이 논문은 테스트에 알맞은 데이터베이스 상태의 생성과 유지에 관한 연구 결과를 보고한다. 연구의 핵심은 프로그램에서 사용하는 SQL을 로그파일에서 추출하여 분석한 결과와 데이터베이스 스키마와 테이블, 로그, 전문 등의 다양한 원천(source)에서 수집한 정보를 결합하여 프로그램의 테스트에 적합한 사전, 사후 상태를 자동으로 만들어주는 테스트 지원도구의 개발이다. 연구에서 제시한 절차와 도구는 단위 테스트와 통합 테스트의 지원과 더불어 회귀 테스트의 수행에 따르는 어려움을 극복하는데 큰 도움이 될 것이다. 실무적으로는 연구의 결과가 데이터베이스 상태의 생성과 유지에 소요되는 시간과 노력을 줄여 개발인력의 생산성을 제고하고, 다양한 케이스의 테스트와 회귀 테스트를 지원하여 대상 프로그램의 품질 향상에 기여할 것으로 기대한다. 학문적으로는 프로그램에서 사용하는 SQL의 패턴을 분석할 수 있는 상태 전이 도형과, 패턴의 표현 및 추론이 가능한 문법을 정의하여 전사적 응용 프로그램 테스트에 대한 폭 넓은 이해와 새로운 접근 방식을 가능하게 하였다.

• International Journal of Control, Automation, and Systems
• /
• 제3권3호
• /
• pp.477-485
• /
• 2005

This paper is concerned with the development of a micro tensile testing machine for optically functional materials such as single or poly crystalline silicon and nickel film. This micro tensile tester has been developed for testing various types of materials and dimensions. PZT type actuation is utilized for precise displacement control. The specifications of the PZT actuated micro tensile testers developed are as follows: the volumetric size of the tester is desktop type of 710mm' 200mm' 270mm; the maximum load capacity and the load resolution in this system are IKgf and 0.0152mgf respectively and; the full stroke and the stoke resolution of the PZT actuator are $1000{\mu}m$ and 10nm respectively. Special automatic specimen installing and setting equipment is applied in order to prevent unexpected deformation and misalignment of specimens during handling of specimens for testing. Nonlinearity of the PZT actuator is compensated to linear control input by an inverse compensation method that is proposed in this paper. The strain data is obtained by ISDG method that uses the laser interference phenomenon. To test the reliance of this micro tensile testing machine, a $200{\mu}m$ thickness nickel thin film and SCS (Single Crystalline Silicon) material that is made with the MEMS fabrication process are used.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권4호
• /
• pp.1520-1542
• /
• 2020

Traditional software testing typically uses many physical resources to manually build various test environments, resulting in high resource costs and long test time due to limited resources, especially for small enterprises. Cloud computing can provide sufficient low-cost virtual resources to alleviate these problems through the virtualization of physical resources. However, the provision of various test environments and services for implementing software testing rapidly and conveniently based on cloud computing is challenging. This paper proposes a multilayer cloud testing model based on cloud computing and implements a hybrid cloud testing system based on virtual machines (VMs) and networks. This system realizes the automatic and rapid creation of test environments and the remote use of test tools and test services. We conduct experiments on this system and evaluate its applicability in terms of the VM provision time, VM performance and virtual network performance. The experimental results demonstrate that the performance of the VMs and virtual networks is satisfactory and that this system can improve the test efficiency and reduce test costs through rapid virtual resource provision and convenient test services.

• 한국정보통신학회논문지
• /
• 제7권4호
• /
• pp.805-811
• /
• 2003

정해진 시간 내에 사용자 요구 조건을 충족시키도록 복잡한 소프트웨어를 개발하는 경우 시스템 시험은 중요한 요인이다. 데이터베이스 관리 시스템의 모듈 중 트랜잭션 처리 시스템은 다중 사용자 환경에서 트랜잭션의 수행과 데이터 일관성을 유지하는 중요한 기능을 한다. 본 논문은 트랜잭션 처리 시스템의 동시성 제어 기능이 요구조건을 만족하는지를 체계적이고 자동적으로 시험하기 위한 기법을 제안한다. 다섯 가지 잠금 모드를 지원하는 2단계 잠금 기법을 적용하는 동시성 제어 모듈의 기능을 자동적으로 시나리오 기반의 기능시험을 하고 시험 결과를 사용자에게 제시한다. 또한, 본 논문에서 제안한 기능시험 기법을 실제 데이터베이스 관리 시스템의 모듈 시험 과정에 적용하여 그 타당성을 확인한다.

• 한국정밀공학회지
• /
• 제26권1호
• /
• pp.112-119
• /
• 2009

An automatic transmission of construction equipment is controlled by hydraulic and electronic system for doing in various functions like as shifting and operation. The shifting is operated by the engaged and disengaged clutch motion from hydraulic power. On the shifting process, suitable pressure control to the clutch is required for smooth shifting. Hydraulic control system in the automatic transmission is divided by the pilot control type and the direct control type greatly. The direct control type has an advantage than the pilot control type. Because the structure is simple, the design and the manufacture are having less troubles and the system can be maximized precision pressure control. However, the excellent performance proportional control valve should be used to achieve proper control-ability. In this study, the dynamic analysis model composing the automatic transmission and hydraulic system for forklift truck is presented to simulate the characteristics of hydraulic system about the direct control type. That model is verified the validity compared the results of the testing examination. Parameters of input signal are analyzed to reduce the output torque according to input control signal is affected in shifting characteristic.

• 제어로봇시스템학회논문지
• /
• 제14권12호
• /
• pp.1302-1312
• /
• 2008

Relaxed Static Stability(RSS) has been applied to improve flight performance of modern version supersonic jet fighters. Flight control systems are necessary to stabilize an unstable aircraft and to provide adequate handling qualities. Also, flight control systems of modern aircraft employ many safety measure to cope with emergency situations such as a pilot unknown attitude flight conditions of an aircraft in night flight-testing. This situation is dangerous because the aircraft can lose if the pilot not take recognizance of situation. The system called the "Pilot Activated Recovery System" or PARS, provided a pilot initiated automatic maneuver capable of an aircraft recoveries in situations of unusual attitudes, speed and altitude. This paper addresses the concept of PARS with AARS(Automatic Attitude Recovery System), ATCS(Automatic Thrust Control System) and MARES(Minimum Altitude Recovery Estimation System), and this control law is designed by nonlinear control law design process based on model of supersonic jet trainer. And, this control law is verified by real-time pilot evaluation using an HQS(Handling Quality Simulator). The result of evaluation reveals that the these systems support recovery of an aircraft unusual attitude and speed, and improve a safety of an aircraft.

• 비파괴검사학회지
• /
• 제28권1호
• /
• pp.64-69
• /
• 2008

압력용기 및 구조물 용접부의 내부결함을 검출하기 위해서는 방사선투과시험과 초음파탐상시험을 시행한다. 그러나 방사선투과시험은 방사선 노출 위험성과 필름 현상처리 소요 등으로 결과의 확인에 상대적으로 긴 시간이 소요되어 제작 공정에 영향을 준다. 일반적인 수동 초음파탐상시험은 결과의 재현이 용이하지 않으며 검사자의 기량에 대한 의존도가 높다는 문제점을 가지고 있다. 이에 대한 대안으로 자동 초음파탐상시험 기법의 하나인 TOFD의 적용이 확산되고 있다. 본 연구는 결함을 포함한 시험편에 대하여 방사선투과 시험과 TOFD 기법을 적용하고 비교한 결과를 기술하였다. TOFD 기법은 초음파 시험기법의 객관적 신뢰도 향상에 기여하게 될 것으로 판단된다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 춘계학술대회 논문집
• /
• pp.363-367
• /
• 2011

In this paper a simulator for Integrated Onboard Signalling System(IOSS) will be presented and illustrated. IOSS which is integrated with there signalling systems such as ERTMS/ETCS Level 1 ATP(Automatic Train Protection), ATC(Automatic Train Control) and ATS(Automatic Train Stop) is a signalling system for HEMU-400X(Highspeed Electric Multiple Unit - 400km/h eXperiment). HEMU-400X is under development as the next generation high-speed train in Korea. Before conducting a trial run of HEMU-400X with IOSS, we must carry out functional test of IOSS. The simulator is suggested in this paper for testing and verification of IOSS. The simulator can help to test all function of IOSS although a real train and trackside equipments are not existed. Also the simulator can make a fault in trackside equipment intentionally. In that scenario, we can figure out how IOSS handle emergency situations.