• 한국IT서비스학회지
• /
• 제11권4호
• /
• pp.251-262
• /
• 2012

Unit testing is one of the test levels, which tests an individual unit or a group of related units. Recently, in Agile Development or Safety-critical System Development, the unit testing plays an important role for the qualities. According to the definition of unit testing, it is supposed to be done by the developers of units. That is because test models for the unit testing refers to the structure of units, and others but its original developers hardly can understand the structures. However, in practice, unit testing is often asked to be done without the original developers. For example, it is when faults are revealed in customer sites and the development team does not exit any more. In this case, instead of original developers, other developers or test engineers take a product and test it. The unit testing done by a non-developer, who is not the original developer, would cause some difficulties or cause more cost. In this paper, we tests an open source, JTopas, as a non-developer, with building test models, implementing test codes, and executing test cases. To fit this experiment to practical testing situations, we designed it based on the practices of unit testing, which were surveyed through SPIN(Software Process Improvement Network). This paper analyzes which part of unit testing done by non-developers needs more effort compared to the unit testing done by original developers. And it concludes that Agile Development contributes on reducing the extra effort caused by non-developers, since it implements test codes first before developing source code. That means all the units have already included their own tests code when they are released.

• 융합보안논문지
• /
• 제13권4호
• /
• pp.33-39
• /
• 2013

소프트웨어 개발을 성공적으로 수행하기 위하여서 유닛 테스팅은 아주 필수 불가결한 요소이다. Python, Java, C# 등의 현대 컴퓨터 개발 언어에서는 유닛 테스팅을 용이하게 하기 위하여 다양한 기능을 제공하고 있다. 하지만, C++ 언어에 있어서는 워낙 많은 프레임워크를 제공하고 있는 관계로, 유닛 테스팅을 위한 프레임워크 선택이 결코 용이하지 않다. 이 논문에서는 C++ 언어에서의 유닛 테스팅을 위한 프레임워크를 집약된 test runner와 분리된 test runner의 두 그룹으로 나눠서 고찰하였다.

• Membrane and Water Treatment
• /
• 제2권2호
• /
• pp.121-136
• /
• 2011

A bench-scale test has recently been proposed as a predictive tool to minimize the scope of pilot-scale testing or to optimize the operation of full-scale membrane filtration systems. Consequently, a bench-scale testing unit was developed for this purpose and systematically evaluated in this study. This unit was capable of accommodating commercially available, low pressure, hollow fiber (LPHF) membranes with various configurations for testing under conditions comparable to real-world applications. Reproducibility of this unit in assessing membrane fouling and microbial removal efficiency of LPHF membranes was tested and statistically comparable results were obtained. This unit serves as a useful apparatus for academic researchers and utilities to evaluate the performance of LPHF membranes used for water treatment.

• 한국IT서비스학회지
• /
• 제10권4호
• /
• pp.205-218
• /
• 2011

Unit testing which is the first task to perform software testing has a major impact on reducing s/w development cost and improving s/w quality. In order to make unit testing become the formal procedure rather than ad-hoc tasks performed by developer, the language-neutral measures are necessary in the programming which is able to specify the test cases. This paper presents a test assertion language for the language-neutral specification of the test cases. The suggested language is based on the ISO/IEC 24709-1, but it supports object oriented features and can describe test cases for unit testing. The test cases that are specified by the language can be used for generating test oracle source codes by test oracle generation tools.

• 조명전기설비학회논문지
• /
• 제23권8호
• /
• pp.41-47
• /
• 2009

디지털 기술 기반의 차세대 변전시스템과 관련하여 프로세스 버스까지 확장된 변전자동화시스템 구현에 관한 연구가 국내외에서 활발히 진행 중에 있다. 특히 IEC 61850 국제 규격이 적용된 머징유닛(Merging Unit)은 프로세스 기반 변전자동화시스템의 핵심 구성요소로 그 관심이 매우 크다. 본 논문에서는 변전소의 CT와 VT를 통합 전압 전류의 값을 IEC 61850 기반의 디지털 값인 SV(Sampled Value)로 변환하여 보내는 머징유닛의 기능과 통신서비스에 대한 적합성 성능 검증에 대한 방안을 제시하고 머징유닛을 시험할 수 있는 시험시스템을 보여주고자 한다.

• Communications for Statistical Applications and Methods
• /
• 제15권4호
• /
• pp.531-542
• /
• 2008

