• 정보처리학회논문지D
• /
• 제16D권4호
• /
• pp.595-612
• /
• 2009

시스템 개발에서 초기 테스트는 오류수정 비용을 현저하게 낮출 수 있으며 이는 SOA기반 서비스 시스템에서도 여전히 중요한 요소이다. 그러나 서비스 시스템을 위한 기존 테스트 케이스 생성 기법들은 XML 기반 언어를 사용하여 웹서비스에 한정적이라는 한계점을 가진다. 이를 극복하기 위해서 본 논문에서는 BPMN에 따라 작성된 비즈니스 프로세스 기반으로 서비스 시스템의 테스트 케이스 생성 기법을 제시한다. 테스트 노력을 최소화 하기 위해 기존 BPM을 워크플로우의 기본 요소로만 단순화 시킨 S-BPM을 사용한다. 테스트 케이스 생성 과정은 목표서비스 시스템에 대해 S-BPM을 생성하고, 이를 방향성 그래프로 변환 후, 시나리오 검색 알고리즘을 적용하여 서비스 시나리오를 생성하고, 메시지의 이동 정보를 추출함으로써 이루어진다. 본 기법을 적용하면 웹서비스에 한정적이지 않으면서도 범용 서비스에 적용이 가능한 효율성 높은 테스트 케이스를 얻을 수 있으며, 이 결과물은 SOA의 비즈니스 관점 지향 특징을 반영한 테스트 케이스로 볼 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권1호
• /
• pp.44-57
• /
• 2006

네트워크 기술이 급격히 발전하면서 서로 다른 벤더들이 개발한 시스템들이 통합되거나 상호 운용함으로서 특정 기능을 수행한다. 이 경우 통합된 시스템의 정확성을 보증하는 상호운용성 테스트는 필수적이다. 상호운용성 테스트는 다른 벤더들이 개발한 다른 시스템이 데이타를 공유하는 경우 소프트웨어나 하드웨어의 성능을 테스트하는 것이다. 많은 연구에서 시스템의 행위를 모델링하기 위하여 EFSM(Extended Finite State Machines)을 사용하고 있고, EFSM은 테스트케이스 생성 알고리즘의 입력으로 사용된다. 그러나 대부분의 연구들은 최적의 테스트케이스 생성 알고리즘에 대한 것들로서 이들 알고리즘의 입력이 되는 EFSM 명세를 생성하는 과정에 관한 연구는 찾아보기 힘들다. 본 논문은 상호운용성 테스트를 위한 테스트케이스를 생성하는 연구로서 요구사항 분석서로부터 EFSM 명세를 생성하는 방법을 제안하고, 테스트케이스 생성의 자동화를 위하여 제안한 기법으로 생성된 EFSM을 입력으로 하여 표준화된 테스트 케이스 및 슈트를 자동 생성하기 위한 테스트케이스 생성기의 프로토타입을 구현한다. 또한 프로토타입 구현에 적용된 이론적 배경 및 알고리즘을 상세히 설명한다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2004년도 춘계공동학술대회 논문집
• /
• pp.603-606
• /
• 2004

Automatic test case generation for testing an embedded software is considered. Existing tools for test case generation such as finite state machine or mutant test usually adopt top down approach and depend upon graphical transition and decision table, which makes it difficult to find out where the bugs exist. Also it is hard to describe the special features of embedded systems such as concurrent execution of individual components. Most of embedded systems interacts with the real world, receiving signals through sensors or switches and sending output signals to actuators that somehow manipulate the environment. Embedded software controls the entire system based on the logics such as interpreting the sensor inputs and making the actuators to start or stop their intended operation. This study proposes an automatic test case generation procedure that tests the system starting from the control logics of sensors, switches and actuators and then their concurrent execution controls, and finally the entire system operation. Such a stepwise approach makes it easy to generate test cases to tell where the bugs of embedded software exist.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권7호
• /
• pp.361-370
• /
• 2017

본 논문은 임베디드 시스템이 제어하는 서브시스템의 실시간 피드백을 반영하여 테스트 케이스를 생성할 수 있는 테스트 생성기 구조를 제안한다. 일반적으로 폐쇄형 임베디드 시스템은 자신이 제어하는 서브시스템의 피드백을 참조하여 서브시스템의 다음 상태를 제어하는 값을 결정한다. 그와 같은 시스템에서는, 피드백을 고려하지 않는 전통적인 테스트 케이스는 사용하기 어렵다. 본 논문에서 제안하는 테스트 케이스 생성기 구조는 서브시스템의 피드백을 이용하여 다음에 사용할 테스트 케이스를 실시간 재구성한다. 제안하는 구조를 구현하고 데모 시스템을 이용하여 유용성을 검증한다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2004년도 춘계공동학술대회 논문집
• /
• pp.607-610
• /
• 2004

It is still not sufficient for the famous embedded software test methods such as Finite State Machine, Software Cost Reduction and model coverage based test case generation, to pinpoint where bugs hang around and to figure out what makes the bugs. A new approach to ameliorate the drawbacks is proposed in this paper. In the approach, we define a generic model for embedded software. And we also define failure mechanism for embedded software, and a way to generate test cases based on it.

