• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.7
• /
• pp.471-478
• /
• 2013

This paper proposes a black-box based test case generation method for Simulink/Stateflow model utilizing the RRT algorithm which is a method to efficiently solve the path planning for complicated systems. The proposed method in the paper tries to solve the reachability problem with the RRT algorithm, which has to be solved for black-box based test case generations. A major problem of the RRT based test case generation algorithms is that the cost such as running time and required memory size is too much for complicated Stateflow model. The typical RRT algorithm expands rapidly-exploring random tree (RRT) in a single state space. But the proposed method expands it in dynamic state space based on the state of Simulink model, consequently reducing the cost. In the paper, a new definition of RRT state space, a distance measure and a test case generation algorithm are proposed. The performance of proposed method is verified through the experiment against Stateflow model.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.598-601
• /
• 2017

소프트웨어 테스트는 시스템의 신뢰도를 판단하는 중요한 작업이지만, 많은 노력과 비용을 필요로 한다. 모델 기반 테스트는 이러한 비용을 줄이기 위한 방안으로써 제안되었다. 정형적 모델로부터 시스템의 실행 가능한 경로를 파악하고, 각 경로마다 입력 값을 생성하여 테스트를 수행한다. 이 때, 적절한 입력 값을 찾기 위해 메타-휴리스틱 기법을 사용하는데, 기존의 알고리즘은 목적 경로와 관련이 없는 변수까지 구분없이 고려하기 때문에 시스템이 복잡할수록 불필요한 연산이 많아지는 문제가 있다. 본 논문은 슬라이싱 기법과 우선순위 정책을 적용한 테스트 데이터 자동 생성 기법을 제안하며, 실험을 통해 기존의 방법보다 효과적으로 테스트 데이터를 생성함을 보인다.

• KIISE Transactions on Computing Practices
• /
• v.21 no.2
• /
• pp.132-137
• /
• 2015

A real-time system is a system wherein the behavior of the system depends not only on the input but also on the timing of the input. Timed automata is a widely used model for real-time system modeling and analysis. Model-based testing is employed to check whether the system under test (SUT) works according to the model specifications by using test cases generated from models that represent software requirements. In this paper, a case study was performed applying the timed automata based testing tools, UPPAAL-TRON, UPPAAL-COVER and SYMBOLRT, to the same system. Comparison of the testing approaches and tools is then made based on the results of the case study.

• Proceedings of the Acoustical Society of Korea Conference
• /
• autumn
• /
• pp.41-44
• /
• 2000

본 논문에서는 잡음 환경에서 복수 화자 음성인식 시스템의 인식 성능 향상에 관한 실험을 하였다. 복수화자 음성인식 방식은 훈련에 참여한 복수의 사용자에 대한 등록 단어 모델을 가지므로, 인식 단계에서 등록화자의 모든 단어 모델들을 테스트 음성과 비교하여 인식 단어를 결정한다 그러나, 이 경우 훈련 환경과 테스트 환경의 불일치에 기인한 인식 성능 저하가 등록 화자수가 많아짐에 따라 더욱 심해지는 문제가 발생한다. 본 논문에서는 이 문제의 해결을 위해 등록 화자들의 모든 단어 모델들을 테스트 음성과 비교하는 대신 화자인식 시스템을 사용해서 발성 화자와 유사한 후보 화자들의 단어 모델들에 대해서만 테스트 음성과 비교하는 방식을 적용함으로써 기존의 방법보다 높은 단어 인식 율을 얻을 수 있었다

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2002.12a
• /
• pp.243-248
• /
• 2002

빠르게 변해 가는 정보화사회에서 침입 탐지 시스템은 정밀성과 적웅성, 그리고 확장성을 필요로 한다. 또한 복잡한 Network 환경에서 중요하고 기밀성이 유지되어야 할 리소스를 보호하기 위해, 더욱 구조적이고 지능적인 IDS(Intrusion Detection System)개발의 필요성이 요구되고 있다. 본 연구는 이를 위한, 지능적인 IDS를 위해 침입패턴을 생성하기 위한 모델을 도출함에 목적이 있다. 침입 패턴은 방대한 양의 데이터를 갖게 되고, 이를 정확하고 효율적으로 관리하기 위해서 데이터마이닝의 주요 2분야인 Link analysis와 Sequence analysis를 이용하여 정확하고 신뢰성 있는 침입규칙을 생성하기 위한 모델을 도출해낸다 이 모델은 "Time Based Traffic Model", "Host Based Traffic Model", "Content Model"로 각각 상이한 침입 패턴을 생성하게 된다. 이 모델을 이용하면 좀더 효율적이고 안정적으로 패턴을 생성 할 수 있다, 즉 지능형 시스템기반의 침입 탐지 모델을 구현할 수 있다. 이러한 모델로 생성한 규칙은 침입데이터를 대표하는 규칙이 되고, 이는 비정상 사용자와 정상 사용자를 분류하게 된다 모델에 사용된 데이터는 KDD컨테스트의 데이터를 이용하였다. 사용된 데이터는 KDD컨테스트의 데이터를 이용하였다.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.6
• /
• pp.293-302
• /
• 2017

