• Annual Conference of KIPS
• /
• 2013.05a
• /
• pp.18-20
• /
• 2013

센서 응용 프로그램을 테스트하는 보편화된 방법은 테스트 보드에 센서를 직접 연결시켜 테스팅 환경의 센서값으로만 응용프로그램을 테스팅 하는 것이다. 본 논문에서는 스마트 센서 응용 프로그램 테스트하기 위해 기존의 방법의 문제점을 소개하였다. 그리고, 문제점을 보완하기 위한 효율적인 테스팅 방법인 센서측정값 생성기를 제안하였다. 센서측정값 생성기는 센서선택, 센서특성화, 출력패턴정의, 통신방식이라는 4단계 과정으로 각 센서의 특성에 맞게 실제와 유사한 테스팅 환경을 제공하고 보다 효율적이고 신뢰성 높은 테스트 결과를 만들어 낼 수 있다.

• Annual Conference of KIPS
• /
• 2007.05a
• /
• pp.263-266
• /
• 2007

이미 개발된 소프트웨어를 확장, 진화시킬 때 AOP 기법을 이용하면 모듈화뿐만 아니라 동적으로 플러그인 시킬 수 있어 편리하다. 즉 객체 지향 방식으로 개발된 프로그램에 AOP 를 적용하여 확장하면 여러 모듈에 걸쳐 나타나는 횡단 관심사를 기존 프로그램의 수정 없이 기능을 추가할 수 있다. 이미 테스트까지 마친 소프트웨어에 AOP 를 적용하여 확장한 경우 AOP 특성에 맞는 회귀 테스트 방법이 필요하다. 본 논문에서는 AOP 를 이용하여 진화된 프로그램의 회귀 테스트 방법을 제안하였으며 사례 연구에 의하여 그 효용성을 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.70-72
• /
• 2002

본 논문에서는 기존 파일 시스템의 일관성 검사 프로그램 및 클러스터 파일 시스템의 특징 분석을 통해 클러스터 파일 시스템의 일관성을 검사하는데 필요한 프로그램 설계 요소 및 구현 방법에 관해 논한다. 나아가 이러한 설계 방법에 따라 구현된 프로그램을 실제 상용화된 클러스터 파일 시스템에 적용함으로써 검사 프로그램의 기능을 검증한다 이를 위해 뮤테이션 테스트(Mutation Test) 기법을 도입하여 일관성 검사 프로그램의 신뢰성 검증 방법을 고찰하고 그에 따른 테스트 결과를 살펴본다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.30 no.5
• /
• pp.823-834
• /
• 2020

In the past, when the personal information leakage incident of the three card companies, the computer program development was followed by the same strict electronic financial supervision regulations as the operating environment. However, when developing a computerized program, the application data is being verified with the integrity of the test data being compromised because the identification of the scope of conversion of the test data associated with the application is unclear. Therefore, in this paper, we proved by presenting a process and algorithm for selecting a range of sufficient test data conversion targets associated with a specific application.

• Annual Conference of KIPS
• /
• 2001.04b
• /
• pp.981-984
• /
• 2001

분산환경에서 CORBA는 컴포넌트 기반의 소프트웨어 개발을 위한 보다 쉬운 방법을 제공한다. 그러나, 컴포넌트 기반의 프로그램 테스트는 전통적인 분산 프로그램의 테스트보다 상당히 난해하다. 서버와 클라이언트 모두 다양한 컴포넌트들로 구성되어 있으며, 이들 대부분은 대응되는 컴포넌트에게 요구하거나, 상대 컴포넌트 요구를 받아 공급하는 역할을 한다. 본 논문은 클라이언트와 서버에 위치한 컴포넌트에 대한 테스트 방안을 제시한다. 즉, 클라이언트와 서버 측에 있는 컴포넌트들을 테스트하기 위해 컴포넌트들간 상호작용을 테스트하는데는 입출력 메소드 연결관계 정보 테이블을 포함하는 컴포넌트 어댑터를 이용하며, 컴포넌트 내에서는 상속 트리 분석을 통해 테스트한다. 이런 방법을 사용함으로써 불필요한 컴포넌트 테스트를 줄일 수 있다.

• Annual Conference of KIPS
• /
• 2001.04a
• /
• pp.255-258
• /
• 2001

테스트 시스템(Test System)은 반도체 제품을 웨이퍼(Wafer) 또는 완성된 제품 상태 하에서 전기적 특성과 성능을 검사하고 그 결과를 산출해내는 검사장치이다. 테스트 시스템은 크게 하드웨어와 소프트웨어로 이루어져 있으며 시스템을 제어하고 사용자 인터페이스 및 각종 자료를 처리하는 소프트웨어는 그 중요성이 한층 더 부각되고 있다. 그러나 국내 고성능의 테스트 시스템을 개발하는 기업들의 하드웨어 개발은 잘 이루어지고 있으나 소프트웨어의 개발은 어려운 실정이다. 본 논문에서는 테스트 시스템에서 사용하고 있는 테스트 프로그램의 문제점을 지적하고, 문제점을 해결할 수 있는 가상기계를 설계한다. 그리고 가상기계를 테스트 관리 프로그램 내에 내장하여 테스트관리 시스템의 소프트웨어를 향상시키고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.418-420
• /
• 2000

절차지향 프로그램으로부터 객체지향 프로그램으로 제공학 과정은 여러 단계를 거친다. 재공학은 객체 추충, 클래스 추출, 상속성 추출, 지속성 추출, 코드생성, 테스트등의 과정을 거친다. 변환 과정을 정당화하기 위해 테스트 단계에서 두 프로그램의 의미적 동일성이 검증되어야 한다. 이러한 검증과정이 없이는 변환이 무의미하다. 본 논문에서는 두 프로그램의 의미적 동일성의 의미와 검증에 대한 방법론을 제안한다.

• Journal of IKEEE
• /
• v.18 no.1
• /
• pp.64-76
• /
• 2014

In the image acquisition tests of image sensors and modules, how to compare pixel values, how to digitize "defect", and how to determine "fault" are extremely varied from test equipments. Therefore, setup of test equipments for image acquisition characteristics should be customized for target devices under test. In general, test procedures are delivered as technical documents in not standardized but arbitrary formats. So test equipment should be manually programmed fitting individual setup condition. This costs huge time and effort and has high risk of human error. In this paper, the standardized description method is proposed to apply to almost all existing tests where various tests are described in a single framework.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.18 no.2
• /
• pp.163-168
• /
• 2018

In this paper, we propose and develop a test automation program tool that automates GUI based testing using black box testing technique in Windows environment. The main features of the proposed test automation program tool are as follows. First, an error condition is designated as an image, a screen is captured for each test step, and an error message is detected through comparison of image similarity. Second, the proposed system supports various setting options such as event waiting time during execution and coordinate increment value between each test step. Such black box test automation research was common in environments such as Android and Web, but not in Windows environment. The results of performance evaluation show that the proposed system performs GUI test automation as an image comparison module and confirms that the test is performed normally by confirming process status and error image detection.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.3
• /
• pp.356-365
• /
• 2002

Test systems verify and classify the various kinds of semiconductor products. So test systems need programs that can test the various special functions of hardware modules and products. Programs can be modified, compiled and executed by engineers. Consequently, the systems needs programming languages that can be easily programmed by engineers and their compilers that can compile and execute teat programs. In this paper we discuss the environment of programming languages and their compilers for the existing domestic teat systems. We design a programming language and implement its compiler that can be conveniently used by the experienced engineers in the industry field. Experimental results show that a newly designed test system with our programming language and compiler can teat products faster than the existing test system.