• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.175-177
• /
• 2012

본 논문은 스마트 테스트 도구(Smart Test Tool)를 이용해 식기세척기 소프트웨어를 검증하는 기법에 대해 제안한다. 가전제품의 동작을 기술하기 위해 통상 스펙시트(spec. sheet: 동작명세서)를 이용하는데, 스펙시트를 이용하면 식기세척기 소프트웨어를 개발자 수준에서 블랙박스 테스트 방법으로 검사해 볼 수 있다. 스펙시트는 식기세척기 행정의 기준이 되며 식기세척기를 실제로 동작시키며 얻은 덤프데이터(dump data)는 비교 대상이 된다. 스마트 테스트 도구는 스펙시트 값의 기준대로 덤프데이터 값이 출력되었는지 확인함으로써 각 행정이 제대로 진행되었는지 파악할 수 있다. 이 논문에서는 스마트 테스트 도구의 구조와 오류 검출 메커니즘에 대해 기술한다.

• Annual Conference of KIPS
• /
• 2000.10a
• /
• pp.591-594
• /
• 2000

객체 지향형 소프트웨어가 개발되고 발전함에 따라 동시성 프로그래밍의 수요가 증가하고 그 기법 역시 다양해지고 있다. 이 결과 소프트웨어의 복잡도가 매우 높아지고, 특히 수행시간 복잡도(run-time complexity)가 매우 높아져서 소프트웨어의 설계와 안정성 검증 분야에 많은 문제가 발생되고 있다. 현재 객체 지향형 소프트웨어의 검증을 위한 연구로 소스 코드를 직접 변환시켜 검증하는 방법과 수행시점에서의 검증을 위해 정형 검증 도구가 직접 객체를 표현할 수 있는 방법을 연구하고 있다. 본 논문에서는 소스코드의 변환을 이용한 검증 도구인 java2spin 과 spin 의 동적인 확장인 dSPIN에 대해 살펴보고 두 도구의 차이점과 장단점을 살펴본다.

• Proceedings of the KSRS Conference
• /
• 2007.10a
• /
• pp.544-547
• /
• 2007

Because data processing systems in recent years are more complicated, main function of the data processing is divided as several sub-functions which are implemented and verified in each subsystem of the data processing system. For the verification of data processing system, many interface tests among subsystems are required and also a lot of simulation systems are demanded. This paper proposes CTHS (Common Test Harness System) for satellite ground segment development which has all of functions for interface test of the data processing system in one PC. Main functions of the CTHS software are data interface, system log generation, and system information display. For the interface test of the data processing system, all of actions of the CTHS are executed by a pre-defined operation scenario which is written by purpose of the data processing system test.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.11a
• /
• pp.534-537
• /
• 1996

As consumer electronics, information, and aero-space industry grow, the demand for aspheric lens increases higher. To enhance the precision and productivity of aspheric surface, a CAM system for ultra-precision aspheric surface needs to be realized. In this study, the developed CAM system can generate NC code for various aspheric surfaces fast and precisely by Tri-arc interpolation method that the location of maximum error is fixed. The cutting condition input module and the NC code verification module are adequate to ultra-precision machining, so that a operator can obtain products fast and easily.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.8 no.5
• /
• pp.157-164
• /
• 2000

It is known that residual aligning torque of tires causes vehicle pull. There is, however, only a little literature available which shows how the residual aligning torque of tires causes vehicle pull. In this paper, a vehicle model in two degrees of freedom was adopted for the analysis of a vehicle under the straight-ahead motion. The analysis with this vehicle model clearly shows the effect of residual aligning torque of tires on vehicle pull. In order to show the validity of the analysis, a vehicle commercially available was selected. This vehicle was modeled in 137 degrees of freedom system with multibody dynamics software. Vehicle pull simulation results show that vehicle model drifts in lateral direction due to the residual aligning torque of tires. Vehicle test results with the car were also included.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.4
• /
• pp.1864-1876
• /
• 2016

Card-Not-Present (CNP) transactions taking place remotely over the Internet are becoming more prevalent. Cardholder authentication should be provided to prevent the CNP fraud resulting from the theft of stored credit card numbers. To address the security problems associated with CNP transactions, the use of a virtual card number derived from the transaction details for the payment has been proposed, instead of the real card number. Since all of the virtual card number schemes proposed so far are based on a password shared between the cardholder and card issuer, transaction disputes due to the malicious behavior of one of the parties involved in the transaction cannot be resolved. In this paper, a new virtual card number scheme is proposed, which is associated with the cardholder's public key for signature verification. It provides strong cardholder authentication and non-repudiation of the transaction without deploying a public-key infrastructure, so that the transaction dispute can be easily resolved. The proposed scheme is analyzed in terms of its security and usability, and compared with the previously proposed schemes.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.3 no.3
• /
• pp.285-307
• /
• 2009

This paper introduces DICE, a Domain-Independent text Classification Engine. DICE is robust, efficient, and domain-independent in terms of software and architecture. Each module of the system is clearly modularized and encapsulated for extensibility. The clear modular architecture allows for simple and continuous verification and facilitates changes in multiple cycles, even after its major development period is complete. Those who want to make use of DICE can easily implement their ideas on this test bed and optimize it for a particular domain by simply adjusting the configuration file. Unlike other publically available tool kits or development environments targeted at general purpose classification models, DICE specializes in text classification with a number of useful functions specific to it. This paper focuses on the ways to locate the optimal states of a practical text classification framework by using various adaptation methods provided by the system such as feature selection, lemmatization, and classification models.

• Journal of KIBIM
• /
• v.4 no.2
• /
• pp.17-24
• /
• 2014

Recently, there have been various attempts for the adoption and spread of Building Information Modeling (BIM) in the construction industry. However, the spread of BIM has been less satisfied than expected, because of the insufficient, expensive hardware and software for the authoring, analysis and so forth. As a solution to resolve the obstacles, the applications of cloud computing technology to BIM have been introduced. Due to the vendor-dependent functions and lack of verification on the work process, the spread of cloud-based BIM has been limited in Korea. Therefore, this study proposes the functions of cloud computing services which can support BIM-based design processes through the review of practitioners, questionnaire survey and analysis of design process.

• Fibers and Polymers
• /
• v.7 no.2
• /
• pp.195-202
• /
• 2006

Tight-fitting clothing pattern reflecting the accurate information of the 3D body shape has been one of the challenges for garment industry, however, fitting problems still exist. The objectives of the paper is to develop a 2D pattern which fits tightly to the 3D human scan data for sports suits that need comfort and function for maximum performance. In this study, the user graphic interface application software for the semi-automatic garment pattern generation has been implemented using the triangle simplification scheme together with 2D projections of free-falling of 3D surface polygons keeping the original 3D surface area preservation. A typical application of the developed pattern to the functional body suits is presented and verification of the proposed method is also provided.

• Proceedings of the KIEE Conference
• /
• 1997.07c
• /
• pp.948-950
• /
• 1997

This paper presents a basic interposing logic program to control nuclear power plant. In this paper we select a target control loop among the whole interposing modules, develop logic algorithm and functional software to compose target control loop. After that we carry out V&V(Verification and Validation) into the developed logic program to improve quality and reliability.