Ki Hyun Chung

Reconfigurable Test Execution Machine for Embedded System

ABSTRACT When building a testing environment with a testing platform, the configuration of test executor and its interface should be built to be appropriate for the system under test (SUT). That is, it is necessary to build the test executor and interface environment that can properly handle the input and output signals of SUT. If the testing platform is not extendable, it should be modified significantly whenever new SUTs and models are tested. It is a serious drawback that the test executor and interface configuration need to be modified depending on testing targets. To overcome the drawback, this paper proposes TEM(test Execution Machine), which allows for test executor to reconfigure its environment suitable to new SUTs by modifying the configuration file. The proposed TEM is verified through testing two real systems.Keywords:Testing, Embedded System, Test Executor, Realtime System 재구성이 가능한 임베디드 시스템 테스트 실행기 김 경 진 † ⋅정 기 현 †† ⋅최 경 희 ††† 요 약 테스트 플랫폼을 이용하여 테스트 환경을 꾸밀 때는 테스트 대상에 맞게 테스트 실행기와 인터페이스 환경을 구성하여야 한다. 즉, 테스트 대상의 입출력에 해당하는 신호를 처리할 수 있는 테스트 실행기와 인터페이스 환경을 구축하여야 한다. 따라서 테스트 플랫폼이 확장성이 없다면, 새로운 모델이나 다른 테스트 대상에 테스트마다 큰 수정이 불가피하고, 그에 맞는 새로운 테스트 실행기 및 인터페이스 환경을 구성해야 하는 단점이 있다. 본 논문에서는 이러한 문제점을 해결하기 위해서 간단한 실행조건 파일(configuration file)의 수정을 통해서 여러 테스트 대상에 적용 가능한 재구성이 가능한 실시간 테스트 실행기 TEM(test Execution Machine)를 제안한다. 제안한 TEM은 두 개의 실제 시스템 테스트를 통하여 그 효용성을 검증한다.키워드:테스트, 임베디드 시스템, 테스트 실행기, 실시간 시스템

Generating Test Cases of Stateflow Model Using Extended RRT Method Based on Test Goal

This paper proposes a test case generation method for Stateflow model using the extended RRT method. The RRT method which has been popularly used for planning paths for complex systems also shows a good performance for test case generation. However, it does not consider the test coverage which is important for test case generation. The proposed extension method hires the concept of test goal achievement to increase test coverage and drives RRT extension in the direction that increases the goal achievement. Considering the concept, a RRT distance metric, random node generation method and modified RRT extension algorithm are proposed. The effectiveness of proposed algorithm is compared with that of the typical RRT algorithm through the experiment using the practical automotive ECUs.

Test-case Generation for Simulink/Stateflow Model using a Separated RRT Space

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.