This paper proposes a method that generates test cases from Simulink/Stateflow(SL/SF) using a SMT (Satisfiability Modulo Theory) solver, Yices and information of SL/SF model. The most difficult problem to generate test cases from SL/SF model is to solve reachability problem. In the propose method, Yices and the tables built with the model information are utilized to solve the reachability problem. The method utilizes the SMT model, that is the SL/SF model transformed in Yices. The tables built from SL/SF are used for backward processing of the proposed method and increases test generation efficiency. A commercial refrigerator model and two car ECU (Electrical Control Unit) models are used to evaluate the performance of the proposed algorithm..

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.04a
• /
• pp.416-419
• /
• 2009

인터넷의 발달로 인해 최근 Software 분야는 복잡해지고 많은 분야에서 결정적인 산출물로 다양한 어플리케이션이 개발되고 있다. 또한 Software의 품질과 보증을 목적으로 테스팅의 규칙적인 방법이 요구되어진다. 본 논문에서는 다양한 Software Application의 테스팅을 위한 개발 방법으로 확장성과 융통성 그리고 재사용성을 위하여 테스트 케이스 추출을 위한 메타모델을 시각화하고 테스팅 단계별 요구되어지는 모델을 Unified Modeling Language를 이용한 개발 관점을 테스트 설계 모델과 테스트 제어 모델로 구분하여 제시하고 특정 시스템 도메인을 활용하여 테스트 실행 환경과 테스트 프로세스 설계에 대한 방법을 제안한다.

• The KIPS Transactions:PartD
• /
• v.17D no.4
• /
• pp.283-296
• /
• 2010

Timing diagram is a useful tool for describing the specification of system, but there is no study for test case strategy of a timing diagram. To solve this problem, we followed the steps to generate test cases from timing diagram in this paper. 1) We defined a timing diagram formally. 2) We describe the method of transforming from a timing diagram model into a Stateflow model which has an equivalent relationship between a timing diagram model and a transformed Stateflow model. 3) We generated test cases from a transformed Stateflow model using SDV which is plugged in Simulink. To show that our approach is useful, we made an experiment with a surveillance model and arbitrary timing diagram models. In the experiment we transformed timing diagram models into Stateflow models, generated test cases from transformed Stateflow models using SDV, and analyzed the generation results. The conclusion that can be obtained from this study is that timing diagram is not only a specification tool but also a useful tool when users are trying to generate test cases based on model.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.214.1-214.1
• /
• 2012

한국천문연구원은 우주물체 전자광학 감시체계 기술개발 사업을 통해 자국위성의 추적감시를 위해 0.5m 광시야 감시관측소 국제 네트워크(OWL : Optical Wide-Field patroL)를 구축할 예정이다. OWL 시스템의 설계 검증을 위해 시험모델을 개발하였고, 연구소 내에 테스트베드에 설치하여 종합적인 테스트를 수행하고 있다. OWL 시험모델은 해외 설치모델과 동일하게 제작하였으며 돔을 제외한 모든 서브시스템을 국산화하였다. 유효구경 0.5m의 Richey-Cretian 형식의 광학계로 1.75도의 광시야를 구현하였고 영상보정을 위해 5개의 보정 렌즈를 사용하였다. 인공위성 추적을 위해 초당 10도 이상 기동이 가능한 alt-az 방식의 마운트를 개발하였다. 단일 노출에서 다수의 인공위성 궤적을 얻기 위해 chopper 제어 시스템을 도입하였고, chopper, 필터휠, de-rotator, CCD 카메라 등 4개의 부분품을 하나로 묶어 간결한 back-end를 구성하였다. 시스템의 안정성 향상과 유지보수의 용이성을 위해 망원경 및 관측소 제어 전용보드를 개발하였고, 전자동 무인관측을 위한 스케줄러 및 운영소프트웨어를 개발하였다. 시험모델을 이용하여 수 개월간 테스트을 수행하고, 관측결과 분석을 통하여 문제점을 수정보완한 후 OWL 시스템의 최종 설계안을 확정할 예정이다.

• The KIPS Transactions:PartD
• /
• v.16D no.2
• /
• pp.213-222
• /
• 2009

Traceability has been held as an important factor in testing activities as well as model driven development. Vertical traceability affords us opportunities to improve manageability from models and test cases to code in testing and debugging phase. Traceability also overcomes difficulties by the separation between abstraction levels when we trace errors from models to source code after test. To support a rigorous test this paper proposes XML based traceability which vertically trace from model and test case to source code. This paper explains how the traceability works and finds out error spots Through experiments using a concrete example.