시계열 자료를 분석할 때, 시계열 자료가 가지고 있는 추세를 제거하기 위하여 결정적 추세인 경우 회귀모형을 이용하고, 확률적 추세인 경우 차분하는 방법을 이용한다. 이 때 제거의 옳바른 기준이 되는 검정 방법이 단위근 검정이다. 그러나 기존의 Dickey-Fuller 검정 (Dickey와 Fuller, 1979)은 표본 수가 작고, 단위근에 가까울 경우 검정력이 낮으며, 베이지안 단위근 검정은 절차가 복잡하다. 본 논문에서는 기존의 두 방법들의 문제점을 해결하기 위하여, 전통적 Dickey-Fuller 검정 방법과 베이지안 방법을 결합한 형태의 검정방법으로 제안하였다. 제안된 검정방법은 모형 AR(1)에서 계수가 거의 1이거나 표본 수가 작을 경우, 기존의 Dickey-Fuller 검정보다 검정력이 높을 뿐만 아니라 일반적인 베이지안 방법 보다 절차가 간단한 검정법이 된다.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2008년도 International Symposium on Remote Sensing
• /
• pp.84-87
• /
• 2008

ATTOL is a software unit testing tool produced by the ATTOL Testware SA in France. It automates the entire software unit testing process: test plan template and test program generation, test program execution, test result analysis and test report generation. ATTOL is suited for the development of embedded software as it allows programmers to operate in native and cross development environments. Particularly, it is used for the development of the flight software which is embedded in the Communication Ocean Meteorological Satellite (COMS). As the flight software is mission-critical, it requires the strict software quality and high testing constraints. The flight software of COMS is verified by ATTOL in native and cross platforms. In 2002, ATTOL was taken over by the IDM Rational Software and has been supplied with the name of Test RealTime (TestRT). The test process of TestRT becomes different from that of ATTOL as TestRT provides the new functionalities that were absent from ATTOL. TestRT provides the new features in the test script language, as well. In this paper, we compare the test process of ATTOL to TestRT With an example of COMS and explain what has been changed in the test script language.

• 한국시뮬레이션학회논문지
• /
• 제20권4호
• /
• pp.41-48
• /
• 2011

개발 기능에 대한 단위시험 모듈을 구현할 경우 도메인 구현부와 시험 구현부의 종속성이 높기 때문에 단위시험 모듈의 재사용이 어렵다. 특히, 동일한 구조나 기반 프레임워크를 재사용하는 시스템의 경우 구성 소프트웨어의 내부 인터페이스를 위한 단위시험 모듈의 중복이 불가피하며, 통합 시험 코드는 해당 모듈 간 연동 인터페이스 구현에 종속되기 때문에 각 모듈의 개발 일정에 따라 단위시험 수행이 제한될 수 있다. 이러한 문제를 해결하기 위해서 TDD 기법 중 하나인 모형 객체(Mock Objects) 패턴을 이용한 단위시험 방법이 제안되었다. 이 방법은 도메인 모듈과 시험 모듈을 분리할 수 있도록 도메인 모듈을 대리하는 모형 객체를 생성하고, 해당 모형 객체를 시험 모듈과 통합함으로써 단위시험 모듈의 구현을 용이하게 한다. 본 논문은 HLA 시뮬레이션 시스템 개발에 참여하는 Federate의 Federation 통합 및 연동 시험을 용이하게 하기 위해서 모형 객체를 적용한 모형 Federate를 설계하고, 모형 Federate의 구성 모듈을 위한 테스트 프레임워크를 제안한다. 제안 프레임워크는 RTI 서비스를 위한 시험 함수를 제공하며, 해당 함수들은 xUnit 패턴에 의해 자동화 된다.

• 한국시뮬레이션학회논문지
• /
• 제20권3호
• /
• pp.19-28
• /
• 2011

적응적 랜덤 테스팅(ART)은 순수 랜덤 테스팅의 효율성을 개선하기 위해 제안된 방법으로 효과적인 테스트 케이스의 선택을 통해 보다 적은 수의 테스트 케이스로 소프트웨어 내에 존재하는 오류 영역을 찾는 것을 목적으로 한다. 기존의 ART는 하나의 시스템 혹은 유닛에 대한 테스트를 적용 대상으로 하고 있으며, 다양한 접근 방법을 이용해 순수 랜덤 테스팅보다 우수한 성능을 보여 왔다. 하지만 통합 시스템을 구성하는 특정 유닛에 대해 ART를 적용하고자 하는 경우에는 시스템을 구성하는 타 유닛들의 영향으로 인해 기대 이하의 효율성을 보이게 된다. 따라서 본 논문에서는 이와 같은 테스트 환경 대한 ART 적용방법의 하나로, 테스트 대상 유닛에 부여되는 입력 데이터의 분포를 통합 시스템에 대한 제한된 수의 입력을 사용하여 예측하고, 이를 바탕으로 시스템의 입력 도메인 분할 크기를 조절하는 방법을 제안하고 시뮬레이션을 통해 성능을 평가한다. 시뮬레이션 결과, 제안된 방법은 유닛 테스팅에 ART를 적용했을 때와 유사한 수준의 성능으로 통합 시스템 내의 특정 유닛을 테스트 가능하도록 하며, 오류 비율의 변화가 ART의 성능에 미치는 영향 또한 1% 이내 수준으로 안정임을 확인하였다.

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

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