• 한국정보처리학회논문지
• /
• 제6권11호
• /
• pp.3070-3076
• /
• 1999

Petri net is one of the effective modeling techniques which analyzes and designs concurrent and asynchronous systems. CPN is an extended Petri net which has color tokens. In this paper, we propose a new test case generation method using CPN. It transforms Estelle Specification into CPN, which is applicable to Design/CPN. It also generates UIO and subtour from OG and descriptor, which are resulted from Design/CPN. Using the proposed method, we can get more improved test coverage than existing methods. Therefore, more effective protocol conformance testing could be conducted. The test case generating method will be the basis of the automatic testing environmented.

• Journal of Electrical Engineering and information Science
• /
• 제2권6호
• /
• pp.43-47
• /
• 1997

A procedure presented in this paper generates test sequences to check the conformity of an implementation with a protocol specification, which is modeled as a deterministic finite state machine (FSM). Given a FSM, a common procedure of test sequence generation, first, constructs a directed graph which edges include the state check after each transition, and produces a symmetric graph G* from and, finally, finds a Euler tour of G*. We propose a technique to determine a minimum-cost tour of the transition graph of the FSM. The proposed technique using Multiple Unique State Signature (MUSS) solves an open issue that one MUIO sequence assignment may lead to two more edges of unit cost being replicated to from G* while an optimal assignment may lead to the replication of a single edge of high cost. In this paper, randomly generated FSMs have been studied as test cases. The result shows that the proposed technique saves the cost 4∼28% and 2∼21% over the previous approach using MUIO and MUSP, respectively.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제3권6호
• /
• pp.201-214
• /
• 2014

본 논문에서는 차량에 사용되는 MDPS(Motor Driven Power Steering) 시스템에 사용되는 BLDC(Brush Less Direct Current) 모터 제어기의 파괴 시험에 적합한 테스트 케이스 생성 방법을 제시한다. 제안하는 방법은 입력 기반 테스트 방법의 하나인 CTM(Classification Tree Method)을 수정한 방법이다. CTM은 모든 입력의 중요도를 동등하게 가정하고 테스트 케이스를 생성하는 방법이다. 따라서 극한 상황과 같은 테스트 케이스를 생성하기 힘들다. 이와 같은 단점을 극복하고, 파괴 시험에 적합한 테스트 케이스를 생성하기 위해 CTM의 한계점을 보완한 변형된 CTM 재구성 방법을 제안한다. 제안하는 방법은 CTM의 장점을 유지하면서 CTM으로 만들어진 테스트 케이스를 조합하여 특정 상황의 테스트에 적합한 시나리오를 집중적으로 생성할 수 있는 장점을 가진다. 제안한 방식을 이용해 파괴 시험을 위한 테스트 시나리오를 생성하고, 이를 이용하여 승용차에 사용되고 있는 MDPS 시스템에 대한 테스트를 수행하여 제안한 방법의 유용성을 검증한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1994년도 하계학술대회 논문집 C
• /
• pp.1373-1375
• /
• 1994

We now expect the various dispersed generation system installation to the power distribution system in a unexpected manner. If so, the power utility may experience the several unexpected problems such as voltage variation, harmonic distortion etc. In order to test the various phenomena related to the fault, we developed the fuel cell simulator and fault simulator. Several kinds of fault cases are tried. Test results and analysis are shown in this paper.

• 정보처리학회논문지D
• /
• 제16D권4호
• /
• pp.517-526
• /
• 2009

동적 UML 다이어그램은 객체 지향 언어로 구현된 프로그램의 복잡한 실행 동작에 대한 표현이 가능하다. 이로 인하여 동적 다이어그램 중, 순서, 상태, 액티비티 다이어그램을 이용하여 테스트 케이스를 추출하고 테스트 하는 방법이 많이 쓰이고 있다. 그러나 테스트 자원과 시간이 제한되어 있을 때 어떤 명세를 이용하여 테스트 케이스를 만드는 것이 더 효율적인지, 또한 어떤 특성이 있는지 알 필요가 있다. 이 논문에서는 ATM 시뮬레이션 프로그램을 세 가지 다이어그램으로 표현하고 이를 이용하여 서로 다른 테스트 케이스를 생성한다. 또한 뮤테이션 테스팅(Mutation Testing)을 실시하여 각 테스트 케이스에 대한 효율을 평가 하였다. 뮤턴트(Mutant) 생성은 절차적 방식과 객체 지향 방식에 의한 뮤테이션 연산자(Mutation Operator)를 구분해서 적용하였으며 뮤클립스(Muclipse)라는 이클립스(Eclipse) 기반의 플러그인 도구를 이용하였다. 생성된 테스트 케이스와 뮤턴트를 이용해서 뮤테이션 점수(Mutation Score)를 측정하고 이를 기반으로 각 테스트 케이스 및 여러 관점에서 테스트 케이스의 효율을 평가하였다. 이런 과정을 통해 테스트 케이스 생성 방식의 선택에 대한 힌트를 얻을 수 있었다.